Project

General

Profile

Activity

From 06/26/2014 to 07/25/2014

07/15/2014

03:01 PM Revision ed431cc2 (lustrec): ooops, things got a bit scrambled with svn, restoring...
Xavier Thirioux
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
02:15 PM Revision 7dedc5f0 (lustrec): added some functions, prior to code refactoring
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
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
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

07/12/2014

02:23 PM Revision 084c1ce4 (lustrec): - reimplementation of the reuse algorithm (option -O 3),
much more simple and efficient. Xavier Thirioux
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

07/11/2014

04:29 PM Revision 8fa083d5 (lustrec): - still some improvements in optimizing in machine code ...
Xavier Thirioux
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
02:57 PM Revision 8ac7a0c7 (lustrec): - missing case in clock disjunction predicate, the absence of which ...
weak (but still correct) optimization results. Xavier Thirioux
02:57 PM Revision 919292ca (lustrec): - missing case in clock disjunction predicate, the absence of which ...
weak (but still correct) optimization results.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t...
Xavier Thirioux

07/10/2014

11:19 PM Revision 32f508aa (lustrec): - corrected a small bug in clock calculus
Xavier Thirioux
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
05:19 PM Revision d52e7821 (lustrec): - several bugs corrected when mixing tuples with clocks
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
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
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

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 b38ffff3 (lustrec): Updated the licence info and header for each file.
Moved backends in separate folders Pierre-Loïc Garoche
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

07/08/2014

12:35 AM Revision 817d5bcb (lustrec): Fixed horn backend to make query for properties. More work needed fo...
Teme Kahsai
12:35 AM Revision be3dd43f (lustrec): Fixed horn backend to make query for properties. More work needed fo...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
12:35 AM Revision fcf1fd96 (lustrec): Fixed horn backend to make query for properties. More work needed fo...
Teme Kahsai
12:35 AM Revision 43aa67ec (lustrec): Fixed horn backend to make query for properties. More work needed fo...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@311 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
06:17 PM Revision 15787c5b (lustrec): added git version of svn_version
Teme Kahsai
06:17 PM Revision 32e6c218 (lustrec): added git version of svn_version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@310 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
04:53 PM Revision 2cf39a8e (lustrec): - many bugs/limitations in lifting operators to tuples have been wor...
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !...
Xavier Thirioux
04:53 PM Revision a38c681e (lustrec): - many bugs/limitations in lifting operators to tuples have been wor...
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !...
Xavier Thirioux
02:20 AM Revision dae9db56 (lustrec): Version quasi fonctionnelle de la generation de spec.
Encore des problemes de typage Pierre-Loïc Garoche

07/07/2014

10:35 AM Revision 34a5a072 (lustrec): work in progress in liveness analysis...
Xavier Thirioux
10:35 AM Revision b6a94a4e (lustrec): work in progress in liveness analysis...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@307 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

07/04/2014

04:57 PM Revision 7cd31331 (lustrec): work in progress (code optimization again)
Xavier Thirioux
04:57 PM Revision 44bea83a (lustrec): work in progress (code optimization again)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@306 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:49 PM Revision d2ca2319 (lustrec): Merge latest trunk commits
Pierre-Loïc Garoche

07/03/2014

10:46 PM Revision 36454535 (lustrec): Merged horn_traces branch
Pierre-Loïc Garoche
10:46 PM Revision af5af1e8 (lustrec): Merged horn_traces branch
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
10:40 PM Revision 1837ce98 (lustrec): added some infrastructure to ease optimization (reusing vars)
Xavier Thirioux
10:40 PM Revision bb2ca5f4 (lustrec): added some infrastructure to ease optimization (reusing vars)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@302 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
10:33 PM Revision 562ef8c3 (lustrec): Working version of horn backend with asserts
Be careful: the property checking is the output of the main node!!!! Pierre-Loïc Garoche

07/02/2014

01:38 AM Revision 5984a495 (lustrec): Merged with latest trunk update.
Generation of asserts and traceability file Pierre-Loïc Garoche
05:32 PM Revision 920c31de (lustrec): Merged branches specification_reorg_corelang_parser (see last commit...
Pierre-Loïc Garoche
05:32 PM Revision 99d3df04 (lustrec): Merged branches specification_reorg_corelang_parser (see last commit...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
05:29 PM Revision 0038002e (lustrec): Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenex...
Pierre-Loïc Garoche
05:29 PM Revision 01c7d5e1 (lustrec): Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenex...
Pierre-Loïc Garoche
04:37 PM Revision 0e1cd8db (lustrec): Parsed the annotation. Produce tracability information for horn backend
Pierre-Loïc Garoche
04:14 PM Revision 7ecdb0aa (lustrec): more steps toward reusing variables (dead ones + clock disjoint ones)
Xavier Thirioux
04:14 PM Revision add75bcb (lustrec): more steps toward reusing variables (dead ones + clock disjoint ones)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@295 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

07/01/2014

01:16 PM Revision 5f747d08 (lustrec): New branch to add traceability
Pierre-Loïc Garoche

06/27/2014

09:10 PM Revision 8517c831 (lustrec): Revert casality to r288
Pierre-Loïc Garoche
05:19 PM Revision 74dd308c (lustrec): On going work: it does not compile!
Pierre-Loïc Garoche
04:29 PM Revision d96d54ac (lustrec): added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...
Xavier Thirioux
04:29 PM Revision 8a183477 (lustrec): added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...
git-svn-id: https:...
Xavier Thirioux

06/26/2014

04:48 PM Revision 9aaee7f9 (lustrec): added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
Xavier Thirioux
04:48 PM Revision 3bfed7f9 (lustrec): added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
git-svn-id: https:/...
Xavier Thirioux
 

Also available in: Atom