sjunges
|
d8191d8c6a
|
const formulae
Former-commit-id: 910d7ca539
|
9 years ago |
sjunges
|
1e1400d68d
|
merge
Former-commit-id: eb9efc4bb2
|
9 years ago |
dehnert
|
d0e15d1a4f
|
more work (and stuff, you know?)
Former-commit-id: ec9f6746b8
|
9 years ago |
dehnert
|
f8fc39870a
|
hybrid and symbolic model checkers working with sylvan
Former-commit-id: d01b92e328
|
9 years ago |
dehnert
|
7f75db2790
|
ADD iterator working for sylvan. enabled more tests for sylvan. symbolic Dtmc model checker now working.
Former-commit-id: b11b2f7476
|
9 years ago |
dehnert
|
19029cd905
|
functional tests compile and run again, yay!
Former-commit-id: 60d3ce16b9
|
9 years ago |
dehnert
|
f9f5a4e206
|
reincluded tbb in gmm. fixed missing header. extended formula parser to return multiple formulas
Former-commit-id: a2849d6534
|
9 years ago |
dehnert
|
b3178e17f6
|
more bug fixes
Former-commit-id: 0b33b30efa
|
9 years ago |
dehnert
|
73a2491dfb
|
more bugfixes
Former-commit-id: 5afecd5a21
|
9 years ago |
dehnert
|
dbc7d860a4
|
functional tests compile again, started to debug changes
Former-commit-id: efef0e6487
|
9 years ago |
sjunges
|
5e428a795a
|
And more includes on the right spot.
Former-commit-id: 72bb348687
|
9 years ago |
sjunges
|
3c2040f4b7
|
Removed many superfluous includes, added some source files -- towards faster compilation
Former-commit-id: a575a97d40
|
9 years ago |
dehnert
|
04f789619c
|
some work towards eliminating compiler warnings
Former-commit-id: d1eca470a4
|
10 years ago |
dehnert
|
4c35bc0f66
|
symbolic DTMC model checker working
Former-commit-id: d0913f7912
|
10 years ago |
David_Korzeniewski
|
d4f051c4f0
|
Fixed Windows build
Former-commit-id: 53c99736de
|
10 years ago |
dehnert
|
c1917ce6d9
|
Finalized hybrid DTMC model checker. It now passes its tests.
Former-commit-id: 99d79e1bc6
|
10 years ago |