scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add simplification pass && better heuristic for BDDs based on ternaries.	Alex Auvolat	2014-07-09	1	-0/+1
\|
*	Implement stand-alone EDDs	Alex Auvolat	2014-07-08	1	-0/+1
\|
*	Add ABRO example ; correct interpret bug.	Alex Auvolat	2014-07-03	1	-1/+2
\|
*	Implement chaotic iterations on EDDs. Global widening is missing.	Alex Auvolat	2014-06-30	1	-1/+1
\|
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-0/+1
\|
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-1/+1
\|
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-5/+10
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-2/+3
\|
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-0/+2
\|
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-2/+4
\|
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-2/+3
\|
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	1	-4/+6
\|
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	1	-2/+4
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	1	-1/+2
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	1	-2/+4
\|
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	1	-0/+21