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

1378 Commits (a19cd352f12257316a4d218c40697323de6475db)
 

Author SHA1 Message Date
Dave Parker a19cd352f1 Makefile dist_bin target automatically builds "all" too first.
14 years ago
Dave Parker 3a85f6e277 Make binary distribution names architecture-dependent (32 vs 64 bit).
14 years ago
Dave Parker aae6d1c39e Compile fix - oops.
14 years ago
Dave Parker 7f1b6beb4c Version num: 4.0.2
14 years ago
Dave Parker fadb7858ab CHANGELOG.
14 years ago
Dave Parker aca617849b Some optimisations for approximate model checking on models with deadlocks (could do other operators too).
14 years ago
Dave Parker f578bbb893 Approximate model checking ignores "max path length" setting when verifying time-bounded properties.
14 years ago
Dave Parker 905a57fcf3 Test commit
14 years ago
Dave Parker a41137906a Test commit
14 years ago
Dave Parker e6e29e6c7a Test commit
14 years ago
Dave Parker 1867f1e5e3 Small changes to reading in of init distributions (to align with new explicit version).
14 years ago
Dave Parker 755295f9b4 Explicit engine handles transient with imported init distribition.
14 years ago
Dave Parker c072eb0bd3 More methods in explicit StateValues.
14 years ago
Dave Parker 9707b6bf10 Added -exportstates for explicit engine.
14 years ago
Dave Parker 30c0c09569 Small fixes in explicit StateValues class.
14 years ago
Dave Parker 355032b5e3 Code tidy
14 years ago
Dave Parker 9ba97fe1fc Add MDPExplicit class to capture shared from MDPSimple/MDPSparse (also a few fixes to same thing done previously for DTMCs).
14 years ago
Dave Parker 6a046b4431 Tidy/improve passing of settings to explicit model checkers.
14 years ago
Dave Parker d54e92533c Another fix for adv gen in explicit engine: min probs should not be treated as for max probs.
14 years ago
Dave Parker e24ee33442 Bug fix in explicit MDPs: actions added as 0.0 instead of null.
14 years ago
Dave Parker 0bb97718c1 Adv gen for rewards in explicit engine (from prism-games).
14 years ago
Dave Parker 0debba1332 New JDD debugging code from Vojta (disabled by default).
14 years ago
Dave Parker f49ce60f1b Fixes in explicit MDP adversary generation (min case can give wrong answer).
14 years ago
Dave Parker 1076e70f9f Bug fix in explicit-state MDP adversary generation (MDPSparse).
14 years ago
Dave Parker 89580b450d Makefile bugfix: better alignment of CUDD and PRISM compile flags.
14 years ago
Dave Parker 76119e3a08 Fix bug in experiments (introduced in recent const improvements) (schoolboy error).
14 years ago
Dave Parker 995cdd3600 More printing options in StateValues (incl. state lists) + rest of filter stuff.
14 years ago
Dave Parker 5bfd9fdd59 Bug fix in filtered printing.
14 years ago
Dave Parker 3351288f3a StateValues has an associated model in explicit engine; improved printing.
14 years ago
Dave Parker c476f05eac Partial implementation of explicit print filter.
14 years ago
Dave Parker 22d46d0cbb More printing stuff in explicit StateValues.
14 years ago
Dave Parker 3204326ebc Improved explicit StateValues class.
14 years ago
Dave Parker 452f4f2338 More filters in explicit engine.
14 years ago
Dave Parker cce915767a More filters in explicit engine.
14 years ago
Dave Parker 34fc80f4b9 Partial implementation of filter for explicit engine.
14 years ago
Dave Parker 14025e109d Improvements to StateValues class + it's use in explicit model checking.
14 years ago
Dave Parker 58c6955d29 Handle bounded P/R operators in explicit engine.
14 years ago
Dave Parker 3e8f246006 Typos in javadoc comments.
15 years ago
Dave Parker 4cc990cdc4 Added some error detection in -aroptions settings.
15 years ago
Dave Parker 503d33a01c Bug fixes for loading zero-length paths into simulator.
15 years ago
Dave Parker 3d3108419b Bug fix (again) - to compile on Java 7 (via some import tidying/fixes).
15 years ago
Dave Parker 91fc16e4f9 Bug fix in PTA model checking (digital clocks): GCD of {0} is 1.
15 years ago
Dave Parker c5e417d292 Bugfix in MDPSparse: Copy constructors handle null (absent) action info.
15 years ago
Dave Parker a0403b1ec2 Bug fix - to compile on Java 7 (via some import tidying).
15 years ago
Dave Parker fd826a5d93 CHANGELOG.
15 years ago
Dave Parker bedfccb2ec Re-arrangement of explicit model classes:
15 years ago
Dave Parker 2e060281b8 Code tidy
15 years ago
Dave Parker 31c5f239e2 Fixed bug in LTL model checking introduced by last commit.
15 years ago
Dave Parker 4806f83088 CHANGELOG.
15 years ago
Dave Parker 4369027912 Fix in LTL model checking to ensure that product model (when exported) has correct initial states.
15 years ago