index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
frontend
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