scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adapt domain with non-EDD disjunctions ; it doesn't work very well !	Alex Auvolat	2014-07-04	1	-6/+8
\|
*	New example ; minor fixes.	Alex Auvolat	2014-07-04	1	-3/+8
\|
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-37/+36
\|
*	Changes to parser ; EDD optimisations ; test cases.	Alex Auvolat	2014-07-03	1	-71/+80
\|
*	New algorithm for variable ordering based on FORCE.	Alex Auvolat	2014-07-03	1	-8/+85
\|
*	Add message when a step goes on BOT, ie. contradiction in assumes.	Alex Auvolat	2014-07-02	1	-12/+21
\|
*	Fix non-termination issue in EDDs	Alex Auvolat	2014-07-02	1	-64/+83
\|
*	More verbosity ; adapt rfollow so that it can be proved	Alex Auvolat	2014-07-02	1	-1/+11
\|
*	Small changes in Graphwiz export : same vars at same level.	Alex Auvolat	2014-07-01	1	-0/+11
\|
*	Not much : find acceptably good ordering for variables.	Alex Auvolat	2014-07-01	1	-55/+28
\|
*	Finish up EDDs	Alex Auvolat	2014-07-01	1	-43/+98
\|
*	Implement chaotic iterations on EDDs. Global widening is missing.	Alex Auvolat	2014-06-30	1	-109/+329
\|
*	Reached interesting point in BDD implementation.	Alex Auvolat	2014-06-30	1	-109/+114
\|
*	More work on EDDs.	Alex Auvolat	2014-06-27	1	-145/+313
\|
*	Many things, sorry for the mess.	Alex Auvolat	2014-06-26	1	-85/+101
\| \| \| \| \| \| \| \| \| \|	- 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)
*	Implement a few things. Tomorrow: optimizations.	Alex Auvolat	2014-06-25	1	-36/+119
\|
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-0/+500