Project

General

Profile

Activity

From 05/16/2015 to 06/14/2015

06/10/2015

12:58 PM Revision 7e8fe243 (lustrec): First steps to handle structs
Pierre-Loïc Garoche

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
 

Also available in: Atom