scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	Acceptable heuristic.	Alex Auvolat	2014-07-11	1	-2/+15
*	DP locations defined by abstract values and not by formula.	Alex Auvolat	2014-07-10	1	-20/+0
*	Fix a few things, this doesn't work well.	Alex Auvolat	2014-07-10	1	-0/+2
*	Now it's starting to work...	Alex Auvolat	2014-07-09	1	-0/+18
*	Add simplification pass && better heuristic for BDDs based on ternaries.	Alex Auvolat	2014-07-09	1	-9/+42
*	Correct some bugs on clocks.	Alex Auvolat	2014-07-08	1	-2/+4
*	Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)	Alex Auvolat	2014-07-08	1	-0/+68
*	First implementation of resetting transitions.	Alex Auvolat	2014-07-04	1	-11/+17
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-1/+2
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-9/+11
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-5/+5
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-0/+2
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-24/+40
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-7/+13
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-9/+12
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-0/+20
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-7/+11
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-0/+78
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	1	-0/+24