Activity
From 06/16/2014 to 07/15/2014
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
- 03:01 PM Revision ed431cc2 (lustrec): ooops, things got a bit scrambled with svn, restoring...
- 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
- 02:15 PM Revision 7dedc5f0 (lustrec): added some functions, prior to code refactoring
- 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... - 09:27 AM Revision 6aeb3388 (lustrec): - started refactoring type definitions in .lus/.lusi,
- in order to ease the way .lusi interface files are handled.
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... - 02:23 PM Revision 084c1ce4 (lustrec): - reimplementation of the reuse algorithm (option -O 3),
- much more simple and efficient.
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
- 04:29 PM Revision 8fa083d5 (lustrec): - still some improvements in optimizing in machine code ...
- 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... - 02:57 PM Revision 8ac7a0c7 (lustrec): - missing case in clock disjunction predicate, the absence of which produced
- weak (but still correct) optimization results.
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
- 11:19 PM Revision 32f508aa (lustrec): - corrected a small bug in clock calculus
- 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
- 05:19 PM Revision d52e7821 (lustrec): - several bugs corrected when mixing tuples with clocks
- 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... - 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...
07/09/2014
- 10:42 AM Revision bb2b5eb4 (lustrec): Creating a branch for proof acsl with the new backend layout
- 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... - 09:57 AM Revision b38ffff3 (lustrec): Updated the licence info and header for each file.
- Moved backends in separate folders
- 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
- 12:35 AM Revision 817d5bcb (lustrec): Fixed horn backend to make query for properties. More work needed for cex
- 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
- 12:35 AM Revision fcf1fd96 (lustrec): Fixed horn backend to make query for properties. More work needed for cex
07/08/2014
- 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
- 06:17 PM Revision 15787c5b (lustrec): added git version of svn_version
- 04:53 PM Revision a38c681e (lustrec): - many bugs/limitations in lifting operators to tuples have been worked out:
- - typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !... - 04:53 PM Revision 2cf39a8e (lustrec): - many bugs/limitations in lifting operators to tuples have been worked out:
- - typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !... - 02:20 AM Revision dae9db56 (lustrec): Version quasi fonctionnelle de la generation de spec.
- Encore des problemes de typage
07/07/2014
- 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
- 10:35 AM Revision 34a5a072 (lustrec): work in progress in liveness analysis...
07/04/2014
- 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
- 04:57 PM Revision 7cd31331 (lustrec): work in progress (code optimization again)
- 02:49 PM Revision d2ca2319 (lustrec): Merge latest trunk commits
07/03/2014
- 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
- 10:46 PM Revision 36454535 (lustrec): Merged horn_traces branch
- 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
- 10:40 PM Revision 1837ce98 (lustrec): added some infrastructure to ease optimization (reusing vars)
- 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!!!!
- 01:38 AM Revision 5984a495 (lustrec): Merged with latest trunk update.
- Generation of asserts and traceability file
07/02/2014
- 05:32 PM Revision 99d3df04 (lustrec): Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 05:32 PM Revision 920c31de (lustrec): Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)
- 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... - 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... - 04:37 PM Revision 0e1cd8db (lustrec): Parsed the annotation. Produce tracability information for horn backend
- 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
- 04:14 PM Revision 7ecdb0aa (lustrec): more steps toward reusing variables (dead ones + clock disjoint ones)
07/01/2014
06/27/2014
- 09:10 PM Revision 8517c831 (lustrec): Revert casality to r288
- 05:19 PM Revision 74dd308c (lustrec): On going work: it does not compile!
- 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:... - 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...
06/26/2014
- 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:/... - 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
06/25/2014
- 05:38 PM Revision 54e22304 (lustrec): Merged with new specification backend: only eacsl makefile for the now on
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@289 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 05:38 PM Revision 54adb917 (lustrec): Merged with new specification backend: only eacsl makefile for the now on
- 05:37 PM Revision d4107cf2 (lustrec): Merged trunk updates
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@288 041b04...
- 05:37 PM Revision e95470b3 (lustrec): Merged trunk updates
- 05:00 PM Revision 4162f7a0 (lustrec): Solved Bug in horn backend: when main node is stateless
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@287 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 05:00 PM Revision 587cdc0d (lustrec): Solved Bug in horn backend: when main node is stateless
- 02:33 PM Revision 0e1049dc (lustrec): work in progress:
- - warnings for unused input/memory variables
- optimization of machine code
git-svn-id: https://cavale.enseeiht.fr... - 02:33 PM Revision c1b14ce6 (lustrec): work in progress:
- - warnings for unused input/memory variables
- optimization of machine code - 01:11 PM Revision 2516ebdf (lustrec): New branch to copy the specgeneration using the new backend functors
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@283 041b04...
- 01:11 PM Revision cee0feb8 (lustrec): New branch to copy the specgeneration using the new backend functors
- 01:06 PM Revision bc0e1cec (lustrec): Merged the new backend split into trunk
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@282 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 01:06 PM Revision 56484623 (lustrec): Merged the new backend split into trunk
- 12:47 PM Revision cefc3744 (lustrec): Specialized the prefix/postfix modifiers through functors arguments
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@281 041b043f-8d7c-46b2-b4...
- 12:47 PM Revision 713176a4 (lustrec): Specialized the prefix/postfix modifiers through functors arguments
- 11:13 AM Revision cd670fe1 (lustrec): Split all functions of C backends in separate files
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@280 041b043f-8d7c-46b2-b4...
- 11:13 AM Revision 522938b5 (lustrec): Split all functions of C backends in separate files
- 10:54 AM Revision b84a138e (lustrec): Added the lustre backend
- Still some work on adapating the instruction scheduling
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_c... - 10:54 AM Revision 49ddf66d (lustrec): Added the lustre backend
- Still some work on adapating the instruction scheduling
- 10:15 AM Revision 13eb21df (lustrec): Moved c_backend in separate folder
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@278 041b043f-8d7c-46b2-b4...
- 10:15 AM Revision d2be420e (lustrec): Moved c_backend in separate folder
- 08:20 AM Revision 8df90dd3 (lustrec): Solved bug in optimization of machine code: output variable def should not be eliminated
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@277 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 08:20 AM Revision a77bd1e3 (lustrec): Solved bug in optimization of machine code: output variable def should not be eliminated
- 07:45 AM Revision bd3ef34a (lustrec): Solved local var name bugs for stateless nodes as outlined by Teme
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@276 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 07:45 AM Revision 7130028e (lustrec): Solved local var name bugs for stateless nodes as outlined by Teme
06/24/2014
- 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...
- 09:53 PM Revision 6e73c87e (lustrec): Added branch to separate code gen/file creation/spec/proof
- 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
- 04:30 PM Revision 7a6b5deb (lustrec): Mini bug solved: do not unfold array constants
- 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...
- 03:57 PM Revision 3ab9437b (lustrec): Missing files
- 03:57 PM Revision c1adf235 (lustrec): Restructured the main: call to optimization, scheduling performed out of machine_code, etc
- Merge Xavier last commits
Unfinished lustre backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compi... - 03:57 PM Revision 59294251 (lustrec): Restructured the main: call to optimization, scheduling performed out of machine_code, etc
- Merge Xavier last commits
Unfinished lustre backend - 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
- 03:16 PM Revision db1c5c00 (lustrec): Extracted scheduling from machine code computation
- 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
- 01:54 PM Revision 1ad092fb (lustrec): Create a Step call only for functions that are not in basic lib
06/23/2014
- 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... - 09:56 AM Revision fa0db9d5 (lustrec): - bug correction (regression from previous versions !) introduced
- in C code generated from relational operators.
06/20/2014
- 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... - 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.
06/18/2014
06/17/2014
- 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
- 11:56 PM Revision 839ca600 (lustrec): Update on the test script
Also available in: Atom