scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	First implementation of resetting transitions.	Alex Auvolat	2014-07-04	1	-1/+0
\|
*	Simplifications && preparation for restart.	Alex Auvolat	2014-07-04	1	-0/+1
\|
*	Changes to parser ; EDD optimisations ; test cases.	Alex Auvolat	2014-07-03	1	-42/+19
\|
*	Add ABRO example ; correct interpret bug.	Alex Auvolat	2014-07-03	1	-0/+11
\|
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-0/+4
\|
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-1/+1
\|
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	1	-7/+7
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	1	-3/+6
\|
*	Parse activate blocks.	Alex Auvolat	2014-06-13	1	-3/+16
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	1	-5/+36
\|
*	Parse type groups.	Alex Auvolat	2014-06-11	1	-4/+6
\|
*	Make code cleaner	Alex Auvolat	2014-06-11	1	-119/+68
\|
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	1	-0/+221