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
*
Update soutenance
HEAD
master
Alex AUVOLAT
2014-09-09
1
-188
/
+115
*
Copy prez
Alex AUVOLAT
2014-09-08
7
-71
/
+1038
*
Add an interesting document
Alex Auvolat
2014-07-31
1
-0
/
+0
*
Merge branch 'refactor'
Alex Auvolat
2014-07-31
7
-182
/
+357
|
\
|
*
Oops, forgot most important file !
Alex Auvolat
2014-07-31
1
-0
/
+221
|
*
Refactor some stuff (this code sould be re-read.)
Alex Auvolat
2014-07-30
6
-182
/
+136
*
|
Update Rapport de stage
Alex Auvolat
2014-07-31
1
-0
/
+0
|
/
*
Import Rapport de stage, probably not final version.
Alex Auvolat
2014-07-30
1
-0
/
+0
*
Implement selection of disjunction variables for EDDs.
Alex Auvolat
2014-07-30
4
-30
/
+66
*
The heater example is not a very good example...
Alex Auvolat
2014-07-30
9
-93
/
+10227
*
Experiment on dynamic partitionning (guarantee initial partition).
Alex Auvolat
2014-07-24
3
-98
/
+98
*
Plug into Apron Box domain for intervals.
Alex Auvolat
2014-07-24
7
-150
/
+280
*
Move README && add stuff ; add presentation.
Alex Auvolat
2014-07-23
9
-12
/
+1174
*
Add a few examples from KIND2 distribution.
Alex Auvolat
2014-07-23
3
-0
/
+1902
*
Correct mode.
Alex Auvolat
2014-07-22
1
-0
/
+0
*
Add support for octagons.
Alex Auvolat
2014-07-22
5
-21
/
+223
*
More doc : command lien options;
Alex Auvolat
2014-07-16
2
-22
/
+223
*
Many corrections.
Alex Auvolat
2014-07-16
2
-317
/
+369
*
Begin redaction of README.
Alex Auvolat
2014-07-15
2
-0
/
+1560
*
Clean up & comment a bit.
Alex Auvolat
2014-07-15
23
-474
/
+305
*
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
2
-137
/
+150
*
Acceptable heuristic.
Alex Auvolat
2014-07-11
7
-63
/
+178
*
Add heuristic...
Alex Auvolat
2014-07-10
5
-41
/
+133
*
DP locations defined by abstract values and not by formula.
Alex Auvolat
2014-07-10
4
-92
/
+121
*
Fix a few things, this doesn't work well.
Alex Auvolat
2014-07-10
6
-61
/
+107
*
Now it's starting to work...
Alex Auvolat
2014-07-09
3
-43
/
+221
*
Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!
Alex Auvolat
2014-07-09
8
-63
/
+475
*
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
5
-14
/
+97
*
Correct some bugs on clocks.
Alex Auvolat
2014-07-08
5
-32
/
+89
*
Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)
Alex Auvolat
2014-07-08
5
-63
/
+144
*
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
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
[next]