Activity
From 10/24/2015 to 11/22/2015
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
11/07/2015
- 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
- 11:48 PM Revision da07e470 (lustrec): bug corrected: in some cases, local const vars were assigned twice
- 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)
-... - 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)
-...
11/06/2015
- 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
- 06:09 PM Revision 6c4902ae (lustrec): fixed a printing bug in horn backend
Also available in: Atom