Project

General

Profile

Activity

From 07/09/2014 to 08/07/2014

08/01/2014

03:56 PM Revision dbca8647 (lustrec): Example with objects
Pierre-Loïc Garoche
02:47 PM Revision 8573d557 (lustrec): Creation of branch ocaml backend
Pierre-Loïc Garoche

07/15/2014

03:01 PM Revision 0172f92d (lustrec): ooops, things got a bit scrambled with svn, restoring...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@323 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
03:01 PM Revision ed431cc2 (lustrec): ooops, things got a bit scrambled with svn, restoring...
Xavier Thirioux
02:15 PM Revision ed81df06 (lustrec): added some functions, prior to code refactoring
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@322 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:15 PM Revision 7dedc5f0 (lustrec): added some functions, prior to code refactoring
Xavier Thirioux
09:27 AM Revision b1655a21 (lustrec): - started refactoring type definitions in .lus/.lusi,
in order to ease the way .lusi interface files are handled.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lus...
Xavier Thirioux
09:27 AM Revision 6aeb3388 (lustrec): - started refactoring type definitions in .lus/.lusi,
in order to ease the way .lusi interface files are handled. Xavier Thirioux

07/12/2014

02:23 PM Revision b13a7d5f (lustrec): - reimplementation of the reuse algorithm (option -O 3),
much more simple and efficient.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@320 041b04...
Xavier Thirioux
02:23 PM Revision 084c1ce4 (lustrec): - reimplementation of the reuse algorithm (option -O 3),
much more simple and efficient. Xavier Thirioux

07/11/2014

04:29 PM Revision 28c58de1 (lustrec): - still some improvements in optimizing in machine code ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@319 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
04:29 PM Revision 8fa083d5 (lustrec): - still some improvements in optimizing in machine code ...
Xavier Thirioux
02:57 PM Revision 919292ca (lustrec): - missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t...
Xavier Thirioux
02:57 PM Revision 8ac7a0c7 (lustrec): - missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results. Xavier Thirioux

07/10/2014

11:19 PM Revision 74f1d8d3 (lustrec): - corrected a small bug in clock calculus
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@317 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
11:19 PM Revision 32f508aa (lustrec): - corrected a small bug in clock calculus
Xavier Thirioux
05:19 PM Revision 6fdfb60b (lustrec): - several bugs corrected when mixing tuples with clocks
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@316 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
05:19 PM Revision d52e7821 (lustrec): - several bugs corrected when mixing tuples with clocks
Xavier Thirioux
12:49 PM Revision 45c13277 (lustrec): - added missing constraint check when sub-clocking
tuple expressions
- added an algorithm that reuses dead or clock-disjoint
variables instead of declaring/using ne...
Xavier Thirioux
12:49 PM Revision 01f1a1f4 (lustrec): - added missing constraint check when sub-clocking
tuple expressions
- added an algorithm that reuses dead or clock-disjoint
variables instead of declaring/using ne...
Xavier Thirioux

07/09/2014

10:42 AM Revision bb2b5eb4 (lustrec): Creating a branch for proof acsl with the new backend layout
Guillaume Davy
09:57 AM Revision a2d97a3e (lustrec): Updated the licence info and header for each file.
Moved backends in separate folders
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 04...
Pierre-Loïc Garoche
09:57 AM Revision b38ffff3 (lustrec): Updated the licence info and header for each file.
Moved backends in separate folders Pierre-Loïc Garoche
12:35 AM Revision be3dd43f (lustrec): Fixed horn backend to make query for properties. More work needed for cex
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
12:35 AM Revision 817d5bcb (lustrec): Fixed horn backend to make query for properties. More work needed for cex
Teme Kahsai
12:35 AM Revision 43aa67ec (lustrec): Fixed horn backend to make query for properties. More work needed for cex
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@311 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
12:35 AM Revision fcf1fd96 (lustrec): Fixed horn backend to make query for properties. More work needed for cex
Teme Kahsai
 

Also available in: Atom