Project

General

Profile

Activity

From 03/21/2014 to 04/19/2014

04/01/2014

06:03 PM Revision 97498b53 (lustrec): still computing disjoint clock information (for reusing more variables)
Xavier Thirioux
06:03 PM Revision b1a97ade (lustrec): still computing disjoint clock information (for reusing more variables)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@240 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

03/31/2014

04:29 PM Revision 7a737ed5 (lustrec): computing statically disjoint variables (to enhance resusability)
Xavier Thirioux
04:29 PM Revision 8f89eba8 (lustrec): computing statically disjoint variables (to enhance resusability)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@239 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

03/27/2014

09:26 PM Revision 8e5fd1d1 (lustrec): Some updates on scripts
Pierre-Loïc Garoche
09:45 AM Revision 78a35eae (lustrec): Creating a new branch for proof in ACSL
Guillaume Davy

03/24/2014

09:05 PM Revision 8fdeb449 (lustrec): Updated scripts
Pierre-Loïc Garoche
08:49 PM Revision 6f765157 (lustrec): Moving files around
Pierre-Loïc Garoche
02:37 PM Revision 66e38617 (lustrec): removed debug message
Xavier Thirioux
02:37 PM Revision b35da910 (lustrec): removed debug message
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@230 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:36 PM Revision 0b78e972 (lustrec): changed name generation to avoid conflict with C predefined symbols;...
Xavier Thirioux
02:36 PM Revision 96f5fe18 (lustrec): changed name generation to avoid conflict with C predefined symbols;...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@229 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
09:22 AM Revision a1f57a52 (lustrec): - some minor adjustments...
Xavier Thirioux
09:22 AM Revision bd771bbe (lustrec): - some minor adjustments...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@228 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
09:05 AM Revision 84d9893e (lustrec): - corrected causality bug (cf. previous commit)
Xavier Thirioux
09:05 AM Revision d4807c3d (lustrec): - corrected causality bug (cf. previous commit)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@227 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
07:19 AM Revision f062bf3f (lustrec): Update scripts
Pierre-Loïc Garoche

03/23/2014

09:34 PM Revision 50d06a28 (lustrec): all benchs
Pierre-Loïc Garoche
 

Also available in: Atom