s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
1991 Commits
5 Branches
0 Tags
31 MiB
Tree: 0057407e16
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0057407e16'
${ noResults }
Commit Graph

12 Commits (0057407e1649ba9d7b97aa66e5faed06a3966525)

Author SHA1 Message Date
Dave Parker 4b3d54bd1c Convert a few more classes to PrismComponents.
13 years ago
Dave Parker 8bbda8f530 Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals).
15 years ago
Dave Parker c3bf60b341 Added some error checks on probabilities in PTAs.
15 years ago
Dave Parker 07098cca94 Fix: inter-module var access allowed for digitsal clocks.
15 years ago
Dave Parker c921d83884 PTA fix: clear memory after memout crash.
15 years ago
Dave Parker 66206e8905 Catch mem-out on PTA module explore.
16 years ago
Dave Parker 8b7990d6ab Better checks for convexity in (A-R) PTA model checking (again).
16 years ago
Dave Parker f2855a95f4 Better checks for convexity in (A-R) PTA model checking.
16 years ago
Dave Parker 16781169f7 PTA fix: labels/rewards in models do not cause crashes.
16 years ago
Dave Parker d48e088cdb PTA bug fixes: model labels, multiple properties.
16 years ago
Dave Parker 39150596a4 Semantic check for non-local variable access in PTAs.
16 years ago
Dave Parker d199d035ed Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago