CristalCaveGem » LustreC

10/22/2014

03:26 PM Revision 498c7c82 (lustrec): Patch for frama-c/wp. Solve the typing bug

Pierre-Loïc Garoche

09:38 AM Revision 9d3480a4 (lustrec): the frama-c typing bug

Pierre-Loïc Garoche

08:58 AM Revision dc6c92b2 (lustrec): correct bug in proof printing

Guillaume Davy

07:55 AM Revision e3608bbf (lustrec): playing with ALT2

Pierre-Loïc Garoche

10/21/2014

11:18 PM Revision 14dfe3f3 (lustrec): k steps

Pierre-Loïc Garoche

11:13 PM Revision 41da3cf2 (lustrec): Lustre contracts version of ALT2.lus

Pierre-Loïc Garoche

10:42 PM Revision eb56a02a (lustrec): removed GUIDE_150

Teme Kahsai

10/20/2014

09:23 PM Revision 41e1bdd0 (lustrec): added tcm code

Teme Kahsai

10/13/2014

09:20 AM Revision e3945827 (lustrec): Push current status of proof backend

Guillaume Davy

09/29/2014

05:33 PM Revision 080a6d0b (lustrec): - corrected a bug in C code generation for multi-dimension arrays

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

05:33 PM Revision bc916448 (lustrec): - corrected a bug in C code generation for multi-dimension arrays

Xavier Thirioux

09/26/2014

05:52 PM Revision d0b1ec56 (lustrec): - changed the basic optimization scheme (option -O 2), which unfolds

local variables and global variables that are either cheap to evaluate
or used no more than once.
git-svn-id: h... Xavier Thirioux

05:52 PM Revision 307aba8d (lustrec): - changed the basic optimization scheme (option -O 2), which unfolds

local variables and global variables that are either cheap to evaluate
or used no more than once. Xavier Thirioux

09/24/2014

12:13 PM Revision df39e35a (lustrec): - corrected a bug in optimizating mode (option -O 3)

- changed the printing of unused variables
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk... Xavier Thirioux

12:13 PM Revision 67896f6d (lustrec): - corrected a bug in optimizating mode (option -O 3)

- changed the printing of unused variables Xavier Thirioux