newsBRILLANT - News: B parsing is complete

Show feedback again
Latest News
B parsing is complete posted by scolin, Mon Apr 16 16:22:19 2012 - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon Nov 30 18:01:23 2009 - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue Sep 2 14:54:50 2008 - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue Jan 29 11:57:45 2008 - 1 reply

B parsing is complete

Item posted by Samuel Colin <scolin> on Mon Apr 16 16:22:19 2012.

As of the last few months, the bparser of BCaml was modified. The end result is that we have a B grammar without any shift/reduce of reduce/reduce conflict.

Although the grammar is not as restrictive as it should be for e.g. B implementations, the parser should now work for correct B machines of any existing B project.


No messages in B parsing is complete


Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top

Powered by Savane 3.1-cleanup