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

126 Commits (30a98ac4d0ddae3d69913e3db0eb2af0b07ee9f9)

Author SHA1 Message Date
Joachim Klein 6dda865f04 Change prism.parseSingleExpressionString calls to static access
10 years ago
Joachim Klein 0cf8c8cbe0 GUI: Tweak double-click handling in property list
11 years ago
Joachim Klein 9ea440f147 GUI: In property editor dialog, place initial focus on the property text field
11 years ago
Joachim Klein 68e0a80b98 GUI computation threads: Catch more errors (e.g. CuddOutOfMemoryException) and use the new error(Exception) handling
11 years ago
Dave Parker 91d83d245b Tidying GUI code.
11 years ago
Dave Parker a42e4108ee More locale setting for outputting decimals in English.
11 years ago
Dave Parker 290fc34bea Add option (switch -exact from command-line) to enable exact model checking via parametric model checking.
12 years ago
Dave Parker acc8a65b4f Some preliminary code to add parametric model checking to GUI.
12 years ago
Dave Parker 02c26dbf53 Update simulator to allow path lengths over 2^31.
13 years ago
Dave Parker 63c53729fe Auto format
13 years ago
Dave Parker 6d32987de0 Additional graph zoom functionality on popup menu.
13 years ago
Dave Parker 9673f00c6a Miscellaneous code tidying + warning fixes.
13 years ago
Dave Parker 4d79945749 Export labels option for model/prop menus in GUI.
13 years ago
Vojtech Forejt 8aac321f5e Pareto points in GUI must be added in the right order to be shown
14 years ago
Dave Parker 3dfc147fc7 Fix GUI so that displayed property results (in results dialog, tooltips) respect new lines (e.g. for Pareto properties).
14 years ago
Dave Parker 01c8e4872d Pareto queries return actual point list (TileList), not void.
14 years ago
Dave Parker 4eba6c48f3 Code tidy
14 years ago
Dave Parker 9b5aae301f Patch in current version of multi-objective model checking (from prism-multi branch). Still need to copy across etc/ directory containing lpsolve libraries. Also contains a few JDD fixes via Christian von Essen.
14 years ago
Dave Parker 1ea340dbd2 Author/copyright info.
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 f412d3115e Graph chooser dialog defaults to last graph created for "existing graph".
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 681350864f Double click to zoom out in GUI graphs.
14 years ago
Dave Parker cf907acc07 GUI constant picker for graphs defaults to property constants first.
14 years ago
Vojtech Forejt e8b3a05a27 fixes ticket #10
14 years ago
Vojtech Forejt d4d4108886 fixes ticket #5
14 years ago
Dave Parker ead22700e8 New SimulatorEngine/Prism method prism.isPropertyOKForSimulation().
14 years ago
Dave Parker ce41611aa2 Enable viewing of witness/counterexample for E[F...] in GUI.
14 years ago
Dave Parker 53da7bccf1 Prism.modelCheck() takes Property rather than Expression objects, and thus displays property names when model checking.
14 years ago
Dave Parker 58c1803f32 Push some log output into Prism (+ autoformat).
14 years ago
Dave Parker 3ee7bb5651 Bugfix in recent changes to GUIExperiment.
14 years ago
Dave Parker 01c3826d8d Less exceptions thrown from ResultCollection error setting methods, with knock-on effect (cleaner code) in various calling sites.
14 years ago
Dave Parker 20150621ce Code tidy
14 years ago
Dave Parker 38e0844687 Tidy
14 years ago
Dave Parker 5dc9ab190a Change to modelCheck() call in API: don't pass constants, just get from PropertiesFile.
14 years ago
Dave Parker a218d09b2b * Continued major changes to PRISM API
14 years ago
Dave Parker 06ecdf6139 Copyright header updates
15 years ago
Dave Parker b870e550e7 Fixes/renames in property reference search code.
15 years ago
Dave Parker be53bceb72 Rename a few visitor classes
15 years ago
Dave Parker 4fc61415fb Display notification of warnings after computations in GUI.
15 years ago
Dave Parker 51807e044e Add -pf as a command-line switch alias for -pctl/-csl and add .props as a properties file extension (in GUI).
15 years ago
Dave Parker 8d1cd55711 Fixes/improvement/consistency for results export.
15 years ago
Dave Parker fd85a16363 Move GUI warning counter reset so it catches model build warnings too.
15 years ago
Dave Parker a221c4db56 Padding in property details dialog.
15 years ago
Dave Parker 6eb375c441 Added printSeparator method to PrismLog.
15 years ago
Dave Parker 1c86a3afa8 Small tidies and warning fixes.
15 years ago
Dave Parker 90c9e53f8c Tweak some warning messages (wrt new log.printWarning method) + add warning message functionality in GUI threads.
15 years ago