scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	6	-2/+55
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	6	-26/+83
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	3	-26/+26
\|
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-1/+1
\|
*	Implement automata and activate blocks in interpret.	Alex Auvolat	2014-06-16	3	-103/+115
\|
*	Add fail updown test (using pre instead of last).	Alex Auvolat	2014-06-13	3	-1/+55
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	32	-79/+313
\|
*	Parse activate blocks.	Alex Auvolat	2014-06-13	1	-0/+26
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	10	-25/+54
\|
*	Add some tests	Alex Auvolat	2014-06-12	15	-0/+242