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.

Branch: accumulation-v4.7

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'accumulation-v4.7'

${ noResults }

prism-accumulation/prism-tests/functionality/language

History

Dave Parker 7cb934427c Consistently disallow infinite rates in CTMCs in symbolic/explicit engines. This disallows infinite probabilities too, but these would have already been caught elsewhere because the distribution would not sum to one.		5 years ago
..
infinite-rates.prism	Consistently disallow infinite rates in CTMCs in symbolic/explicit engines.	5 years ago
infinite-rates.prism.props	Consistently disallow infinite rates in CTMCs in symbolic/explicit engines.	5 years ago
infinite-rates.prism.props.args	Consistently disallow infinite rates in CTMCs in symbolic/explicit engines.	5 years ago
infinite-rewards.prism	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
infinite-rewards.prism.props	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
infinite-rewards.prism.props.args	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
nan-rewards.prism	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
nan-rewards.prism.props	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
nan-rewards.prism.props.args	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
negative-rewards.prism	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
negative-rewards.prism.props	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
negative-rewards.prism.props.args	Consistent treatment of illegal rewards in symbolic/explicit engines.	5 years ago
system.sm	Move prism-tests into this repository and update Makefile "tests" target.	8 years ago
system.sm.exportmodel.auto	Move prism-tests into this repository and update Makefile "tests" target.	8 years ago
system.sm.sta	Move prism-tests into this repository and update Makefile "tests" target.	8 years ago
system.sm.tra	Move prism-tests into this repository and update Makefile "tests" target.	8 years ago