Project

General

Profile

Activity

From 05/11/2015 to 06/09/2015

06/09/2015

03:00 PM Revision 94a9eddf (lustrec): Put back the test path
Pierre-Loïc Garoche
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
02:54 PM Revision e0523910 (lustrec): Ca marche mieux avec le fichier
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
09:09 AM Revision b2a445af (lustrec): Ignore rm error in clean rules
Eric Noulard
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

06/05/2015

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

05/13/2015

01:10 PM Revision 1b31ffde (lustrec): Merge r458 fix into trunk
Eric Noulard
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:00 PM lustrec-1.0-Xia-src.tgz
Lustre Compiler Release 1.0 (Codename Xia) Eric Noulard
 

Also available in: Atom