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: 6f77b585ec

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '6f77b585ec'

${ noResults }

HTTPS

 ZIP  TAR.GZ

Joachim Klein 6f77b585ec sparse.cc: fix build_nd_action_vector() result storage The generated action vector was stored in the 'actions' member of the NDSparseMatrix that was the last one that was built (remembered in the global ndsm pointer variable). Now, we store it in the 'actions' member of the mdp_ndsm that is passed in, as intended. This did not result in problems before because the call to build_nd_action_vector() was always immediately after the corresponding NDSparseMatrix was built.		7 years ago
cudd	cudd Makefile: recursive calls of make via $(MAKE)	8 years ago
prism	sparse.cc: fix build_nd_action_vector() result storage	7 years ago
prism-examples	Comment in dice model.	13 years ago
prism-tests	test cases: add a few more R=?[F], R=?[S], R=?[C] properties for CTMCs	8 years ago
.classpath	Eclipse config: copy .classpath up to root dir, following switch from svn to git.	8 years ago
.gitignore	Eclipse config: copy .classpath up to root dir, following switch from svn to git.	8 years ago
.travis.yml	Travis CI: Reactivate JDK10 as target	8 years ago
Makefile	Top level Makefile change: examples-distr merges into rather than replaces examples, if present.	10 years ago