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

1964 Commits (9c0273f878d70d166229c59c290394f27ecf5e7f)

Author SHA1 Message Date
Dave Parker 0057407e16 CHANGELOG.
13 years ago
Dave Parker 39f12fefe2 Refactoring in explicit EC computation (but MDP model checking stil not working).
13 years ago
Dave Parker 389e2ba1d3 Some tidying/refactoring of symbolic MEC generation.
13 years ago
Dave Parker c46611cc94 Refactor symbolic LTL code.
13 years ago
Dave Parker 982d1fa0a5 Refactor symbolic LTL code.
13 years ago
Dave Parker 32f908e4b3 Refactor symbolic LTL code.
13 years ago
Dave Parker 3032a04819 Refactor symbolic LTL code: pull out some MEC stuff.
13 years ago
Dave Parker 4b3d54bd1c Convert a few more classes to PrismComponents.
13 years ago
Dave Parker bce5d3f3be MDP-LTL model checking for explicit (still needs fixing) + correction to DTMC-DRA product construction.
13 years ago
Dave Parker 94de47ee4a Fix for bug introduced in earlier commit removing offsets from Prism settings.
13 years ago
Dave Parker 772e119cd1 Unneeded stuff in strat Makefile.
13 years ago
Dave Parker 54b9aea80b Tidy up of symbolic/explicit SCC/EC computer classes, incl. integration of PrismComponent interface + knock-on effects.
13 years ago
Dave Parker 3570b3e9bd Promote sumRoundOff setting in Prism to a proper option (for easier access from ECComputers).
13 years ago
Dave Parker 52203a9697 Remove pesky +/-1 offsets in Prism.java needed for choice settings in PrismSettings.
13 years ago
Dave Parker 3e2efc21e9 New PrismComponent class: refactoring for various model checking components.
13 years ago
Dave Parker c82d9e7de7 Tidy up of parametric/FAU settings to match rest of PRISM
13 years ago
Dave Parker 6c7df8d3ed Missing part of last commit
13 years ago
Dave Parker 2837f71036 First (partial) connection of sparse adversary generation to Strategy classes and -exportstrat.
13 years ago
Dave Parker 7454f81abe Update comments
13 years ago
Dave Parker a185e6cba9 Missing file from last commit.
13 years ago
Dave Parker cc15e6c010 Add integer vector storage class to dv package.
13 years ago
Dave Parker 5f4b6b5c65 Remove old unneeded code.
13 years ago
Mateusz Ujma 919319704b Fixed bugs in MEC computation
13 years ago
Mateusz Ujma 710d5b15b5 Added class for handling sub-models of NondetModel's
13 years ago
Mateusz Ujma d45b177dc8 Added transitionIterator to the NondetModel interface
13 years ago
Dave Parker 7e27932a68 Missing file from previous commits.
13 years ago
Dave Parker 4c23a25e45 Comments + minor refactoring.
13 years ago
Dave Parker 0393cbb9d0 Remove unneeded method in DTMCSimple.
13 years ago
Dave Parker 2b6a966076 DRA-DTMC product code works for any type of DTMC, not just DTMCSimple.
13 years ago
Dave Parker 54da61cc0d Code comments
13 years ago
Dave Parker b9907fb88f Remove some diag output.
13 years ago
Dave Parker 115953fd5e Optimise DRA-DTMC product construction.
13 years ago
Dave Parker 1de1b052c6 Bug fix: Transitions counted incorrectly in DTMCSimplle.
13 years ago
Dave Parker 11e0bf3d60 Small fixes and output changes to DTMC-LTL m/c.
13 years ago
Dave Parker dab2d64808 Clarifications in comments.
13 years ago
Dave Parker d3ac56dc67 Clarifications in comments.
13 years ago
Dave Parker 20545b0008 Minor tweaks to new DTMC-LTL code.
13 years ago
Dave Parker a42526551c Code/comment tidy.
13 years ago
Dave Parker b19e29248e Code/comment tidy.
13 years ago
Dave Parker 67476e300f Minor tweaks to new DTMC-LTL code.
13 years ago
Dave Parker 9e52b90863 Patch in DTMC-LTL model checking for explicit engine (from prism-games-bruni).
13 years ago
Dave Parker 35fa9a80e5 Code tidy: imports.
13 years ago
Dave Parker 026359ea2f Undo last commit
13 years ago
Dave Parker 2c5a9de4f8 Code tidy: imports.
13 years ago
Dave Parker 4acdf94c62 Fix: settings omitted in inheritSettings in ProbModelChecker.
13 years ago
Dave Parker cda9509028 Update ECComputer code to latest version of EC code from LTLModelChecker (Mateusz found bugs in old version).
13 years ago
Mateusz Ujma e5d4d3dc3d MEC implementation
13 years ago
Dave Parker 5c9c158b97 Code tidy
13 years ago
Dave Parker f77d83f004 Connect up explicit MEC generation to -exportmecs switch (even though not implemented yet).
13 years ago
Dave Parker 4fa071e3d0 Implement -exportbsccs for explicit engine.
13 years ago