CristalCaveGem » LustreC

05/20/2014

02:12 PM Revision 4e07ac7f (lustrec): typo corrected in code generation for array memories (bad parentheses)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@255 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

02:12 PM Revision 1174cdd9 (lustrec): typo corrected in code generation for array memories (bad parentheses)

Xavier Thirioux

01:54 PM Revision 7231d0e4 (lustrec): Trying to correct support for pre in acsl annotation but it is not perfect.

Guillaume Davy

01:47 PM Revision 6e7164b1 (lustrec): Math lusi (trigo)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@253 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:47 PM Revision 90028770 (lustrec): Math lusi (trigo)

Pierre-Loïc Garoche

05/19/2014

03:51 PM Revision 07d8e7e7 (lustrec): bug corrected for allocation of dynamic arrays in node memory

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@251 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

03:51 PM Revision 075fd56f (lustrec): bug corrected for allocation of dynamic arrays in node memory

Xavier Thirioux

02:38 PM Revision 81af199f (lustrec): node memory namespace bug corrected; library linear_ctl/arrays corrected

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@249 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

02:38 PM Revision 7ac15bcf (lustrec): node memory namespace bug corrected; library linear_ctl/arrays corrected

Xavier Thirioux

01:57 PM Revision 525f9650 (lustrec): Updated list with new tests

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@248 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:57 PM Revision 4437ddbc (lustrec): Updated list with new tests

Pierre-Loïc Garoche

01:46 PM Revision 3826f8cb (lustrec): Solved bug:

- loading lusi
- loading lib in lusi files: "in m" is now "lib m"
git-svn-id: https://cavale.enseeiht.fr/svn/lustr... Pierre-Loïc Garoche

01:46 PM Revision 45c0d258 (lustrec): Solved bug:

- loading lusi
- loading lib in lusi files: "in m" is now "lib m" Pierre-Loïc Garoche

01:45 PM Revision a55c2d70 (lustrec): Additional checks in transpose

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@246 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:45 PM Revision 7a1ec3fa (lustrec): Additional checks in transpose

Pierre-Loïc Garoche

01:45 PM Revision 3ab5748b (lustrec): Check node is stateful

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@245 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:45 PM Revision 316af809 (lustrec): Check node is stateful

Pierre-Loïc Garoche

01:44 PM Revision 1b01da98 (lustrec): Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@244 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:44 PM Revision d9d34564 (lustrec): Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))

Pierre-Loïc Garoche

05/16/2014

05:26 PM Revision 54ae8ac7 (lustrec): Changed the load of lusi files: imported nodes or function can specify the linking lib and/or use a classical C prototype (without pointers).

Parse updated as well as Makefile generation.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t... Pierre-Loïc Garoche

05:26 PM Revision c00d0b42 (lustrec): Changed the load of lusi files: imported nodes or function can specify the linking lib and/or use a classical C prototype (without pointers).

Parse updated as well as Makefile generation. Pierre-Loïc Garoche

05/06/2014

03:01 PM Revision df647a81 (lustrec): First commit in acsl proof branch

Guillaume Davy