dehnert
|
14724b529f
|
further debugging
|
7 years ago |
TimQu
|
bb63ac6089
|
Linear equation solver + game solvers now respect the environment as well
|
7 years ago |
|
dehnert
|
48dc03846e
|
extended partial bisimulation model checker by games as quotients
|
7 years ago |
|
TimQu
|
936293e318
|
Refactored GameSolver. It is now analogous to the MinMaxLinearEquationSolver.
|
8 years ago |
JK
|
e536851e53
|
Solver: provide information about solving method + number of iterations at INFO log level
|
8 years ago |
|
TimQu
|
3ece3317d5
|
template instantiation of game solver with rationals
|
8 years ago |
|
dehnert
|
f4146c821a
|
more value-reuse
|
8 years ago |
|
dehnert
|
bf5018b858
|
post-merge fixes
|
8 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
8 years ago |
|
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
8 years ago |
|
Sebastian Junges
|
3a7ee7867b
|
rename files (does not compile)
|
8 years ago |
PBerger
|
1985c708ea
|
Revert back to older version ae0e423a4e [formerly e3f9d7a533]
Former-commit-id: 9f72a10358
|
8 years ago |
|
PBerger
|
bd36c7a2e6
|
Finally, some progress.
Former-commit-id: 2eb5173abc
|
8 years ago |
|
dehnert
|
059f55eefc
|
commit to switch workplace, debugging in progress
Former-commit-id: 9ab5d903e9
|
8 years ago |
|
dehnert
|
a663a37e21
|
fixed a bug that prevented correct strategy generation in iterative solver
Former-commit-id: 1df15b439d
|
8 years ago |
|
dehnert
|
20f07bf291
|
added incremental strategy generation to symbolic game solver and removed some debug output
Former-commit-id: 96af928d00
|
8 years ago |
|
dehnert
|
f45b7f9171
|
fixed some bugs and started on quantitative refinement
Former-commit-id: 31259ad299
|
8 years ago |
|
dehnert
|
56b5b98a2c
|
towards strategy generation in game solver
Former-commit-id: fb582ba531
|
8 years ago |
|
dehnert
|
bde84d0073
|
fixed symbolic game solver wrt. illegal masks. numerical solving step in game-based model checker working, but no refinement yet.
Former-commit-id: 6189a1e538
|
8 years ago |
|
sjunges
|
1e1400d68d
|
merge
Former-commit-id: eb9efc4bb2
|
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
|
8bf0f3c87e
|
apparently, changing the DD interface implies some other changes as well...
Former-commit-id: c5cedc720f
|
9 years ago |
|
dehnert
|
4e86ef2e47
|
moved CUDD-based DD implementation to own folder
Former-commit-id: a828f92518
|
9 years ago |
|
dehnert
|
6a80348150
|
fixed issue related to row groups in sparse matrix and adapted the affected calling sites
Former-commit-id: 96c6fd7e59
|
9 years ago |
|
dehnert
|
e659dd8c4a
|
some work on sparse game solver
Former-commit-id: 74450365b3
|
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
|
9 years ago |
|
dehnert
|
4c35bc0f66
|
symbolic DTMC model checker working
Former-commit-id: d0913f7912
|
10 years ago |
|
dehnert
|
81c627b9b7
|
First version of fully symbolic game solver.
Former-commit-id: 34406f25b9
|
10 years ago |
