scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-2/+6
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-3/+3
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-5/+5
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-2/+12
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-1/+1
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-1/+2
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-6/+2
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-0/+2
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-0/+6
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	1	-38/+33
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	1	-20/+26
*	Move a lot of things.	Alex Auvolat	2014-06-13	1	-11/+14
*	Nothing.	Alex Auvolat	2014-06-12	1	-1/+1
*	Adopt same output format as test.c	Alex Auvolat	2014-06-12	1	-14/+37
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	1	-1/+25
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	1	-0/+25