index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
Files
Lines
*
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