/src/lustreSpec.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / lustreSpec.ml @ 89b9e25c

History | View | Annotate | Download (2.93 KB)

#	Date	Author	Comment
6a6abd76	03/06/2014 04:33 PM	Xavier Thirioux	first steps towards struct types... git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@182 041b043f-8d7c-46b2-b46e-ef0dd855326e
fa090c4e	03/06/2014 03:39 PM	Xavier Thirioux	corrected bug in arrow macros names, added storage attribute for static alloc macros, option -d now creates the destination directory if needed, with current dir as file permissions git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@181 041b043f-8d7c-46b2-b46e-ef0dd855326e
e2380d4d	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 git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/inlining@162 041b043f-8d7c-46b2-b46e-ef0dd855326e
22fe1c93	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@116 041b043f-8d7c-46b2-b46e-ef0dd855326e