/test - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test @ 6394042a

Name	Size	Revision	Age	Author	Comment
Makefile	266 Bytes	4437ddbc	over 10 years	Pierre-Loïc Garoche	Updated list with new tests
test-compile.sh	6.83 KB	e9c64a30	almost 10 years	Pierre-Loïc Garoche	Reactivated the generation of traceability info...
tests_ok.list	51.6 KB	6a1a01d2	about 10 years	Xavier Thirioux	- Added major feature: Lustre V6 automata !!! ...

#	Date	Author	Comment
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
8a5f633d	03/17/2014 12:46 PM	Pierre-Loïc Garoche	Version compatible avec le francais
1699b8ff	03/17/2014 09:06 AM	Pierre-Loïc Garoche	Updated test script: changed path and verbose mode

Also available in: Atom