index
:
scade-analyzer.git
master
Analyse statique de SCADE
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Commit message (
Expand
)
Author
Age
Files
Lines
*
The heater example is not a very good example...
Alex Auvolat
2014-07-30
6
-63
/
+10076
*
Plug into Apron Box domain for intervals.
Alex Auvolat
2014-07-24
2
-2
/
+2
*
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
1
-0
/
+53
*
DOES NOT WORK AT ALL
Alex Auvolat
2014-07-11
1
-2
/
+8
*
Acceptable heuristic.
Alex Auvolat
2014-07-11
1
-0
/
+19
*
Add heuristic...
Alex Auvolat
2014-07-10
1
-0
/
+16
*
Fix a few things, this doesn't work well.
Alex Auvolat
2014-07-10
2
-2
/
+2
*
Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!
Alex Auvolat
2014-07-09
1
-5
/
+7
*
Correct some bugs on clocks.
Alex Auvolat
2014-07-08
1
-0
/
+28
*
Implement stand-alone EDDs
Alex Auvolat
2014-07-08
1
-0
/
+0
*
Merge branch 'e-last'
Alex Auvolat
2014-07-04
3
-6
/
+17
|
\
|
*
New example ; minor fixes.
Alex Auvolat
2014-07-04
3
-6
/
+44
*
|
Add example counters.scade.
Alex Auvolat
2014-07-04
1
-0
/
+27
|
/
*
Changes to parser ; EDD optimisations ; test cases.
Alex Auvolat
2014-07-03
5
-1
/
+2128
*
Add ABRO example ; correct interpret bug.
Alex Auvolat
2014-07-03
5
-7001
/
+162
*
Fix some tests.
Alex Auvolat
2014-07-03
5
-6
/
+37
*
Fix non-termination issue in EDDs
Alex Auvolat
2014-07-02
1
-0
/
+40
*
More verbosity ; adapt rfollow so that it can be proved
Alex Auvolat
2014-07-02
1
-2
/
+4
*
Adapt for real type with Apron ; not very efficient ATM.
Alex Auvolat
2014-07-01
5
-1
/
+8152
*
Finish up EDDs
Alex Auvolat
2014-07-01
1
-1
/
+1
*
Reached interesting point in BDD implementation.
Alex Auvolat
2014-06-30
1
-2
/
+2
*
Not much. Still does not work very well.
Alex Auvolat
2014-06-20
2
-1
/
+77
*
Actually, it works.
Alex Auvolat
2014-06-19
1
-1
/
+1
*
Nice view of guarantees ; add half test, proved.
Alex Auvolat
2014-06-18
6
-2
/
+55
*
Add gilbreath suite ; booleans are not represented in a good way.
Alex Auvolat
2014-06-18
6
-26
/
+83
*
Abstract interpretation gives good results on the limiter example.
Alex Auvolat
2014-06-18
3
-26
/
+26
*
Pretty printing.
Alex Auvolat
2014-06-18
1
-1
/
+1
*
Implement automata and activate blocks in interpret.
Alex Auvolat
2014-06-16
3
-103
/
+115
*
Add fail updown test (using pre instead of last).
Alex Auvolat
2014-06-13
3
-1
/
+55
*
Move a lot of things.
Alex Auvolat
2014-06-13
32
-79
/
+313
*
Parse activate blocks.
Alex Auvolat
2014-06-13
1
-0
/
+26
*
Working prototype for an interpret ! But very messy.
Alex Auvolat
2014-06-12
10
-25
/
+54
*
Add some tests
Alex Auvolat
2014-06-12
15
-0
/
+242