index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
abstract
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add support for octagons.
Alex Auvolat
2014-07-22
2
-7
/
+147
*
Clean up & comment a bit.
Alex Auvolat
2014-07-15
15
-128
/
+242
*
Try (and fail) to make heuristic any good.
Alex Auvolat
2014-07-15
1
-4
/
+18
*
DOES NOT WORK AT ALL
Alex Auvolat
2014-07-11
1
-135
/
+142
*
Acceptable heuristic.
Alex Auvolat
2014-07-11
6
-63
/
+159
*
Add heuristic...
Alex Auvolat
2014-07-10
3
-41
/
+116
*
DP locations defined by abstract values and not by formula.
Alex Auvolat
2014-07-10
2
-92
/
+107
*
Fix a few things, this doesn't work well.
Alex Auvolat
2014-07-10
3
-57
/
+81
*
Now it's starting to work...
Alex Auvolat
2014-07-09
2
-42
/
+213
*
Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!
Alex Auvolat
2014-07-09
5
-47
/
+433
*
Minor optimisation in ordering strategy.
Alex Auvolat
2014-07-09
1
-2
/
+2
*
Add simplification pass && better heuristic for BDDs based on ternaries.
Alex Auvolat
2014-07-09
4
-14
/
+96
*
Correct some bugs on clocks.
Alex Auvolat
2014-07-08
3
-30
/
+52
*
Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)
Alex Auvolat
2014-07-08
4
-61
/
+142
*
Cleanup.
Alex Auvolat
2014-07-08
4
-241
/
+292
*
Revert that. We have two different domain kinds for enums, that's all.
Alex Auvolat
2014-07-08
1
-65
/
+67
*
Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...)
Alex Auvolat
2014-07-08
2
-71
/
+109
*
Implement stand-alone EDDs
Alex Auvolat
2014-07-08
3
-232
/
+371
*
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
2
-99
/
+111
*
New example ; minor fixes.
Alex Auvolat
2014-07-04
2
-5
/
+12
*
First implementation of resetting transitions.
Alex Auvolat
2014-07-04
2
-27
/
+80
*
Use LAST instead of NEXT (only EDD implementation works at the moment)
Alex Auvolat
2014-07-04
4
-154
/
+164
*
Simplifications && preparation for restart.
Alex Auvolat
2014-07-04
1
-8
/
+14
*
Changes to parser ; EDD optimisations ; test cases.
Alex Auvolat
2014-07-03
1
-71
/
+80
*
New algorithm for variable ordering based on FORCE.
Alex Auvolat
2014-07-03
1
-8
/
+85
*
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
2
-75
/
+90
*
More verbosity ; adapt rfollow so that it can be proved
Alex Auvolat
2014-07-02
3
-3
/
+15
*
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
6
-74
/
+104
*
Not much : find acceptably good ordering for variables.
Alex Auvolat
2014-07-01
1
-55
/
+28
*
Finish up EDDs
Alex Auvolat
2014-07-01
1
-43
/
+98
*
Implement chaotic iterations on EDDs. Global widening is missing.
Alex Auvolat
2014-06-30
1
-109
/
+329
*
Reached interesting point in BDD implementation.
Alex Auvolat
2014-06-30
4
-109
/
+119
*
More work on EDDs.
Alex Auvolat
2014-06-27
2
-155
/
+318
*
Minor corrections.
Alex Auvolat
2014-06-26
2
-0
/
+10
*
Many things, sorry for the mess.
Alex Auvolat
2014-06-26
3
-179
/
+579
*
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
2
-4
/
+504
*
Differentiate pre witin different scopes.
Alex Auvolat
2014-06-25
1
-0
/
+2
*
Add command line option : verbose chaotic iterations.
Alex Auvolat
2014-06-25
1
-12
/
+17
*
Implementation of disjunction domain seems to work.
Alex Auvolat
2014-06-24
8
-531
/
+590
*
Not much. Still does not work very well.
Alex Auvolat
2014-06-20
6
-59
/
+56
*
Everything proved !!
Alex Auvolat
2014-06-19
3
-41
/
+88
*
Actually, it works.
Alex Auvolat
2014-06-19
2
-8
/
+21
*
Very buggy disjunction domain !
Alex Auvolat
2014-06-19
5
-49
/
+363
*
Did most of the boring stuff. Now, work on the abstract domain.
Alex Auvolat
2014-06-19
5
-106
/
+187
*
Isolate numerical part of domain. Next: isolate numerical part of equations.
Alex Auvolat
2014-06-19
7
-51
/
+124
*
Do some typing ; support multiple pre in abstract interpretation.
Alex Auvolat
2014-06-19
2
-92
/
+51
[next]