scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Refactor some stuff (this code sould be re-read.)	Alex Auvolat	2014-07-30	1	-32/+40
\|
*	Implement selection of disjunction variables for EDDs.	Alex Auvolat	2014-07-30	1	-25/+33
\| \| \| \|	Next (?) : leaves can store information on evars.
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	1	-21/+40
\|
*	Acceptable heuristic.	Alex Auvolat	2014-07-11	1	-5/+5
\|
*	Add heuristic...	Alex Auvolat	2014-07-10	1	-2/+2
\|
*	Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!	Alex Auvolat	2014-07-09	1	-11/+17
\|
*	Add simplification pass && better heuristic for BDDs based on ternaries.	Alex Auvolat	2014-07-09	1	-0/+31
\|
*	Correct some bugs on clocks.	Alex Auvolat	2014-07-08	1	-7/+12
\|
*	Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)	Alex Auvolat	2014-07-08	1	-0/+5
\|
*	Cleanup.	Alex Auvolat	2014-07-08	1	-239/+17
\|
*	Implement stand-alone EDDs	Alex Auvolat	2014-07-08	1	-2/+0
\|
*	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