Project

General

Profile

Activity

From 09/25/2014 to 10/24/2014

10/24/2014

04:45 PM Revision cc8e2ef3 (lustrec): modified guide 120 full
Teme Kahsai
06:33 AM Revision 99201654 (lustrec): removed uncessary files
Teme Kahsai

10/23/2014

01:00 PM Revision faa5c6db (lustrec): solved the bug of multiple definition of assert exists ...
Pierre-Loïc Garoche
12:59 PM Revision bd09b789 (lustrec): add coq support
Guillaume Davy
10:47 AM Revision d1c06a39 (lustrec): Expliciting asserts in C code
Pierre-Loïc Garoche

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 bc916448 (lustrec): - corrected a bug in C code generation for multi-dimension arrays
Xavier Thirioux
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

09/26/2014

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
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
 

Also available in: Atom