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
|
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
|
ebe9ccbb15
|
some work on DD stuff
Former-commit-id: 50ca51d264
|
9 years ago |
|
dehnert
|
e43bdfaaaa
|
more work on the dd stuff *sigh*
Former-commit-id: df8e227336
|
9 years ago |
|
dehnert
|
19029cd905
|
functional tests compile and run again, yay!
Former-commit-id: 60d3ce16b9
|
9 years ago |
|
dehnert
|
4e86ef2e47
|
moved CUDD-based DD implementation to own folder
Former-commit-id: a828f92518
|
9 years ago |
|
sjunges
|
160f9e476f
|
test descr for milp perm sched
Former-commit-id: 54dfa2587e
|
9 years ago |
|
dehnert
|
de58c73c5a
|
forgot to commit some files
Former-commit-id: 74aaea662a
|
9 years ago |
|
dehnert
|
b3178e17f6
|
more bug fixes
Former-commit-id: 0b33b30efa
|
9 years ago |
|
sjunges
|
3c2040f4b7
|
Removed many superfluous includes, added some source files -- towards faster compilation
Former-commit-id: a575a97d40
|
9 years ago |
|
sjunges
|
a129983ae9
|
cleaning includes for better compilation times
Former-commit-id: e2878ae043
|
9 years ago |
|
sjunges
|
72784d752d
|
permissive schedulers - ongoing work
Former-commit-id: 0f637998c6
|
9 years ago |
|
dehnert
|
04f789619c
|
some work towards eliminating compiler warnings
Former-commit-id: d1eca470a4
|
9 years ago |
|
dehnert
|
c683934ea0
|
removed debug output and fixed bug
Former-commit-id: 0c33f61bbe
|
9 years ago |
|
dehnert
|
8985ad77cf
|
added first debug output to track down bug
Former-commit-id: ad333216c1
|
9 years ago |
|
dehnert
|
a4663ccfd3
|
added missing input file for tests
Former-commit-id: 7d1c7f8570
|
10 years ago |
|
dehnert
|
c1917ce6d9
|
Finalized hybrid DTMC model checker. It now passes its tests.
Former-commit-id: 99d79e1bc6
|
10 years ago |
|
dehnert
|
d787b80fec
|
CTMC examples now build properly using the DD-based model generator.
Former-commit-id: ac97b005e3
|
10 years ago |
|
dehnert
|
799cbce775
|
Added function tests for CTMC creation and time-bounded reachability.
Former-commit-id: e56f860a70
|
10 years ago |
|
dehnert
|
1a1906f811
|
Added functional tests for DD-based and sparse computation of states with prob 0 and 1.
Former-commit-id: a62c67c657
|
10 years ago |
|
dehnert
|
239caf57eb
|
Added symbolic models and made DD-based model generator build the correct instances.
Former-commit-id: c054401cfd
|
10 years ago |
|
dehnert
|
a1dae8849e
|
Reworked (sparse) model files: moved them into their own namespace and deleted some functionality that is never used and not that nicely implemented.
Former-commit-id: d4e6df30b5
|
10 years ago |
|
dehnert
|
3977cafe73
|
Extended DD-based model building to also build the MDP models of our benchmark suite. Added (MDP) tests for DD-based model building and explicit model building.
Former-commit-id: 4e18f98ee6
|
10 years ago |
|
dehnert
|
8c1870eb54
|
Intermediate commit.
Former-commit-id: e5f251718f
|
10 years ago |
|
dehnert
|
0f0baf61a4
|
Made DD-based model construction work for all DTMC benchmarks we have. Included tests for both DD-based and excplicit model generation from PRISM models.
Former-commit-id: e4af6d9f8a
|
10 years ago |
