dehnert
|
f9f5a4e206
|
reincluded tbb in gmm. fixed missing header. extended formula parser to return multiple formulas
Former-commit-id: a2849d6534
|
10 years ago |
|
dehnert
|
b94e978843
|
another round of fixes
Former-commit-id: 67f4e4be47
|
10 years ago |
|
dehnert
|
73a2491dfb
|
more bugfixes
Former-commit-id: 5afecd5a21
|
10 years ago |
|
dehnert
|
dbc7d860a4
|
functional tests compile again, started to debug changes
Former-commit-id: efef0e6487
|
10 years ago |
sjunges
|
5e428a795a
|
And more includes on the right spot.
Former-commit-id: 72bb348687
|
10 years ago |
|
dehnert
|
72cb30d6b0
|
started replacing ValueType template argument by model class in all instantiations
Former-commit-id: 197e3876a4
|
10 years ago |
|
sjunges
|
3c2040f4b7
|
Removed many superfluous includes, added some source files -- towards faster compilation
Former-commit-id: a575a97d40
|
10 years ago |
|
dehnert
|
c99a61307f
|
hybrid dtmc model checker can now also treat lra
Former-commit-id: 2db1d9a600
|
11 years ago |
|
dehnert
|
39abecbad3
|
added some tests for LRA in CTMCs
Former-commit-id: 3b847d542e
|
11 years ago |
David_Korzeniewski
|
d4f051c4f0
|
Fixed Windows build
Former-commit-id: 53c99736de
|
11 years ago |
|
dehnert
|
869f8c50c9
|
Fixed some minor CTMC-related bugs.
Former-commit-id: 3abb948542
|
11 years ago |
|
dehnert
|
be66ef2751
|
Finalized hybrid CTMC model checker.
Former-commit-id: c217e11b06
|
11 years ago |
|
dehnert
|
e1761fa774
|
Enabled hybrid CTMC model checker in cli. Further work on hybrid CTMC model checker (not yet working). Fixed some minor issues in sparse CTMC model checker.
Former-commit-id: f9c0f976e1
|
11 years ago |
|
dehnert
|
d787b80fec
|
CTMC examples now build properly using the DD-based model generator.
Former-commit-id: ac97b005e3
|
11 years ago |
|
dehnert
|
d545fac471
|
Restructured solvers a bit: they now get the matrix upon construction and the model checkers use factories to retrieve solvers.
Former-commit-id: 9c727f41f9
|
11 years ago |
|
dehnert
|
f8c867300b
|
Optimized time-bounded reachability of CTMCs a bit.
Former-commit-id: 6d53a36ae6
|
11 years ago |
|
dehnert
|
49bed497b0
|
Fixed a model building problem. Included checking of reward properties on CTMCs and wrote tests for it.
Former-commit-id: a137bd20ac
|
11 years ago |
|
dehnert
|
799cbce775
|
Added function tests for CTMC creation and time-bounded reachability.
Former-commit-id: e56f860a70
|
11 years ago |
