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: 2068bd31df

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '2068bd31df'

${ noResults }

tempest/src

History

dehnert 2068bd31df Fixed example files to have a decimal point instead of a comma.		12 years ago
..
exceptions	making settings more robust	13 years ago
formula	Fixed bugs in the Windows Part of the parser, refactored includes to meet Windows Requirements.	13 years ago
misc	(not much)	13 years ago
modelChecker	Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h.	13 years ago
models	Added graph search algorithms for determining the set of states that have no possibility of going to a non-target state. Enhanced bit vector class.	13 years ago
parser	porting LabParser and TraParser from c-style API to class API	12 years ago
reward	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
solver	Adding graph analyzer that is able to perform reachability searches in the state space.	12 years ago
storage	Fixed off-by-one error in sparse matrix. Now the tests do not produce a segfault any longer.	12 years ago
utility	porting LabParser and TraParser from c-style API to class API	12 years ago
mrmc.cpp	porting LabParser and TraParser from c-style API to class API	12 years ago