index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
Files
Lines
*
Refactor some stuff (this code sould be re-read.)
Alex Auvolat
2014-07-30
1
-0
/
+1
*
Plug into Apron Box domain for intervals.
Alex Auvolat
2014-07-24
1
-1
/
+1
*
Add support for octagons.
Alex Auvolat
2014-07-22
1
-1
/
+1
*
Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!
Alex Auvolat
2014-07-09
1
-0
/
+1
*
Add simplification pass && better heuristic for BDDs based on ternaries.
Alex Auvolat
2014-07-09
1
-0
/
+1
*
Implement stand-alone EDDs
Alex Auvolat
2014-07-08
1
-0
/
+1
*
Add ABRO example ; correct interpret bug.
Alex Auvolat
2014-07-03
1
-1
/
+2
*
Implement chaotic iterations on EDDs. Global widening is missing.
Alex Auvolat
2014-06-30
1
-1
/
+1
*
Begin implementation of EDD ; SCA implemented.
Alex Auvolat
2014-06-25
1
-0
/
+1
*
Implementation of disjunction domain seems to work.
Alex Auvolat
2014-06-24
1
-1
/
+1
*
Isolate numerical part of domain. Next: isolate numerical part of equations.
Alex Auvolat
2014-06-19
1
-5
/
+10
*
Do some typing ; support multiple pre in abstract interpretation.
Alex Auvolat
2014-06-19
1
-2
/
+3
*
Add intervals domain ; some interesting analysis works.
Alex Auvolat
2014-06-18
1
-0
/
+2
*
Add bindings to apron. Next : work on abstract interpret.
Alex Auvolat
2014-06-17
1
-2
/
+4
*
Write transformation of program into logical formula.
Alex Auvolat
2014-06-17
1
-2
/
+3
*
Add AST for logical formula.
Alex Auvolat
2014-06-17
1
-4
/
+6
*
Begin of new interpret with more imperative concepts. Scope activation 'n stuff.
Alex Auvolat
2014-06-13
1
-2
/
+4
*
Move a lot of things.
Alex Auvolat
2014-06-13
1
-1
/
+2
*
Working prototype for an interpret ! But very messy.
Alex Auvolat
2014-06-12
1
-2
/
+4
*
Initial commit: parser for tiny subset of SCADE language...
Alex Auvolat
2014-06-11
1
-0
/
+21