Project

General

Profile

Activity

From 10/28/2015 to 11/26/2015

11/26/2015

11:29 PM Revision 49d92bf8 (lustrec): regression bugs corrected
Xavier Thirioux
06:17 PM Revision f6acf47b (lustrec): Plugin based framework
Pierre-Loïc Garoche
05:30 PM Revision 445e80ae (lustrec)
Xavier Thirioux
04:50 PM Revision cf44e810 (lustrec): Import bug
Pierre-Loïc Garoche
04:49 PM Revision 2b476ad8 (lustrec): ...
Xavier Thirioux
04:49 PM Revision 12738191 (lustrec): ....
Xavier Thirioux
04:48 PM Revision 52016bbb (lustrec): some files missing
Xavier Thirioux
04:45 PM Revision 53206908 (lustrec): major branche merging salsa/mpfr with trunk
Xavier Thirioux
03:35 PM Revision 2cd42be0 (lustrec): Cleaning old file
Pierre-Loïc Garoche
03:01 PM Revision 7034421a (lustrec): Creating new branch scope from current trunk
Pierre-Loïc Garoche
02:36 PM Revision 2efb3ea5 (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 38ac4561 (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 7edd3bcf (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 9d681a7c (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 2608676a (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 6deef2be (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 650a0ec8 (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 1c3c98ff (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche
02:36 PM Revision 3afa024a (lustrec): commiting olf stuff before migrating. May have to be revert
Pierre-Loïc Garoche

11/21/2015

12:05 AM Revision 812c0369 (lustrec): corrected pessimistic behavior of optimization phase -O 3
Xavier Thirioux
12:05 AM Revision 57115ec0 (lustrec): corrected pessimistic behavior of optimization phase -O 3
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@486 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
10:14 PM Revision 89137ae1 (lustrec): bug correction in typing: tuple types were computed but not recorded
Xavier Thirioux
10:14 PM Revision d7b73fed (lustrec): bug correction in typing: tuple types were computed but not recorded
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

11/20/2015

06:41 PM Revision 0dee2bc1 (lustrec): Refactoring of the horn backend with Reset/Step instead of Init/Step.
Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model check... Pierre-Loïc Garoche

11/16/2015

05:23 PM Revision 89bc26df (lustrec): remove duplication
Teme Kahsai

11/07/2015

11:48 PM Revision da07e470 (lustrec): bug corrected: in some cases, local const vars were assigned twice
Xavier Thirioux
11:48 PM Revision 55537f48 (lustrec): bug corrected: in some cases, local const vars were assigned twice
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
07:40 PM Revision 79614a15 (lustrec): numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
-...
Xavier Thirioux
07:40 PM Revision 2d179f5b (lustrec): numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
-...
Xavier Thirioux

11/06/2015

06:09 PM Revision 6c4902ae (lustrec): fixed a printing bug in horn backend
Teme Kahsai
06:09 PM Revision 2580acfd (lustrec): fixed a printing bug in horn backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@481 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
 

Also available in: Atom