Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ b3f91fdb

Name Size Revision Age Author Comment
Makefile 266 Bytes 4437ddbc over 5 years Pierre-Loïc Garoche Updated list with new tests
test-compile.sh 6.33 KB b3f91fdb over 4 years Xavier Thirioux LOTS of bug correction wrt inlining, still a wo...
tests_ok.list 52.1 KB b3f91fdb over 4 years Xavier Thirioux LOTS of bug correction wrt inlining, still a wo...

Latest revisions

# Date Author Comment
b3f91fdb 04/03/2015 06:22 PM Xavier Thirioux

LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (array sizes and clocks) not handled
- ill-typed generated expressions, when inlining array expressions

7dd90f72 04/01/2015 06:41 PM Xavier Thirioux

added some test files

e9c64a30 03/05/2015 11:48 PM Pierre-Loïc Garoche

Reactivated the generation of traceability information
Changed the test-compile to use the horn-traces and the horn-queries option

6a1a01d2 09/14/2014 08:08 PM Xavier Thirioux

- Added major feature: Lustre V6 automata !!!
- one automata example added
- changed the reset condition in node calls (now a simple bool expr)
- bug corrected in clock calculus
- bug corrected in traceability info
- added field in variables to test whether they are original...

3f823d04 09/02/2014 05:46 PM Xavier Thirioux

- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!

36454535 07/03/2014 10:46 PM Pierre-Loïc Garoche

Merged horn_traces branch

839ca600 06/17/2014 11:56 PM Pierre-Loïc Garoche

Update on the test script

4437ddbc 05/19/2014 01:57 PM Pierre-Loïc Garoche

Updated list with new tests

6cf31814 03/18/2014 06:05 PM Xavier Thirioux

added liveness analysis for reusing dead variables. Not yet used.

14ebde97 03/17/2014 01:01 PM Xavier Thirioux

improved code generation by factorizing out arrows

View revisions

Also available in: Atom