Activity
From 11/10/2015 to 12/09/2015
12/09/2015
- 12:40 AM Revision 7ec8e203 (lustrec): travis
12/08/2015
- 04:15 PM Revision f2b37275 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 03:40 PM Revision 5358a4de (lustrec): Updates of the AST
- 03:39 PM Revision d97c196a (lustrec): Changed mpfr threshold to 2
12/07/2015
- 02:39 PM Revision cf13e2c2 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
11/29/2015
- 01:20 PM Revision 0f36882c (lustrec): several bugs/oddities corrected:
- - bizarre date stamping (when generating .lusi files)
- bug in loading libraries, forbidding several (transitive) im...
11/26/2015
- 11:29 PM Revision 49d92bf8 (lustrec): regression bugs corrected
- 06:17 PM Revision f6acf47b (lustrec): Plugin based framework
- 05:30 PM Revision 445e80ae (lustrec)
- 04:50 PM Revision cf44e810 (lustrec): Import bug
- 04:49 PM Revision 2b476ad8 (lustrec): ...
- 04:49 PM Revision 12738191 (lustrec): ....
- 04:48 PM Revision 52016bbb (lustrec): some files missing
- 04:45 PM Revision 53206908 (lustrec): major branche merging salsa/mpfr with trunk
- 03:35 PM Revision 2cd42be0 (lustrec): Cleaning old file
- 03:01 PM Revision 7034421a (lustrec): Creating new branch scope from current trunk
- 02:36 PM Revision 3afa024a (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 1c3c98ff (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 650a0ec8 (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 6deef2be (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 2608676a (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 9d681a7c (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 7edd3bcf (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 38ac4561 (lustrec): commiting olf stuff before migrating. May have to be revert
- 02:36 PM Revision 2efb3ea5 (lustrec): commiting olf stuff before migrating. May have to be revert
11/22/2015
- 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
- 12:05 AM Revision 812c0369 (lustrec): corrected pessimistic behavior of optimization phase -O 3
11/21/2015
- 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
- 10:14 PM Revision 89137ae1 (lustrec): bug correction in typing: tuple types were computed but not recorded
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...
11/16/2015
Also available in: Atom