scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Many things, sorry for the mess.	Alex Auvolat	2014-06-26	1	-0/+343
\| \| \| \| \| \| \| \| \| \|	- 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)
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-0/+144