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: d871aca351

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'd871aca351'

${ noResults }

tempest/test

History

dehnert d871aca351 Renamed the backward transitions class to GraphTransitions and generalized it to be able to store the forward or backward graph structure of a given system.		13 years ago
..
eigen	Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang.	13 years ago
parser	Renamed and refactored atomic propositions labeling.	13 years ago
reward	Added reward_model with test	13 years ago
storage	Fixed wrong namespace for bit vector and square sparse matrix classes.	13 years ago
mrmc-tests.cpp	Changed logging format and minor formatting fix.	13 years ago