Activity
From 03/18/2014 to 04/16/2014
04/01/2014
- 06:03 PM Revision b1a97ade (lustrec): still computing disjoint clock information (for reusing more variables)
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@240 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 06:03 PM Revision 97498b53 (lustrec): still computing disjoint clock information (for reusing more variables)
03/31/2014
- 04:29 PM Revision 8f89eba8 (lustrec): computing statically disjoint variables (to enhance resusability)
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@239 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 04:29 PM Revision 7a737ed5 (lustrec): computing statically disjoint variables (to enhance resusability)
03/27/2014
- 09:26 PM Revision 8e5fd1d1 (lustrec): Some updates on scripts
- 09:45 AM Revision 78a35eae (lustrec): Creating a new branch for proof in ACSL
03/24/2014
- 09:05 PM Revision 8fdeb449 (lustrec): Updated scripts
- 08:49 PM Revision 6f765157 (lustrec): Moving files around
- 02:37 PM Revision b35da910 (lustrec): removed debug message
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@230 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 02:37 PM Revision 66e38617 (lustrec): removed debug message
- 02:36 PM Revision 96f5fe18 (lustrec): changed name generation to avoid conflict with C predefined symbols; added checking for declared but not defined node symbol
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@229 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 02:36 PM Revision 0b78e972 (lustrec): changed name generation to avoid conflict with C predefined symbols; added checking for declared but not defined node symbol
- 09:22 AM Revision bd771bbe (lustrec): - some minor adjustments...
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@228 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:22 AM Revision a1f57a52 (lustrec): - some minor adjustments...
- 09:05 AM Revision d4807c3d (lustrec): - corrected causality bug (cf. previous commit)
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@227 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:05 AM Revision 84d9893e (lustrec): - corrected causality bug (cf. previous commit)
- 07:19 AM Revision f062bf3f (lustrec): Update scripts
03/23/2014
03/20/2014
- 03:41 PM Revision 7afcba5a (lustrec): liveness analysis improved. BUG found in causality wrt clocks...
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@224 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 03:41 PM Revision e8c0f452 (lustrec): liveness analysis improved. BUG found in causality wrt clocks...
- 06:08 AM Revision b4694176 (lustrec): Pushing last benchs in misc
- 01:44 AM Revision 53aa0cb0 (lustrec): Pushing some benchs
- 01:35 AM Revision f1f3758a (lustrec): Pushing some benchs
- 01:23 AM Revision 43a2cae9 (lustrec): Pushing some benchs
- 12:53 AM Revision 6423979f (lustrec): update on script
03/19/2014
- 11:46 PM Revision b7c58c24 (lustrec): iMinor modifs + improved script
- 11:00 PM Revision a5784e75 (lustrec): - modified example (arguments are now in the right order wrt clock declaration).
- - debugged liveness analysis...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@217 041b04... - 11:00 PM Revision 3c48346d (lustrec): - modified example (arguments are now in the right order wrt clock declaration).
- - debugged liveness analysis...
- 06:08 PM Revision 695d6f2f (lustrec): - reimplemented computation of dead variables
- - added computation of a reuse policy (depending on types)
- not yet used though, would have to change code generati... - 06:08 PM Revision d4101ea0 (lustrec): - reimplemented computation of dead variables
- - added computation of a reuse policy (depending on types)
- not yet used though, would have to change code generati...
03/18/2014
- 06:05 PM Revision 8ea13d96 (lustrec): added liveness analysis for reusing dead variables. Not yet used.
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@215 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 06:05 PM Revision 6cf31814 (lustrec): added liveness analysis for reusing dead variables. Not yet used.
Also available in: Atom