scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	2	-308/+7
*	Add ABRO example ; correct interpret bug.	Alex Auvolat	2014-07-03	1	-8/+30
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-2/+15
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-0/+1
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	3	-196/+13
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	3	-11/+11
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	3	-54/+53
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	3	-1/+9
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	2	-6/+2
*	Implement automata and activate blocks in interpret.	Alex Auvolat	2014-06-16	1	-23/+117
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	6	-101/+507
*	Move a lot of things.	Alex Auvolat	2014-06-13	4	-40/+151
*	Parse activate blocks.	Alex Auvolat	2014-06-13	1	-70/+101
*	Nothing.	Alex Auvolat	2014-06-12	1	-4/+4
*	Implement instances (that was easy!)	Alex Auvolat	2014-06-12	1	-10/+15
*	Adopt same output format as test.c	Alex Auvolat	2014-06-12	1	-2/+2
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	2	-0/+334