Project

General

Profile

Activity

From 08/13/2015 to 09/11/2015

09/11/2015

02:20 AM Revision 15003796 (lustrec): copy of trunk. With option -lustre and annotation linearization, wil...
Pierre-Loïc Garoche

08/18/2015

11:51 AM Revision 9b04601c (lustrec): Post 1.1 release.
Back to dev version Eric Noulard
11:51 AM Revision a53a28cb (lustrec): Post 1.1 release.
Back to dev version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@473 041b043f-8d7c-46b2...
Eric Noulard

08/13/2015

04:58 PM Revision 3fb19815 (lustrec): prepare lustrec 1.1
Eric Noulard
04:58 PM Revision b2e2b4d8 (lustrec): prepare lustrec 1.1
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@471 041b043f-8d7c-46b2-b46e-ef0dd855326e Eric Noulard
03:52 PM Revision 719f4b27 (lustrec): Update FindLustre in order to handle a default VERBOSE option set to 0
and the proper c99 compiler option Eric Noulard
03:52 PM Revision 05e19d16 (lustrec): Update FindLustre in order to handle a default VERBOSE option set to 0
and the proper c99 compiler option
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@470 041...
Eric Noulard
 

Also available in: Atom