Project

General

Profile

Activity

From 10/16/2013 to 11/14/2013

11/14/2013

03:18 PM Revision 4e66a853 (lustrec): Non working version. Check out previous revision
Pierre-Loïc Garoche
12:15 PM Revision f485f585 (lustrec): - Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b. Pierre-Loïc Garoche
12:15 PM Revision 17d2db94 (lustrec): - Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b.
git-svn-id: https://cavale.enseeiht....
Pierre-Loïc Garoche

11/13/2013

07:23 PM Revision 53bdad2b (lustrec): New option -mcdc_cond generating conditions
Pierre-Loïc Garoche

11/12/2013

11:20 PM Revision b878abe5 (lustrec): - work in progress for interface typing
Xavier Thirioux
11:20 PM Revision 7a47b44f (lustrec): - work in progress for interface typing
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@129 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

11/08/2013

06:35 PM Revision 4cec0e67 (lustrec): Ongoing work. Use previous version
Pierre-Loïc Garoche
11:15 AM Revision 4eada2bb (lustrec): Single mutation at a time
Gather int constants to perform constant replacement
Optimized the generation mechanism to avoid inifite run when th...
Pierre-Loïc Garoche

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