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
Mark Kattenbelt 9e87974ab1 A general clean up of GUISimulator.java. This includes: more sensible layouts, more meaningfull names, fewer components. More consistent bordering. And some minor features such as disabling the time field when the auto checkbox is ticked, and setting the textfields of the remove preceding and backtrack to buttons.
19 years ago
Dave Parker 56ebdf2f4e Makefile fix: CUDD_DIR variable not actually respected.
19 years ago
Dave Parker dcd035badd Removed subdirectories of classes directory from version control.
19 years ago
Dave Parker 12e66af452 Removed subdirectories of classes directory from version control.
19 years ago
Dave Parker 8c4f68075f Move images/dtds out of classes directory (is a pain in Eclipse).
19 years ago
Dave Parker 879caec698 Added wrapping to MultipleLineStringEditor, e.g. in graph title setting.
19 years ago
Dave Parker ae64d59ad7 Added wrapping to MultipleLineStringEditor, e.g. in graph title setting.
19 years ago
Mark Kattenbelt 0a038a0049 Very minor changes that tidy up the simulator code remotely but shouldn't won't break anything.
19 years ago
Dave Parker 5d68027b21 Set svn:ignore on . and bin.
19 years ago
Mark Kattenbelt 1799a67bfd Adds a new dialog which allows you to select visible and hidden variables for a simulation.
19 years ago
Mark Kattenbelt 57fffe890b Moved smallFind from notused to being used!
19 years ago
Mark Kattenbelt 3b0cc0e571 Changed the simulators table mechanism substantially. It is now easier to hide variables (and in future configure more options). It is now the PathTableModel who is responsible for this, making it a lot easier to add variables back to the view. Also added a couple of extra menu options to the pop-up menu.
19 years ago
Dave Parker 8b458ddfc0 Fixed bug: some MTBDD info sent to stdout, not log.
19 years ago
Dave Parker 7460297a7a Fixed various possible sources of round-off error when converting doubles to ints/longs (see previous revision).
19 years ago
Dave Parker 10a37b8277 Fixed very obscure MTBDD round-off bug.
19 years ago
Dave Parker 7e74ff9924 Added GetInfoString() and GetInfoBriefString() functions to JDD.
19 years ago
Dave Parker 0c287de8db Experiments table scrolls to bottom of list when adding a new experiment.
19 years ago
Dave Parker 6845512140 Removal of APMC code.
19 years ago
Dave Parker 1373c483ae Changed a dubious string constant to stop compiler warnings.
19 years ago
Dave Parker 8e1c5ec0d5 Bugfixes for new script file generation stuff (on Cygwin).
19 years ago
Dave Parker 6118ce60e9 New way of generating startup scripts (bin/prism, etc.).
19 years ago
Dave Parker 957c0b300e 'New experiment' dialog remembers state of 'Create graph' tickbox.
19 years ago
Dave Parker 98de9e0649 Changed Cygwin linking flag in Makefile.
19 years ago
Dave Parker 6a562a7714 Fixed building of Windows DLL to allow intra-library loading. Moved foxglynn.c/h to prism.c/h.
19 years ago
Dave Parker ebc9a32240 Added convenience function for double vector deallocation.
19 years ago
Mark Kattenbelt be7fe1aec8 Made small change to the simulator. Now you can double click the table with updates (i.e. enabled transitions) with the result of that the transition is taken.
19 years ago
Mark Kattenbelt d9993ade2c Fixed bug where the columns could not be hidden (of transitions in the simulator). Also added the feature that the popup menu also reacts on the table header and the surrounding JPanel. If this is the case backtracking is disabled.
19 years ago
Mark Kattenbelt df052b0d54 Fixed bug which did not let the GUIResultsTable resize.
19 years ago
Mark Kattenbelt c728f4fe5b Edited makefile to create Jar files which can be double-clicked. Also added a manifest.txt in the src directory which is required to realise this behaviour.
19 years ago
Mark Kattenbelt 683a4c53e7 Updated the copy/paste mechanism such that properties are actually put on the clipboard as objects (GUIClipboardProperties). This fixes some bugs with regards to copy/pasting properties.
19 years ago
Dave Parker 03bd972419 CHANGELOG update.
19 years ago
Dave Parker c84494bd37 Another Makefile tweak.
19 years ago
Dave Parker 7c232b8ce5 CHANGELOG/VERSIONS update.
19 years ago
Dave Parker c81206d993 Makefile typo.
19 years ago
Dave Parker 673c7897e2 Add tortoisesvn property to force log messages on commit.
19 years ago
Dave Parker b04b59d6ae Tidied up Herman's self-stabilisation example.
19 years ago
Dave Parker a2e4f2309a Improvements to NSIS installer.
19 years ago
Dave Parker 5144e75d66 Don't need non-Windows start scripts in Windows binary version.
19 years ago
Dave Parker c5715cb37d NSIS script and Makefile changes for Windows installer generation.
19 years ago
Dave Parker c002cbd19f Updated version info: 3.1.beta1.
19 years ago
Dave Parker 3ab126e503 prism -help info for -simpath switch.
19 years ago
Dave Parker 01c8546143 Bugfix: incorrect initial setting of graph y axis.
19 years ago
Dave Parker 835e668ab0 Fixed uniformisation-based methods to use epsilon/8 instead of epsilon.
19 years ago
Mark Kattenbelt e4cfeae25f git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@100 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago
Dave Parker 004e4f4a9d Fixed some enabling/disabling problems in GUI menu items.
19 years ago
Dave Parker 83152265f5 Changed handling of multiple reward structures so is 1-indexed from properties, etc.
19 years ago
Dave Parker 2832cf3a3d Bugfix: make sure GUI picks up settings on initialisation.
19 years ago
Dave Parker b4220c1c2e PRISM now updates settings file if newer version, updating some values if necessary.
19 years ago
Dave Parker 5198f94502 Added "new experiment" option to main menu.
19 years ago
Dave Parker ea8776eb40 Changed default auto-parameter for simulator to "approx".
19 years ago