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

3593 Commits (master)
 

Author SHA1 Message Date
Dave Parker a101d74da6 Added facility to compare version strings.
19 years ago
Dave Parker c4352519f1 PRISM settings file now used by command-line version too.
19 years ago
Mark Kattenbelt 89367a3602 Yet another file that failed to compile.
19 years ago
Mark Kattenbelt 17ba6ffdda Failed to compile due to JButtons being declared locally.
19 years ago
Dave Parker ec3897f306 Bugfix: splash screen remains if there is an error on load (non-existent model).
19 years ago
Dave Parker fbebb8b759 Removed $(shell find ...) commands from 2 Makefiles (problems on Windows).
19 years ago
Mark Kattenbelt ec9a000871 Changed the dialog boxes such that the "Okay" button is default when you press enter.
19 years ago
Mark Kattenbelt 29fd2e186e Adds a "new experiment" option to the menu of properties.
19 years ago
Mark Kattenbelt c54597bf69 Fixes a bug where ranges exclude the last value.
19 years ago
Dave Parker be7e01228b Removal of explicit lists of Java/C++ files from another Makefile.
19 years ago
Dave Parker 20a6be968b Removal of explicit lists of Java/C++ files from Makefiles (we are reliant on GNU make anyway).
19 years ago
Dave Parker a0426c08f4 Tidyup of graph XML input/output (part 2).
19 years ago
Dave Parker ce7d19aab3 Tidyup of graph XML input/output.
19 years ago
Dave Parker 3149f54d47 Removal of unused code.
19 years ago
Dave Parker 79d765eedb Removed redundant DTD file.
19 years ago
Dave Parker b4c642c886 Add filename to confirm overwrite file warning.
19 years ago
Dave Parker c3a8641e17 Code tidy of main options dialog (and removal of old XML stuff).
19 years ago
Dave Parker 9bf74d7e9a Makefile tweak: make dist uses subversion, not ~dxp.
19 years ago
Dave Parker fa5ca30332 GUI bug fix: graph plotting of infinite/NaN values.
19 years ago
Dave Parker d0a7b5005d (Hopefully) a fix for occasional freezing of GUI when plotting many quick results.
19 years ago
Dave Parker 01cdd3f0e1 Optimisation to CTMC transient probability computation for when time is zero.
19 years ago
Dave Parker abef7e9774 Tweaked file chooser so that it doesn't always start in bin on Windows.
19 years ago
Dave Parker f23bbe5508 Improved error checking for experiment constant values.
19 years ago
Dave Parker 92d9a06981 Language additions: doubles in exponential form (e.g. 1.4e-9) and unary minus operator.
20 years ago
Dave Parker aace5f0aed Added error message when experiment step value is too big.
20 years ago
Dave Parker c74d5641ad Removed some surplus output statements.
20 years ago
Dave Parker 3c35caeafb Bugfix to -simpath option.
20 years ago
Dave Parker 8a34673e81 Improvement to -simpath functionality (vars=... option).
20 years ago
Dave Parker 7afe2837b9 Added -simpath switch for generating random paths from command-line.
20 years ago
Dave Parker deba7db8f0 Small improvements to Matlab graph output format.
20 years ago
Dave Parker 1188cda273 Added option to disable steady-state detection for CTMC transient analysis.
20 years ago
Dave Parker 1ef887d4bd Update CHANGELOG.
20 years ago
Dave Parker 79abfc3972 Fixed small memory leak in JDD.cc.
20 years ago
Dave Parker e177915ca5 Fixed various dialogs so that they centre on their window parent.
20 years ago
Dave Parker 1b4036bc16 Major overhaul of rewards to allow multiple (named) reward structures.
20 years ago
Dave Parker 50d1d0f570 Bugfix in simulator trace export to file.
20 years ago
Dave Parker 060576d0e8 Makefile tweaks: improved detection of Java wrt symlinks.
20 years ago
Dave Parker 52c1294341 Removed restriction that type keyword must be first thing in model file.
20 years ago
Dave Parker 031c8968b1 Final changes for 3.0 release.
20 years ago
Dave Parker 963962da84 New README.txt (installation instructions now in manual).
20 years ago
Dave Parker b4662c9b51 Added PNG versions of icons.
20 years ago
Dave Parker de0ce73ec3 Bugfix: Evaluation of double-valued powers by the simulator.
20 years ago
Dave Parker e8923a97fe Optimisation for CSL S operator (skip reach probs when irrelevant).
20 years ago
Dave Parker bde546ea25 Added getLastUnif() to hybrid engine for querying uniformisation rate.
20 years ago
Dave Parker 7d7d06ef99 Bugfix: GUI option 'clear properties on model load' now respected.
20 years ago
Dave Parker cd73222bba Bug fix for explicit import when some variables have zero range.
20 years ago
Dave Parker 1b4ba985cd Makefile bugfix: dist_bin target.
20 years ago
Dave Parker 0bb111592d Add svn rev info to CHANGELOG.txt.
20 years ago
Dave Parker a4269331e4 Bugfix: Explicit casting from ExpressionTrue to Expression for fussy Java compilers.
20 years ago
Dave Parker f4917ae3ad Preparations for 3.0.beta1 release.
20 years ago