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

1829 Commits (4bffc418c4e6b91245902dd39a7f98c0ff20ac62)
 

Author SHA1 Message Date
Dave Parker 433c3a3414 Next operator for explicit model checker.
13 years ago
Dave Parker 4413259325 Explicit model checker can handle negated path operators like G.
13 years ago
Dave Parker 582ddb0e43 Error message typos.
13 years ago
Dave Parker 1b5dc955e6 Few extra methods in StateValues.
13 years ago
Dave Parker 6e2b0b789b DTMC S operator model checking for explicit engine.
13 years ago
Dave Parker fd53ce813c Refactor (symbolic) steady-state computation for S operator.
13 years ago
Dave Parker 5018559d3e DTMC steady-state computation for explicit engine.
13 years ago
Dave Parker 387fae41f4 Code comments
13 years ago
Dave Parker e0eca95da0 Refactor (symbolic) steady-state computation for S operator.
13 years ago
Dave Parker d71fde3538 Refactor (symbolic) steady-state computation.
13 years ago
Dave Parker 50201cfbf7 Refactor single-BSCC detection in (symbolic) steady-state computation.
13 years ago
Dave Parker 271f6af317 Temporary compile fix.
13 years ago
Dave Parker 4f09722850 Added IsContainedIn method to JDD.
14 years ago
Dave Parker 4fb0e557d9 More general fix replacing recent bugfix (rev 5568) for digital clocks timelocks from GUI.
14 years ago
Dave Parker 7940a7f271 Undo previous commit (not ready yet).
14 years ago
Dave Parker e5deabda0b Connect -importinitdist functionality for explicit engine (missing from rev 5545).
14 years ago
Dave Parker 275e1b8655 Bugfix: c-closure on empty zone breaks when max clock constraint constant is 0.
14 years ago
Mateusz Ujma d66142cf2d Fixed bug with not finding timelocks in Digital Clocks.
14 years ago
Mateusz Ujma ba03cc9671 Added comment
14 years ago
Dave Parker 9565022214 Fix: properties files passed to GUI forgotten about in case of model parse error.
14 years ago
Mateusz Ujma e48a274c55 Added loading properties from command line when using GUI
14 years ago
Mateusz Ujma 2983cde5b2 Changed JLabel to JTextField to be able to copy&paste current model/properties file name.
14 years ago
Dave Parker 739f83e2ba Revert to old behaviour where ss/tr probabilities exported to files do not show state indices (otherwise breaks -importinitdist).
14 years ago
Dave Parker ab831c8a6c Allow -importinitdist for steady-state (as well as transient).
14 years ago
Dave Parker 535a42be04 Refactor (forwards) steady-state computation in symbolic engines, partly for alignment with future corresponding code in explicit engine, partly to allow arbitrary initial distributions, as for transient.
14 years ago
Dave Parker ad294aa981 Added dot product method to symbolic StateValue classes.
14 years ago
Dave Parker 1915395882 Bugfix: small optimisation was never enabled during stead-state computation.
14 years ago
Dave Parker e0d68f8b74 Bug fix: PTA rewards on digital clocks: forgot to scale by GCD.
14 years ago
Dave Parker 0022e81b1b Parser handles invalid literals (too big etc.) + tidy up of parser error reporting code.
14 years ago
Dave Parker b2f33e44a7 Fixed "changed" setting in graph display of simulation paths.
14 years ago
Dave Parker 7af19279f6 GUI bugfix: NPE.
14 years ago
Dave Parker 4f2759fadb CHANGELOG.
14 years ago
Dave Parker 21eae01cfb GUI bug fix (crash caused by model tree not displaying clocks, spotted by pk123 on forum).
14 years ago
Dave Parker 57259f67c1 Updated version of Path Plot dialog, including specification of max path length.
14 years ago
Dave Parker 74717ecb9a Updated version of Path Plot dialog, including specification of variables.
14 years ago
Dave Parker b80badd54c Shortcut for new path plot (Ctrl/Cmd-F8).
14 years ago
Dave Parker 5131fb407f Some useful code (commented out) for getting variance etc. from simulation results.
14 years ago
Dave Parker 5486e68282 Check for duplicate ids/names in reactions-to-PRISM translation.
14 years ago
Dave Parker 0de837a4b8 Typo
14 years ago
Dave Parker 0245cf77b4 Bug fix: crash on invalid integer reward struct indices.
14 years ago
Dave Parker 19b18a0c3f Bugfix in approximate simulation: property error was causing null ptr.
14 years ago
Dave Parker d528208cc7 Small GUI fixes: resets of warning counters.
14 years ago
Dave Parker 6b55d95ebe Strip comments (commencing #) from reactions files.
14 years ago
Dave Parker 90b49c3e64 Strip comments (commencing #) from reactions files.
14 years ago
Dave Parker 8ff31815ca Reactions-to-PRISM checks parameter values for valid doubles.
14 years ago
Dave Parker 5b9bc87bec Reactions-to-PRISM checks parameter values for valid doubles.
14 years ago
Dave Parker f412d3115e Graph chooser dialog defaults to last graph created for "existing graph".
14 years ago
Dave Parker e1e6267210 Move path plot thread to GUI to allow display of warnings/errors.
14 years ago
Dave Parker 502b6f1281 Support for reversible reactions in reactions-to-PRISM converter.
14 years ago
Dave Parker 06d0fe3c25 First version of reactions-to-PRISM converter.
14 years ago