scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-17/+10
\|
*	Simplifications && preparation for restart.	Alex Auvolat	2014-07-04	1	-1/+16
\|
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-2/+8
\|
*	Minor corrections.	Alex Auvolat	2014-06-26	1	-2/+2
\| \| \| \| \| \|	- Use correect clock scope in typing - De-activate multi-valuated domain for enumerate vars + var couples. - Add comment explaining why it doesn't work
*	Many things, sorry for the mess.	Alex Auvolat	2014-06-26	1	-23/+30
\| \| \| \| \| \| \| \| \| \|	- Implement two new enumeration domains (they don't bring us much) : multi valuation for variables ; multi valuation for variables and pairs of variables (not really sure it works) - Make it so that the number of init/time variables is reduced (do not create new init/time variables on node instanciation, only inside activate blocks and automaton states) - Some work on EDD (it is currently broken and does not compile)
*	Differentiate pre witin different scopes.	Alex Auvolat	2014-06-25	1	-0/+1
\|
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-5/+7
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-11/+8
\|
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-1/+16
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-22/+49
\|
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-3/+7
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-0/+178