index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Revert that. We have two different domain kinds for enums, that's all.
Alex Auvolat
2014-07-08
2
-67
/
+69
*
Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...)
Alex Auvolat
2014-07-08
3
-73
/
+113
*
Implement stand-alone EDDs
Alex Auvolat
2014-07-08
5
-232
/
+372
*
Merge branch 'e-last'
Alex Auvolat
2014-07-04
14
-310
/
+405
|
\
|
*
Adapt non-EDD disjunction interpret to use two set of disjunction vars.
Alex Auvolat
2014-07-04
1
-20
/
+15
|
*
Adapt domain with non-EDD disjunctions ; it doesn't work very well !
Alex Auvolat
2014-07-04
3
-106
/
+121
|
*
New example ; minor fixes.
Alex Auvolat
2014-07-04
7
-12
/
+63
|
*
First implementation of resetting transitions.
Alex Auvolat
2014-07-04
5
-40
/
+83
|
*
Use LAST instead of NEXT (only EDD implementation works at the moment)
Alex Auvolat
2014-07-04
8
-173
/
+189
*
|
Add example counters.scade.
Alex Auvolat
2014-07-04
1
-0
/
+27
*
|
Warning for contradictory hypotheses was wrong.
Alex Auvolat
2014-07-04
1
-15
/
+13
|
/
*
Simplifications && preparation for restart.
Alex Auvolat
2014-07-04
4
-9
/
+35
*
Changes to parser ; EDD optimisations ; test cases.
Alex Auvolat
2014-07-03
8
-126
/
+2240
*
Add ABRO example ; correct interpret bug.
Alex Auvolat
2014-07-03
8
-7010
/
+205
*
Fix some tests.
Alex Auvolat
2014-07-03
5
-6
/
+37
*
New algorithm for variable ordering based on FORCE.
Alex Auvolat
2014-07-03
2
-8
/
+86
*
Add message when a step goes on BOT, ie. contradiction in assumes.
Alex Auvolat
2014-07-02
2
-25
/
+38
*
Fix non-termination issue in EDDs
Alex Auvolat
2014-07-02
3
-75
/
+130
*
More verbosity ; adapt rfollow so that it can be proved
Alex Auvolat
2014-07-02
5
-6
/
+23
*
Small changes in Graphwiz export : same vars at same level.
Alex Auvolat
2014-07-01
1
-0
/
+11
*
Adapt for real type with Apron ; not very efficient ATM.
Alex Auvolat
2014-07-01
17
-81
/
+8290
*
Not much : find acceptably good ordering for variables.
Alex Auvolat
2014-07-01
1
-55
/
+28
*
Finish up EDDs
Alex Auvolat
2014-07-01
4
-44
/
+110
*
Implement chaotic iterations on EDDs. Global widening is missing.
Alex Auvolat
2014-06-30
4
-112
/
+361
*
Reached interesting point in BDD implementation.
Alex Auvolat
2014-06-30
5
-111
/
+121
*
More work on EDDs.
Alex Auvolat
2014-06-27
3
-159
/
+321
*
Minor corrections.
Alex Auvolat
2014-06-26
4
-4
/
+14
*
Many things, sorry for the mess.
Alex Auvolat
2014-06-26
5
-206
/
+615
*
Implement a few things. Tomorrow: optimizations.
Alex Auvolat
2014-06-25
2
-51
/
+138
*
Begin implementation of EDD ; SCA implemented.
Alex Auvolat
2014-06-25
6
-26
/
+536
*
Differentiate pre witin different scopes.
Alex Auvolat
2014-06-25
2
-0
/
+3
*
Add command line option : verbose chaotic iterations.
Alex Auvolat
2014-06-25
2
-14
/
+28
*
Implementation of disjunction domain seems to work.
Alex Auvolat
2014-06-24
11
-547
/
+619
*
Not much. Still does not work very well.
Alex Auvolat
2014-06-20
11
-79
/
+160
*
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
[next]