CristalCaveGem » LustreC

06/24/2014

09:53 PM Revision 6e73c87e (lustrec): Added branch to separate code gen/file creation/spec/proof

Pierre-Loïc Garoche

09:53 PM Revision 652ac62c (lustrec): Added branch to separate code gen/file creation/spec/proof

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@275 041b043f-8d7c-46b2-b4... Pierre-Loïc Garoche

04:30 PM Revision 7a6b5deb (lustrec): Mini bug solved: do not unfold array constants

Pierre-Loïc Garoche

04:30 PM Revision 429ab729 (lustrec): Mini bug solved: do not unfold array constants

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@273 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

03:57 PM Revision 3ab9437b (lustrec): Missing files

Pierre-Loïc Garoche

03:57 PM Revision cf78a589 (lustrec): Missing files

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/simplifier@272 041b043f-8d7c-46b2-b46e-ef... Pierre-Loïc Garoche

03:57 PM Revision 59294251 (lustrec): Restructured the main: call to optimization, scheduling performed ou...

Merge Xavier last commits
Unfinished lustre backend Pierre-Loïc Garoche

03:57 PM Revision c1adf235 (lustrec): Restructured the main: call to optimization, scheduling performed ou...

Merge Xavier last commits
Unfinished lustre backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compi... Pierre-Loïc Garoche

03:16 PM Revision db1c5c00 (lustrec): Extracted scheduling from machine code computation

Pierre-Loïc Garoche

03:16 PM Revision 88486aaf (lustrec): Extracted scheduling from machine code computation

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@270 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

01:54 PM Revision 1ad092fb (lustrec): Create a Step call only for functions that are not in basic lib

Pierre-Loïc Garoche

01:54 PM Revision 6d89b953 (lustrec): Create a Step call only for functions that are not in basic lib

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@269 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/23/2014

09:56 AM Revision fa0db9d5 (lustrec): - bug correction (regression from previous versions !) introduced

in C code generated from relational operators. Xavier Thirioux

09:56 AM Revision 25b4311f (lustrec): - bug correction (regression from previous versions !) introduced

in C code generated from relational operators.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t... Xavier Thirioux

06/20/2014

04:59 PM Revision 6b4d172f (lustrec): - refactorization of typing code (simpler subtyping rules)

- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs. Xavier Thirioux

04:59 PM Revision 6afa892a (lustrec): - refactorization of typing code (simpler subtyping rules)

- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.
git-s... Xavier Thirioux

06/17/2014

12:01 AM Revision fa7dd986 (lustrec): Branch to develop (1) traces in variable names for horn backend (2) ...

Pierre-Loïc Garoche

11:56 PM Revision 839ca600 (lustrec): Update on the test script

Pierre-Loïc Garoche

11:56 PM Revision f01a1af8 (lustrec): Update on the test script

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@265 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/12/2014

05:53 PM Revision f6fa97f9 (lustrec): clean handling of undefined node application

Xavier Thirioux

05:53 PM Revision 719f9992 (lustrec): clean handling of undefined node application

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@261 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

02:08 PM Revision 5b5625e1 (lustrec): Updated typing error

Pierre-Loïc Garoche

02:08 PM Revision 870420a0 (lustrec): Updated typing error

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@260 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche