Project

General

Profile

Activity

From 11/02/2013 to 12/01/2013

11/25/2013

10:39 AM Revision ed226e0d (lustrec): missing dummy lib for arrays
Xavier Thirioux
10:39 AM Revision 55242433 (lustrec): missing dummy lib for arrays
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@139 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

11/20/2013

09:34 PM Revision 7a217724 (lustrec): Current version of gen_test_suite
Pierre-Loïc Garoche
09:32 PM Revision b06f257c (lustrec): Solved bug on transforming basic ops
Pierre-Loïc Garoche
09:31 PM Revision 3618484e (lustrec): Added uid for io_frontend.o
Pierre-Loïc Garoche
02:25 PM Revision f29f1bee (lustrec): Renaming mutant nodes. Solved bug for not operator injection.
Pierre-Loïc Garoche

11/17/2013

02:22 AM Revision 9d6dceb4 (lustrec): New mutation algoirthm. Seems more efficient.
Pierre-Loïc Garoche

11/15/2013

11:15 PM Revision ebf0fa11 (lustrec): Merging modifs in trunk
Pierre-Loïc Garoche

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
 

Also available in: Atom