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

1408 Commits (50fde990f6f56025c71692a45ff63064587a97d0)
 

Author SHA1 Message Date
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
Dave Parker e9518b6448 Added -exportprodtrans and -exportprodstates switches.
15 years ago
Dave Parker 4b4641678b Code tidy.
15 years ago
Dave Parker 0b65c69a6b Added loadPath methods to SimulatorEngine and GUISimulator; not used currently.
15 years ago
Dave Parker 2325bee04b CexPathAsBDDs supports PathFullInfo interface.
15 years ago
Dave Parker 40ed660f6a Extend PathFullInfo method to clarify what info is stored.
15 years ago
Dave Parker 2f5de7b714 GUISimulatorPathTableModel reads from new PathFullInfo interface.
15 years ago
Dave Parker 6706b44a3e Added PathFullInfo interface.
15 years ago
Dave Parker 1031845775 Bug fix in Distribution class (from Anvesh).
15 years ago
Dave Parker f274604e0b GUI bug fix (simulator). How did this ever work?
15 years ago
Dave Parker f3ae5d3b23 Refactoring/tidying/fixing GUISimulator.
15 years ago
Dave Parker 6196d0cdde Code doc.
15 years ago
Dave Parker 0e435b134a Move CTL cex class storage into new cex package.
15 years ago
Dave Parker a6ba42b5ad Detach simulator Path objects from SimulatorEngine (do not need).
15 years ago
Dave Parker 6b21b0543d Added ModelType.probabilityOrRate() method, used in simulator.
15 years ago
Dave Parker afa2d79305 Code tidy in GUI simulator: replace ==CTMC checks with isContinuousTime().
15 years ago
Dave Parker 72551d7248 Refactoring: detach GUI simulator path table from SimulatorEngine and attach to PathFull.
15 years ago
Dave Parker 919fba9061 Fix anti-aliasing in GUI simulator.
15 years ago
Dave Parker a1e3b4e3e3 Re-factoring of GUI simulator code.
15 years ago
Dave Parker 9dd562a6eb Small fixes in simulator wrt experiments (one part should have been commited earlier with undefined constants improvements).
15 years ago
Dave Parker b30c5ac74a Error message if user attempts to define a constant that is already defined.
15 years ago