scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-7/+7
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-23/+21
\|
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-32/+76
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-13/+50
\|
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-61/+101
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-26/+32
\|
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-10/+59
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-44/+62
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-3/+3
\|
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-8/+49
\|
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-3/+1
\|
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-0/+203