CristalCaveGem » LustreC

11/25/2013

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

10:39 AM Revision ed226e0d (lustrec): missing dummy lib for arrays

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 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

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

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 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:20 PM Revision b878abe5 (lustrec): - work in progress for interface typing

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