scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	1	-0/+16
\|
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-1/+1
\|
*	Finish up EDDs	Alex Auvolat	2014-07-01	1	-0/+8
\|
*	Implement chaotic iterations on EDDs. Global widening is missing.	Alex Auvolat	2014-06-30	1	-0/+21
\|
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-13/+22
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-0/+6
\|
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-0/+7
\|
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-0/+8
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	1	-3/+22
\|
*	Parse activate blocks.	Alex Auvolat	2014-06-13	1	-0/+5
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	1	-1/+6
\|
*	Make code cleaner	Alex Auvolat	2014-06-11	1	-7/+7
\|
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	3	-0/+1234