/src/parserLustreSpec.mly - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / parserLustreSpec.mly @ 587cdc0d

History | View | Annotate | Download (5.71 KB)

#	Date	Author	Comment
d3e4c22f	03/14/2014 05:45 PM	Xavier Thirioux	- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
6affc9f5	03/11/2014 03:41 PM	Xavier Thirioux	- added struct types declaration - added constant definition with a struct type - added checking for multiple definitions of nodes (behavior was buggy) - better and more uniform error messages for undefined/already defined symbols `We still need struct expressions...`
c02d255e	02/28/2014 10:33 AM	Pierre-Loïc Garoche	Solved some bugs in the lustre printer Generation of a witness with both the main node and hte inlined main node Test script modified to check consistency of the inlining process
0cbf0839	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler