Project

General

Profile

Activity

From 10/10/2013 to 11/08/2013

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

11/05/2013

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

10/22/2013

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

Also available in: Atom