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 eaed7b4233 Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
19 years ago
Dave Parker 683164b8c3 Removed unnecessary import statement (breaks under Java 6).
19 years ago
Mark Kattenbelt b587c24490 Added time-bounded backtracking. Does not work well when backtracking should be to the first state.
19 years ago
Dave Parker 1e0cbf5533 Missing Linux C++ #include.
19 years ago
Mark Kattenbelt 513081bb5f Added time-bound exploration option to the simulator. Needs make clean!
19 years ago
Mark Kattenbelt 550be3344d Made GUISimulatorUpdatesTable traversable with the Up and Down arrow keys when in focus, and also allows Enter to execute the update when in focus. Table has focus by default.
19 years ago
Mark Kattenbelt bb1155353e Redesign of GUISimulator interface.
19 years ago
Mark Kattenbelt eeea726580 Added an icon to the `make visible' and `make hidden' buttons in de view configuration dialog.
19 years ago
Mark Kattenbelt 5621b1bdb3 Added tooltips to the GUIGroupedTableHeader.
19 years ago
Mark Kattenbelt b274cf97eb Added tooltips to the cells of the GUISimulatorPathTable.
19 years ago
Mark Kattenbelt 6684d121be Removed System.out.println's
19 years ago
Mark Kattenbelt 2b308bfc17 Made a start of presenting doubles decently.
19 years ago
Mark Kattenbelt fbd754d91e Fixed removed preceding so cumulative time and cumulative rewards are recalculated. Don't forget to `make clean'.
19 years ago
Dave Parker ab301c47fd Code tidy in GUIMultiProperties.java.
19 years ago
Dave Parker d1bca01e7d Use reward structure name for experiment result name, i.e. Y-axis, where appropriate.
19 years ago
Dave Parker b9791ec2a8 Bugfix: incorrect output for Pmax=?[...{max}] properties.
19 years ago
Mark Kattenbelt 6f323a773d Changed the way in which the simulator table is rendered. Main change is the collapsing view of rewards.
19 years ago
Dave Parker c01f040361 Bugfix: Incorrect detection of unknown PRISM language functions.
19 years ago
Dave Parker f9a82c5846 Header file that should have been committed with rev 186 (although is auto-generated so not really a problem).
19 years ago
Dave Parker 12bf479f84 Bugfix (segfault) in simulator binary input.
19 years ago
Mark Kattenbelt ff6708e600 Added cumulative time to the front end of the simulator.
19 years ago
Mark Kattenbelt f57befa6b2 Small bugfix to simulator (for cumulative time).
19 years ago
Mark Kattenbelt 4b79591e88 Underlying code for cumulative time in simulator. Not used and not tested. Bound to break something.
19 years ago
Dave Parker 0701075054 Added .pp to filter for NEdit syntax highlighting file.
19 years ago
Dave Parker 5e1803c594 Improvements to GUI handling of constants/labels, especially w.r.t. error handling.
19 years ago
Dave Parker de860fce16 Bugfix: Property editor window handles closing event properly.
19 years ago
Dave Parker 9a56953fd5 Bugfix: Can now edit invalid properties in GUI.
19 years ago
Dave Parker a2fd0dd5b7 Addition of F (future) and G (global) operators to property specification language.
19 years ago
Mark Kattenbelt 40a683f80c Fixed small bug. Changed cumulative reward to include outgoign transition.
19 years ago
Mark Kattenbelt 0ab692970c Added cumulative rewards as a feature of the simulator.
19 years ago
Mark Kattenbelt c08cb36e70 Added `cumulative reward' information to the simulator engine (the c++ part), untested and not used... yet.
19 years ago
Mark Kattenbelt 5e00f01dc0 Small update to both the Java and C part of the simulator to facilitate the display of (instant) state rewards of the most current state.
19 years ago
Dave Parker a7874d4790 Cosmetic fix in parser Makefile.
19 years ago
Mark Kattenbelt 6ee7a77774 Some cosmetic changes to the reward display in the simulator.
19 years ago
Mark Kattenbelt ebfd8d8300 Undid the variables in quotes (in simulator columns) for more consistency with the model syntax, added a default label for defined constants in the information panel (being "None" if empty).
19 years ago
Mark Kattenbelt a9dba461b4 Another few bugfixes to the new reward display in the simulator. Different name for unnamed reward structures and normal names of both rewards and variables are in quotes.
19 years ago
Mark Kattenbelt ea69afa4d9 A couple of small bugfixes to the simulator table. Added tooltip, changed default unnamed reward column name, fixed initial grouped header update issue.
19 years ago
Mark Kattenbelt c0d899ebbd Updated the display of rewards in the simulator. State/transition rewards now only occupy one column, and are configurable in the view configuration dialog.
19 years ago
Dave Parker 1f95850869 Added functions to query number of state/transition reward items.
19 years ago
Dave Parker f858ba3fa9 Makefile: display of some important environment variables during "checks" target.
19 years ago
Mark Kattenbelt 79cdbd3252 Fixed a bug where if you use the simulator with a model with a subset of variables of the models you previously used the simulator with, then it doesn't have an obscure crash. (For instance going from phil4 to phil3).
19 years ago
Mark Kattenbelt 04ba71ec2b Added a multi-headered table in the simulator. Added this in a general way in userinterface.util.GUIGroupedTable
19 years ago
Dave Parker 69d14c44cc Filed some notes about the distributed version of the simulator.
19 years ago
Dave Parker 013b62f232 Default value of new properties file label in GUI is now "true" so adding a new label is less problematic.
19 years ago
Mark Kattenbelt e8f9369fd3 Fixed the layout issue with the top information panel in the simulator (the issue introduced in my previous commit).
19 years ago
Dave Parker 5064ae83f1 Synch with updates to README/VERSIONS/CHANGELOG made for 3.1.beta1 -> 3.1.
19 years ago
Dave Parker 25f5ef95e3 Removed "final" from Prism.version field (so that we can add suffixes etc. at code level, e.g. for branches).
19 years ago
Dave Parker ef0e885ff7 Bugfix in pepa/compiler Makefile.
19 years ago
Dave Parker 0cf56fb71b Makefile tweak: better source code distribution building.
19 years ago
Dave Parker d1eaf90569 New version number: 3.1.dev.
19 years ago