scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	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