scade-analyzer.git - Analyse statique de SCADE

	Commit message (Expand)	Author	Age	Files	Lines
*	Clean up & comment a bit.	Alex Auvolat	2014-07-15	4	-36/+22
*	Correct some bugs on clocks.	Alex Auvolat	2014-07-08	1	-2/+9
*	New example ; minor fixes.	Alex Auvolat	2014-07-04	1	-0/+6
*	First implementation of resetting transitions.	Alex Auvolat	2014-07-04	3	-13/+3
*	Use LAST instead of NEXT (only EDD implementation works at the moment)	Alex Auvolat	2014-07-04	1	-17/+10
*	Simplifications && preparation for restart.	Alex Auvolat	2014-07-04	3	-1/+21
*	Changes to parser ; EDD optimisations ; test cases.	Alex Auvolat	2014-07-03	2	-54/+32
*	Add ABRO example ; correct interpret bug.	Alex Auvolat	2014-07-03	1	-0/+11
*	Adapt for real type with Apron ; not very efficient ATM.	Alex Auvolat	2014-07-01	5	-4/+19
*	Minor corrections.	Alex Auvolat	2014-06-26	1	-2/+2
*	Many things, sorry for the mess.	Alex Auvolat	2014-06-26	1	-23/+30
*	Begin implementation of EDD ; SCA implemented.	Alex Auvolat	2014-06-25	1	-8/+1
*	Differentiate pre witin different scopes.	Alex Auvolat	2014-06-25	1	-0/+1
*	Implementation of disjunction domain seems to work.	Alex Auvolat	2014-06-24	1	-5/+7
*	Not much. Still does not work very well.	Alex Auvolat	2014-06-20	2	-12/+9
*	Everything proved !!	Alex Auvolat	2014-06-19	1	-1/+16
*	Very buggy disjunction domain !	Alex Auvolat	2014-06-19	2	-23/+49
*	Did most of the boring stuff. Now, work on the abstract domain.	Alex Auvolat	2014-06-19	4	-3/+14
*	Do some typing ; support multiple pre in abstract interpretation.	Alex Auvolat	2014-06-19	4	-0/+367
*	Add gilbreath suite ; booleans are not represented in a good way.	Alex Auvolat	2014-06-18	1	-1/+1
*	Some abstract interpretation does something now.	Alex Auvolat	2014-06-17	3	-3/+3
*	Write transformation of program into logical formula.	Alex Auvolat	2014-06-17	1	-3/+3
*	Add AST for logical formula.	Alex Auvolat	2014-06-17	1	-1/+2
*	Begin of new interpret with more imperative concepts. Scope activation 'n stuff.	Alex Auvolat	2014-06-13	3	-29/+29
*	Move a lot of things.	Alex Auvolat	2014-06-13	5	-19/+19
*	Parse activate blocks.	Alex Auvolat	2014-06-13	4	-26/+71
*	Working prototype for an interpret ! But very messy.	Alex Auvolat	2014-06-12	4	-45/+110
*	Parse type groups.	Alex Auvolat	2014-06-11	3	-9/+20
*	Make code cleaner	Alex Auvolat	2014-06-11	7	-1906/+276
*	Initial commit: parser for tiny subset of SCADE language...	Alex Auvolat	2014-06-11	7	-0/+2207