scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-9/+10
*	Actually, it works.	Alex Auvolat	2014-06-19	1	-5/+3
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-23/+14
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-4/+3
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-3/+3
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-66/+19
*	Presentation changes.	Alex Auvolat	2014-06-18	1	-15/+26
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-18/+48
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-13/+14
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-8/+9
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-17/+49
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-9/+17
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-2/+127
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-0/+14