Project

General

Profile

Activity

From 05/07/2015 to 06/05/2015

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