scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	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