Project

General

Profile

Activity

From 10/09/2013 to 11/07/2013

11/07/2013

07:03 PM Revision accbb04d (lustrec): - small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples accordi...
Xavier Thirioux
07:03 PM Revision b3381ae8 (lustrec): - small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples accordi...
Xavier Thirioux

11/05/2013

04:21 PM Revision f30a2012 (lustrec): Mutants generator for lustre
Pierre-Loïc Garoche

10/22/2013

10:39 AM Revision f22632aa (lustrec): Merge (if it works) of the lustre interfaces branche providing lusi ...
Pierre-Loïc Garoche
10:39 AM Revision 5c1184ad (lustrec): Merge (if it works) of the lustre interfaces branche providing lusi ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@123 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
10:37 AM Revision 261603bd (lustrec): infernal spiral of svn commit. trying (ultimately) to merge the bran...
Pierre-Loïc Garoche
10:28 AM Revision 2dfed060 (lustrec): Merging trunk into lustre interfaces branch
Pierre-Loïc Garoche
10:01 AM Revision 17abbe95 (lustrec): Lustre interfaces: lusi files are generated and used. Remaining work...
Pierre-Loïc Garoche
10:01 AM Revision fdeaac38 (lustrec): Lustre interfaces: lusi files are generated and used. Remaining work...
Pierre-Loïc Garoche
10:01 AM Revision 7bd3416a (lustrec): Lustre interfaces: lusi files are generated and used. Remaining work...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@120 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
09:15 AM Revision 28f970dc (lustrec): Lustre interfaces: lusi files are generated and used. Remaining work...
Pierre-Loïc Garoche
09:12 AM Revision 214db5e7 (lustrec): Lustre interfaces: lusi files are generated and used. Remaining work...
Pierre-Loïc Garoche
 

Also available in: Atom