You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 02cb1a2418

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '02cb1a2418'

${ noResults }

tempest/src

History

PBerger 02cb1a2418 Replaced all calls to Matrix->toEigenSparseMatrix with calls to the adapter.		12 years ago
..
adapters	Merge branch 'master' of https://sselab.de/lab9/private/git/storm	12 years ago
exceptions	Fixed bug in parser that inserted 0-entries on the diagonal at the wrong places. Enabled link-time-optimizations for Release-Build when using clang. Fixed bug in base exception: what() returned a pointer to a char array belonging to a local variable, which got deallocated and thus invalidates the char array content.	12 years ago
formula	Made changes to all files that use the Sparse Matrix, as the diagonal entries are now included in the main storage. This refs #34	12 years ago
modelChecker	Replaced all calls to Matrix->toEigenSparseMatrix with calls to the adapter.	12 years ago
models	fixed valgrind errors	12 years ago
parser	Bugfix for correctly counting the number of values the parser inserts.	12 years ago
reward	Renaming MRMC to STORM, see #42	12 years ago
solver	Initial version of reward model checking for DTMCs. Added two convenience operators to PCTL (Eventually and Globally) and added missing reward formulas.	12 years ago
storage	Added a test to verify the RowSum Function in the Sparse Matrix.	12 years ago
utility	Fixed memory leaks involving Settings class	12 years ago
vector	Added Mdp Class, Parser and support in the AutoParser.	12 years ago
storm.cpp	Added output functionality to bit vector and moved test-checking lines in storm.cpp to the right place.	12 years ago