scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	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 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