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

108 Commits (86bd5a5d7157bae64d6d15cb1186e97eae16c4ef)

Author SHA1 Message Date
Dave Parker 86bd5a5d71 Small bug fix: missing err msg in GUI simulator.
13 years ago
Dave Parker aa807d3ab3 Small improvements to usability of the GUI simulator transition table.
13 years ago
Dave Parker 7af19279f6 GUI bugfix: NPE.
14 years ago
Dave Parker 57259f67c1 Updated version of Path Plot dialog, including specification of max path length.
14 years ago
Dave Parker b80badd54c Shortcut for new path plot (Ctrl/Cmd-F8).
14 years ago
Dave Parker d528208cc7 Small GUI fixes: resets of warning counters.
14 years ago
Dave Parker e1e6267210 Move path plot thread to GUI to allow display of warnings/errors.
14 years ago
Dave Parker 2b85d7307d Tidy/fix double click detection in GUI simulator.
14 years ago
Dave Parker af37dc9864 Tidy/fix double click detection in GUI simulator.
14 years ago
Dave Parker d0bf75014f Improved "Path Plot Details" dialog.
14 years ago
Dave Parker d960bf8020 Better handling of errors in simulator calls from GUI.
14 years ago
Dave Parker 992c0864dc New/improved simulation path plotting functionality.
14 years ago
Dave Parker bdd579d85d New option in GUI simulator to plot path on a graph (all vars over time).
14 years ago
Dave Parker 178d3ca90e SimulatorEngine only builds TransitionList on demand.
14 years ago
Dave Parker 3afdc1b708 Bugfix: loading new path into simulator should select end state of path.
14 years ago
Dave Parker b3df07c192 Load model/prop labels when showing cex in GUI simulator.
14 years ago
Dave Parker 61a161b0ec Do not add loaded path properties to simulator (caused const evaluation bug found by Mateusz in PMC practical) and is not finished yet anyway.
15 years ago
Dave Parker 0b65c69a6b Added loadPath methods to SimulatorEngine and GUISimulator; not used currently.
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 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 a1e3b4e3e3 Re-factoring of GUI simulator code.
15 years ago
Dave Parker 10313b7d02 Improved handling of undefined constants in properties files:
15 years ago
Dave Parker d19167bf63 Bug fix: Column headings in GUI simulator for CTMCs (spotted by Dave Musliner).
15 years ago
Dave Parker 087ea5da6a General tidy up of initial state handling in simulator, including a few GUI bug fixes. GUI default is to use the default initial state. For generation of simulation paths, there is a separate menu item to start from a specified state (and no option to switch asking on/off). Additional tidying and documentation in related parts of code too.
15 years ago
Dave Parker 93526c953c More sensible column ordering in GUI simulator (action labels, time columns).
15 years ago
Dave Parker 37f9cf9325 Javadoc fixes.
16 years ago
Dave Parker db60e6487b Javadoc fixes.
16 years ago
Dave Parker fcf236acd3 Added (self-loop) deterministic loop detection to simulator.
16 years ago
Dave Parker 1a67f8997f Tweaks to GUI simulator transition table.
16 years ago
Dave Parker e8740e1950 Fixes, tidies in simulator.
16 years ago
Dave Parker c4a8bd19c4 Simulator code: tidy.
16 years ago
Dave Parker 763285cc4c More simulator additions/tidying.
16 years ago
Dave Parker 9ce9901d91 Further work on simulator.
16 years ago
Dave Parker bb2615b43b Further work on simulator.
16 years ago
Dave Parker c3ba43e358 Further work on simulator.
16 years ago
Dave Parker c28f11a31d Further improvements to the simulator.
16 years ago
Dave Parker b80a050e46 Further simulator improvements.
16 years ago
Dave Parker 55e52d5e22 Ongoing simulator improvements.
16 years ago
Dave Parker 794fc13bf5 Updates to simulator: engine + GUI.
16 years ago
Dave Parker b010ae3f92 Removed unnecessary double formatting code.
17 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
Dave Parker 828fe4f78c Shortcut keys for simulate/backtrack.
18 years ago
Dave Parker 84bc3d3d47 Eclipse tidy (remove unused imports).
18 years ago
Dave Parker 5d3d24bc17 Merged prism-parser branch (revs 577:659) into trunk.
18 years ago
Dave Parker 2d0ba5467a Typo.
18 years ago
Dave Parker b65fdc57db Tidy.
18 years ago
Dave Parker 9c3f256487 Pedantic (non-)capitalisations in GUI.
18 years ago