Project

General

Profile

Activity

From 03/15/2014 to 04/13/2014

04/01/2014

06:03 PM Revision 97498b53 (lustrec): still computing disjoint clock information (for reusing more variables)
Xavier Thirioux
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 Xavier Thirioux

03/31/2014

04:29 PM Revision 7a737ed5 (lustrec): computing statically disjoint variables (to enhance resusability)
Xavier Thirioux
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 Xavier Thirioux

03/27/2014

09:26 PM Revision 8e5fd1d1 (lustrec): Some updates on scripts
Pierre-Loïc Garoche
09:45 AM Revision 78a35eae (lustrec): Creating a new branch for proof in ACSL
Guillaume Davy

03/24/2014

09:05 PM Revision 8fdeb449 (lustrec): Updated scripts
Pierre-Loïc Garoche
08:49 PM Revision 6f765157 (lustrec): Moving files around
Pierre-Loïc Garoche
02:37 PM Revision 66e38617 (lustrec): removed debug message
Xavier Thirioux
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 Xavier Thirioux
02:36 PM Revision 0b78e972 (lustrec): changed name generation to avoid conflict with C predefined symbols;...
Xavier Thirioux
02:36 PM Revision 96f5fe18 (lustrec): changed name generation to avoid conflict with C predefined symbols;...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@229 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
09:22 AM Revision a1f57a52 (lustrec): - some minor adjustments...
Xavier Thirioux
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 Xavier Thirioux
09:05 AM Revision 84d9893e (lustrec): - corrected causality bug (cf. previous commit)
Xavier Thirioux
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 Xavier Thirioux
07:19 AM Revision f062bf3f (lustrec): Update scripts
Pierre-Loïc Garoche

03/23/2014

09:34 PM Revision 50d06a28 (lustrec): all benchs
Pierre-Loïc Garoche

03/20/2014

03:41 PM Revision e8c0f452 (lustrec): liveness analysis improved. BUG found in causality wrt clocks...
Xavier Thirioux
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 Xavier Thirioux
06:08 AM Revision b4694176 (lustrec): Pushing last benchs in misc
Pierre-Loïc Garoche
01:44 AM Revision 53aa0cb0 (lustrec): Pushing some benchs
Pierre-Loïc Garoche
01:35 AM Revision f1f3758a (lustrec): Pushing some benchs
Pierre-Loïc Garoche
01:23 AM Revision 43a2cae9 (lustrec): Pushing some benchs
Pierre-Loïc Garoche

03/19/2014

12:53 AM Revision 6423979f (lustrec): update on script
Pierre-Loïc Garoche
11:46 PM Revision b7c58c24 (lustrec): iMinor modifs + improved script
Pierre-Loïc Garoche
11:00 PM Revision 3c48346d (lustrec): - modified example (arguments are now in the right order wrt clock d...
- debugged liveness analysis... Xavier Thirioux
11:00 PM Revision a5784e75 (lustrec): - modified example (arguments are now in the right order wrt clock d...
- debugged liveness analysis...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@217 041b04...
Xavier Thirioux
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...
Xavier Thirioux
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...
Xavier Thirioux

03/18/2014

06:05 PM Revision 6cf31814 (lustrec): added liveness analysis for reusing dead variables. Not yet used.
Xavier Thirioux
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 Xavier Thirioux

03/17/2014

11:42 PM Revision d5a5678c (lustrec): Separated generation from compilation for mutants
Pierre-Loïc Garoche
11:03 PM Revision 5cab37f0 (lustrec): New version of the script: gen new tests
Pierre-Loïc Garoche
10:42 PM Revision d9970c39 (lustrec): no rename
Pierre-Loïc Garoche
10:21 PM Revision 1e6a908f (lustrec): Missing file
Pierre-Loïc Garoche
10:04 PM Revision 78b04ee1 (lustrec): Merged with trunk
Pierre-Loïc Garoche
08:52 PM Revision 04555efc (lustrec): Missing file Mmap
Pierre-Loïc Garoche
08:50 PM Revision df924fb3 (lustrec): Cleaning example files
Tiny optimization. Pierre-Loïc Garoche
01:01 PM Revision 14ebde97 (lustrec): improved code generation by factorizing out arrows
Xavier Thirioux
01:01 PM Revision 2e6f9ba8 (lustrec): improved code generation by factorizing out arrows
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@207 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
12:46 PM Revision 8a5f633d (lustrec): Version compatible avec le francais
Pierre-Loïc Garoche
12:46 PM Revision 6955f956 (lustrec): Version compatible avec le francais
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@206 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
09:06 AM Revision 1699b8ff (lustrec): Updated test script: changed path and verbose mode
Pierre-Loïc Garoche
09:06 AM Revision 1692756a (lustrec): Updated test script: changed path and verbose mode
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@205 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
07:44 AM Revision 67ba882b (lustrec): Moved tests outside of source code to avoid useless duplication.
Pierre-Loïc Garoche
07:44 AM Revision 701b0c0a (lustrec): Moved tests outside of source code to avoid useless duplication.
Pierre-Loïc Garoche
07:44 AM Revision 3f9600bb (lustrec): Moved tests outside of source code to avoid useless duplication.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@204 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
07:40 AM Revision cbe93c65 (lustrec): Added Alice Tailliar example
Pierre-Loïc Garoche
07:40 AM Revision 443f0686 (lustrec): Added Alice Tailliar example
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@203 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

03/16/2014

12:17 AM Revision 5538b7ac (lustrec): Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation an...
Xavier Thirioux
12:17 AM Revision e135421f (lustrec): Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation an...
Xavier Thirioux

03/15/2014

02:01 PM Revision 224d9d76 (lustrec): Hack to avoid empty struct. This is mandatory for frama-c (for the m...
Pierre-Loïc Garoche
01:56 PM Revision 57ec37a1 (lustrec): New functions to identify stateless machines
Pierre-Loïc Garoche

03/14/2014

12:16 AM Revision 07f1f2e1 (lustrec): Modified the makefile to fit eacsl issues
Pierre-Loïc Garoche
 

Also available in: Atom