scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add a few examples from KIND2 distribution.	Alex Auvolat	2014-07-23	3	-0/+1902
\|
*	Correct mode.	Alex Auvolat	2014-07-22	1	-0/+0
\|
*	Add support for octagons.	Alex Auvolat	2014-07-22	1	-0/+53
\|
*	DOES NOT WORK AT ALL	Alex Auvolat	2014-07-11	1	-2/+8
\|
*	Acceptable heuristic.	Alex Auvolat	2014-07-11	1	-0/+19
\|
*	Add heuristic...	Alex Auvolat	2014-07-10	1	-0/+16
\|
*	Fix a few things, this doesn't work well.	Alex Auvolat	2014-07-10	2	-2/+2
\|
*	Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!	Alex Auvolat	2014-07-09	1	-5/+7
\|
*	Correct some bugs on clocks.	Alex Auvolat	2014-07-08	1	-0/+28
\|
*	Implement stand-alone EDDs	Alex Auvolat	2014-07-08	1	-0/+0
\|
*	Merge branch 'e-last'	Alex Auvolat	2014-07-04	3	-6/+17
\|\ \| \| \| \| \| \| \| \| \| \|	Conflicts: abstract/abs_interp.ml tests/source/counters.scade
\| *	New example ; minor fixes.	Alex Auvolat	2014-07-04	3	-6/+44
\| \|
* \|	Add example counters.scade.	Alex Auvolat	2014-07-04	1	-0/+27
\|/
*	Changes to parser ; EDD optimisations ; test cases.	Alex Auvolat	2014-07-03	5	-1/+2128
\|
*	Add ABRO example ; correct interpret bug.	Alex Auvolat	2014-07-03	5	-7001/+162
\|
*	Fix some tests.	Alex Auvolat	2014-07-03	5	-6/+37
\|
*	Fix non-termination issue in EDDs	Alex Auvolat	2014-07-02	1	-0/+40
\|
*	More verbosity ; adapt rfollow so that it can be proved	Alex Auvolat	2014-07-02	1	-2/+4
\|
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	5	-1/+8152
\|
*	Finish up EDDs	Alex Auvolat	2014-07-01	1	-1/+1
\|
*	Reached interesting point in BDD implementation.	Alex Auvolat	2014-06-30	1	-2/+2
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	2	-1/+77
\|
*	Actually, it works.	Alex Auvolat	2014-06-19	1	-1/+1
\|
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	6	-2/+55
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	6	-26/+83
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	3	-26/+26
\|
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-1/+1
\|
*	Implement automata and activate blocks in interpret.	Alex Auvolat	2014-06-16	3	-103/+115
\|
*	Add fail updown test (using pre instead of last).	Alex Auvolat	2014-06-13	3	-1/+55
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	32	-79/+313
\|
*	Parse activate blocks.	Alex Auvolat	2014-06-13	1	-0/+26
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	10	-25/+54
\|
*	Add some tests	Alex Auvolat	2014-06-12	15	-0/+242