scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add simplification pass && better heuristic for BDDs based on ternaries.	Alex Auvolat	2014-07-09	1	-5/+2
\|
*	Revert that. We have two different domain kinds for enums, that's all.	Alex Auvolat	2014-07-08	1	-65/+67
\|
*	Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...)	Alex Auvolat	2014-07-08	1	-67/+65
\|
*	Adapt non-EDD disjunction interpret to use two set of disjunction vars.	Alex Auvolat	2014-07-04	1	-20/+15
\|
*	Adapt domain with non-EDD disjunctions ; it doesn't work very well !	Alex Auvolat	2014-07-04	1	-93/+103
\|
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-6/+1
\|
*	Add message when a step goes on BOT, ie. contradiction in assumes.	Alex Auvolat	2014-07-02	1	-13/+17
\|
*	Fix non-termination issue in EDDs	Alex Auvolat	2014-07-02	1	-11/+7
\|
*	More verbosity ; adapt rfollow so that it can be proved	Alex Auvolat	2014-07-02	1	-1/+3
\|
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-1/+2
\|
*	More work on EDDs.	Alex Auvolat	2014-06-27	1	-10/+5
\|
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-4/+4
\|
*	Add command line option : verbose chaotic iterations.	Alex Auvolat	2014-06-25	1	-12/+17
\|
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-78/+390
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-2/+2
\|
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-9/+10
\|
*	Actually, it works.	Alex Auvolat	2014-06-19	1	-5/+3
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-23/+14
\|
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	1	-4/+3
\|
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-3/+3
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-66/+19
\|
*	Presentation changes.	Alex Auvolat	2014-06-18	1	-15/+26
\|
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-18/+48
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-13/+14
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-8/+9
\|
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-17/+49
\|
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-9/+17
\|
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-2/+127
\|
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-0/+14