Project

General

Profile

Activity

From 10/10/2015 to 11/08/2015

11/07/2015

11:48 PM Revision da07e470 (lustrec): bug corrected: in some cases, local const vars were assigned twice
Xavier Thirioux
11:48 PM Revision 55537f48 (lustrec): bug corrected: in some cases, local const vars were assigned twice
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
07:40 PM Revision 79614a15 (lustrec): numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
-...
Xavier Thirioux
07:40 PM Revision 2d179f5b (lustrec): numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
-...
Xavier Thirioux

11/06/2015

06:09 PM Revision 6c4902ae (lustrec): fixed a printing bug in horn backend
Teme Kahsai
06:09 PM Revision 2580acfd (lustrec): fixed a printing bug in horn backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@481 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai

10/23/2015

05:35 PM Revision 3d04f75e (lustrec): riny
Pierre-Loïc Garoche

10/13/2015

10:29 PM Revision 4347ae0c (lustrec): changes to horn
Teme Kahsai
 

Also available in: Atom