CristalCaveGem » LustreC

06/09/2015

03:00 PM Revision 76f6d187 (lustrec): Put back the test path

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

03:00 PM Revision 94a9eddf (lustrec): Put back the test path

Pierre-Loïc Garoche

02:54 PM Revision b5896083 (lustrec): Ca marche mieux avec le fichier

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

02:54 PM Revision e0523910 (lustrec): Ca marche mieux avec le fichier

Pierre-Loïc Garoche

09:09 AM Revision 82dad07e (lustrec): Ignore rm error in clean rules

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@462 041b043f-8d7c-46b2-b46e-ef0dd855326e Eric Noulard

09:09 AM Revision b2a445af (lustrec): Ignore rm error in clean rules

Eric Noulard

06/05/2015

11:01 PM Revision 843bc20f (lustrec): Merge of last trunk commits

Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init
git... Pierre-Loïc Garoche

11:01 PM Revision ed736b69 (lustrec): Merge of last trunk commits

Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init Pierre-Loïc Garoche

05/13/2015

01:10 PM Revision 1d906976 (lustrec): Merge r458 fix into trunk

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@459 041b043f-8d7c-46b2-b46e-ef0dd855326e Eric Noulard

01:10 PM Revision 1b31ffde (lustrec): Merge r458 fix into trunk

Eric Noulard

01:00 PM lustrec-1.0-Xia-src.tgz

Lustre Compiler Release 1.0 (Codename Xia) Eric Noulard