Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test @ fc886259

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

Latest revisions

# Date Author Comment
fc886259 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...

77a61575 04/01/2015 06:41 PM Xavier Thirioux

added some test files

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@432 041b043f-8d7c-46b2-b46e-ef0dd855326e

3ca6d126 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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@414 041b043f-8d7c-46b2-b46e-ef0dd855326e

54d032f5 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...

9603460e 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 !!??!!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Merged horn_traces branch

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Update on the test script

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@265 041b043f-8d7c-46b2-b46e-ef0dd855326e

525f9650 05/19/2014 01:57 PM Pierre-Loïc Garoche

Updated list with new tests

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@248 041b043f-8d7c-46b2-b46e-ef0dd855326e

8ea13d96 03/18/2014 06:05 PM Xavier Thirioux

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

2e6f9ba8 03/17/2014 01:01 PM Xavier Thirioux

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

View revisions

Also available in: Atom