/test - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/test @ b3f91fdb

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

#	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

Also available in: Atom