scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add support for octagons.	Alex Auvolat	2014-07-22	1	-13/+22
\|
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	1	-2/+18
\|
*	DP locations defined by abstract values and not by formula.	Alex Auvolat	2014-07-10	1	-0/+9
\|
*	Fix a few things, this doesn't work well.	Alex Auvolat	2014-07-10	1	-2/+24
\|
*	Now it's starting to work...	Alex Auvolat	2014-07-09	1	-1/+8
\|
*	Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!	Alex Auvolat	2014-07-09	1	-11/+34
\|
*	Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)	Alex Auvolat	2014-07-08	1	-2/+2
\|
*	Revert that. We have two different domain kinds for enums, that's all.	Alex Auvolat	2014-07-08	1	-2/+2
\|
*	Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...)	Alex Auvolat	2014-07-08	1	-2/+4
\|
*	Adapt domain with non-EDD disjunctions ; it doesn't work very well !	Alex Auvolat	2014-07-04	1	-7/+10
\|
*	New example ; minor fixes.	Alex Auvolat	2014-07-04	1	-1/+1
\|
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-1/+6
\|
*	More verbosity ; adapt rfollow so that it can be proved	Alex Auvolat	2014-07-02	1	-1/+4
\|
*	Implement chaotic iterations on EDDs. Global widening is missing.	Alex Auvolat	2014-06-30	1	-2/+10
\|
*	More work on EDDs.	Alex Auvolat	2014-06-27	1	-4/+3
\|
*	Minor corrections.	Alex Auvolat	2014-06-26	1	-2/+2
\| \| \| \| \| \|	- Use correect clock scope in typing - De-activate multi-valuated domain for enumerate vars + var couples. - Add comment explaining why it doesn't work
*	Many things, sorry for the mess.	Alex Auvolat	2014-06-26	1	-4/+6
\| \| \| \| \| \| \| \| \| \|	- 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)
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-1/+8
\|
*	Add command line option : verbose chaotic iterations.	Alex Auvolat	2014-06-25	1	-2/+11
\|
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-10/+21
\|
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	1	-7/+18
\|
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	1	-2/+6
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	1	-3/+3
\|
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	1	-5/+5
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-2/+12
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	1	-1/+1
\|
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	1	-1/+2
\|
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	1	-6/+2
\|
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	1	-0/+2
\|
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-0/+6
\|
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	1	-38/+33
\|
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	1	-20/+26
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	1	-11/+14
\|
*	Nothing.	Alex Auvolat	2014-06-12	1	-1/+1
\|
*	Adopt same output format as test.c	Alex Auvolat	2014-06-12	1	-14/+37
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	1	-1/+25
\|
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	1	-0/+25