/src/parserLustreSpec.mly - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / parserLustreSpec.mly @ 29f59e36

History | View | Annotate | Download (7.98 KB)

#	Date	Author	Comment
b38ffff3	07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders
0038002e	07/02/2014 05:29 PM	Pierre-Loïc Garoche	Prepared first stage of code reorg: 1. moved type def in lustrespec.ml 2. moved constructor and basic functions in corelang 3. Modified eexpr with prenext quantifiers
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