scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add support for octagons.	Alex Auvolat	2014-07-22	1	-3/+8
\|
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	1	-7/+4
\|
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	1	-19/+19
\|
*	Reached interesting point in BDD implementation.	Alex Auvolat	2014-06-30	1	-0/+3
\|
*	Implement a few things. Tomorrow: optimizations.	Alex Auvolat	2014-06-25	1	-15/+19
\|
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-14/+19
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-5/+1
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	1	-1/+1
\|
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-16/+5
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-3/+4
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-22/+18
\|
*	Pretty printing.	Alex Auvolat	2014-06-18	1	-13/+35
\|
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-0/+217