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

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'e1abc932a4'

${ noResults }

prism-accumulation/prism-tests/functionality

History

Dave Parker e1abc932a4 Convert LTSExplicit to LTSSimple. Rename the class to match those for other models stored in this way. And add some missing methods to make it usable as a normal model. Also tidy up the class a bit.		6 years ago
..
export	Change underlying mechanism for -exportvector (new "store" filter).	7 years ago
import	Explicit model import bugfix (when no .sta file is provided).	6 years ago
language	Consistently disallow infinite rates in CTMCs in symbolic/explicit engines.	6 years ago
testing	Refactor code for checking results in test mode.	6 years ago
verify	Improve accuracy of reference result in a few test cases.	6 years ago