dehnert
|
f73342c56a
|
Corrected color output in dot export of models. Fixed minimumOperator stack in SparseMdpPrctlModelChecker a bit, but this needs some further work.
|
12 years ago |
PBerger
|
c0b454d8b0
|
Removed debugging output from GmmxxMdpPrctlModelCheckerTest.cpp
Former-commit-id: a734213a25
|
12 years ago |
|
PBerger
|
4212858013
|
Fixed a few Rebasing Issues.
Former-commit-id: 288b4d0e82
|
12 years ago |
|
PBerger
|
bf5de84ab9
|
Refactored the parsing and lineFeeding handling.
Former-commit-id: 5f46c55c22
|
12 years ago |
|
PBerger
|
2a6ca6b92f
|
Fixed a dimension bug in the labeling Parser
Former-commit-id: 40f961cd6d
|
12 years ago |
|
PBerger
|
484c4e8151
|
Added more debugging output into the MDP Model
Former-commit-id: 5c2d29f80b
|
12 years ago |
|
PBerger
|
c1afe65d5c
|
Fixed an initializer-list ordering
Former-commit-id: c54559eac0
|
12 years ago |
|
PBerger
|
0f7e2835e3
|
Added an assignment constructor to the SparseMatrix.h
Now fixed this "constructor" to be a real operator and compile.
Former-commit-id: 83fe702ab3
|
12 years ago |
|
PBerger
|
0051aec174
|
Added an assignment constructor to the SparseMatrix.h
Former-commit-id: 8de6a61190
|
12 years ago |
|
PBerger
|
767680537e
|
Added missing namespaces to Parser functions
Former-commit-id: ac193ecc12
|
12 years ago |
|
PBerger
|
fb3209dfc3
|
Added missing template parameters in the abstract models
Former-commit-id: 05a07d1c59
|
12 years ago |
|
PBerger
|
22f00bc95e
|
Reordered elements of SparseMatrix.h
Former-commit-id: 4af800a607
|
12 years ago |
|
PBerger
|
83d0e7d6af
|
Refactored LineEndings Handling. Added missing default cases.
Former-commit-id: 1470c56780
|
12 years ago |
|
PBerger
|
1d2717c69a
|
Added Debugging output to GmmxxMdpPrctlModelCheckerTest.cpp
Former-commit-id: 969696b52f
|
12 years ago |
|
PBerger
|
78184f9537
|
Added a Hash Class in the Utility Namespace.
Added a function getHash() which returns a size_t to most of the used Models and Containers.
Former-commit-id: ed52aa3996
|
12 years ago |
|
PBerger
|
5be52118ba
|
Fixed issues with the refactored parser interface and move semantics
Former-commit-id: e92111749e
|
12 years ago |
|
PBerger
|
8a8a0c1ce8
|
Fixed a bug in the DeterministicModelParser.cpp, the wrong file was passed into the Parser
Former-commit-id: 633eb3fe91
|
12 years ago |
|
PBerger
|
2fc666892d
|
Added multi plattform new-line handling for parsers
Former-commit-id: f7df0996a7
|
12 years ago |
|
PBerger
|
d596f126b2
|
Fixed/added missing Copy Constructors for Models and the SparseMatrix
Former-commit-id: 730eaae49f
|
12 years ago |
|
PBerger
|
531293955a
|
Added std::move() calls in SparseMdpPrctlModelChecker.h
Former-commit-id: 7e60c037f8
|
12 years ago |
|
PBerger
|
6ef6b139c9
|
Fixed a missing control path in the ExplicitModelAdapter.cpp
Former-commit-id: db0dd838aa
|
12 years ago |
|
PBerger
|
b978a4d311
|
Added more move constructors.
Former-commit-id: 9770365fbb
|
12 years ago |
|
PBerger
|
89909fe8dc
|
Edited all Parsers to lose its class.
Modified many classes to provide a reference-constructor.
Fixed a few bugs in Tests.
Former-commit-id: c31fe95aae
|
12 years ago |
|
PBerger
|
e79a4abc3e
|
Added Windows MSVC2012 x64 Binaries for GTest
(cherry picked from commit 39cd7d56cd)
Former-commit-id: f2a82c1bad
|
12 years ago |
|
PBerger
|
750c829f7a
|
Fixed CUDD Project Setup.
Added Windows MSVC2012 x64 binaries for CUDD
Former-commit-id: 19fff9a770
|
12 years ago |
|
PBerger
|
7d82a44d53
|
Added Windows Binaries from VC2012 x64 to Repo. Will be cherry-picked back to master.
(cherry picked from commit 696cbb2d9e)
Former-commit-id: 257d2e6461
|
12 years ago |
|
PBerger
|
02d0f9e1ea
|
Added a Win64 Project for LTL2DStar
Edited same sources to compile in windows
|
12 years ago |
|
PBerger
|
7a758abd3b
|
Corrected syntax on Pointer-Sign position.
|
12 years ago |
|
PBerger
|
50f81e10db
|
Added override Keyword to visit() functions.
|
12 years ago |
|
PBerger
|
f4050e5b18
|
Edited Parsers, re factored interface into a single function without an encapsulating class. Warning, this is work in Progress and not yet compiling.
|
12 years ago |
|
PBerger
|
68c27f99ef
|
Mass-added Keyword "override"
|
12 years ago |
|
PBerger
|
405094f768
|
Refactoring on Parser, introduced new keyword "override"
|
12 years ago |
|
dehnert
|
e7601eb7b7
|
Included scheduler generation in model checking procedure for MDPs.
|
12 years ago |
|
dehnert
|
913bd173c3
|
Fix: local indices of variables are now treated correctly.
|
12 years ago |
|
dehnert
|
fabf662edd
|
Added dot output for both deterministic and nondeterministic models. Fixed iterator bug in sparse matrix.
|
12 years ago |
|
dehnert
|
4dadedf39d
|
Added methods to retrieve module index by variable name from IR. This fixes an issue in the symbolic adapter.
|
12 years ago |
|
dehnert
|
ac8e01a5fa
|
Merge branch 'master' into prismparser_refactorings
|
12 years ago |
|
dehnert
|
dd317bf6a4
|
Fixed issues with PRISM parser.
|
12 years ago |
|
dehnert
|
9505f553dd
|
Added copy-constructors for all IR classes. TODO: make tests run again...
|
12 years ago |
|
dehnert
|
23f25beb27
|
More fixes. Still TODO: copy constructors for IR classes.
|
12 years ago |
|
dehnert
|
a0ee0b46c7
|
Fixed minor bug.
|
12 years ago |
|
dehnert
|
7b8b1ebd4f
|
Further refactoring of IR classes.
|
12 years ago |
|
dehnert
|
e30c386f23
|
On my way of splitting header/source files in IR to make forward-declaration easy.
|
12 years ago |
|
dehnert
|
8abc703f6a
|
Further refactoring of IR and PRISM parser.
|
12 years ago |
|
dehnert
|
82430ca12d
|
Fixed dummy returns in VariableState.cpp.
|
12 years ago |
|
dehnert
|
22ddf9c5be
|
On my way of cleaning up Gereon's mess. :P
|
12 years ago |
|
dehnert
|
ab8585656c
|
Started to refactor PRISM parser.
|
12 years ago |
|
dehnert
|
bba72e452b
|
Fixed off-by-one for our matrix-vector multiplication.
|
12 years ago |
|
dehnert
|
16e1e2cedf
|
Fixed wrong dimension bug in MDP model checkers.
|
12 years ago |
Lanchid
|
81025757f8
|
Minor fix (Changed function name)
|
12 years ago |
