scade-analyzer.git - Analyse statique de SCADE

	Commit message (Collapse)	Author	Age	Files	Lines
*	Everything proved !!	Alex Auvolat	2014-06-19	4	-42/+104
\|
*	Actually, it works.	Alex Auvolat	2014-06-19	3	-9/+22
\|
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	8	-72/+418
\|
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	11	-109/+209
\|
*	Isolate numerical part of domain. Next: isolate numerical part of equations.	Alex Auvolat	2014-06-19	9	-58/+140
\|
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	9	-126/+270
\|
*	Presentation changes.	Alex Auvolat	2014-06-18	1	-15/+26
\|
*	Nice view of guarantees ; add half test, proved.	Alex Auvolat	2014-06-18	11	-44/+180
\|
*	Retab	Alex Auvolat	2014-06-18	2	-44/+50
\|
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	13	-89/+201
\|
*	Abstract interpretation gives good results on the limiter example.	Alex Auvolat	2014-06-18	8	-61/+58
\|
*	Pretty printing.	Alex Auvolat	2014-06-18	9	-67/+148
\|
*	Add intervals domain ; some interesting analysis works.	Alex Auvolat	2014-06-18	8	-18/+438
\|
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	11	-30/+205
\|
*	Add bindings to apron. Next : work on abstract interpret.	Alex Auvolat	2014-06-17	9	-59/+242
\|
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	10	-31/+418
\|
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	7	-49/+123
\|
*	Implement automata and activate blocks in interpret.	Alex Auvolat	2014-06-16	4	-126/+232
\|
*	Add fail updown test (using pre instead of last).	Alex Auvolat	2014-06-13	3	-1/+55
\|
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	11	-152/+566
\|
*	Move a lot of things.	Alex Auvolat	2014-06-13	44	-153/+521
\|
*	Parse activate blocks.	Alex Auvolat	2014-06-13	7	-96/+203
\|
*	Nothing.	Alex Auvolat	2014-06-12	2	-5/+5
\|
*	Implement instances (that was easy!)	Alex Auvolat	2014-06-12	1	-10/+15
\|
*	Adopt same output format as test.c	Alex Auvolat	2014-06-12	2	-16/+39
\|
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	19	-74/+533
\|
*	Add some tests	Alex Auvolat	2014-06-12	16	-1/+248
\|
*	Parse type groups.	Alex Auvolat	2014-06-11	4	-10/+28
\|
*	Make code cleaner	Alex Auvolat	2014-06-11	8	-1913/+283
\|
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	14	-0/+3492