s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3525 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: b148c57342
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'b148c57342'
${ noResults }
prism-accumulation/prism/src/userinterface
Joachim Klein 02d847c979
GUI: Support fractional constants in constant value picker for experiment 		9 years ago
..
graph Tidy some w3c imports; was causing compile issues in Eclipse+Java10. 8 years ago
log Tidying GUI code. 11 years ago
model Use exact evaluation of constant expressions in exact and parametric mode 8 years ago
properties GUI: Support fractional constants in constant value picker for experiment 8 years ago
simulator Use exact evaluation of constant expressions in exact and parametric mode 8 years ago
util Change prism.parseSingleExpressionString calls to static access 10 years ago
CheckBoxList.java Updated version of Path Plot dialog, including specification of variables. 14 years ago
GUIClipboard.java Ctrl -> Cmd in GUI on Macs. 15 years ago
GUIClipboardEvent.java Javadoc fixes. 16 years ago
GUIComputationThread.java Tweak CUDD out-of-memory error output in GUI. 11 years ago
GUIConstantsPicker.form PRISM trunk layout rearrangement. 21 years ago
GUIConstantsPicker.java Bug fix (again) - to compile on Java 7 (via some import tidying/fixes). 15 years ago
GUIFileMenu.java Ctrl -> Cmd in GUI on Macs. 15 years ago
GUIGeneralOptions.form PRISM trunk layout rearrangement. 21 years ago
GUIGeneralOptions.java Tidy some w3c imports; was causing compile issues in Eclipse+Java10. 8 years ago
GUINetwork.java Javadoc fixes. 16 years ago
GUINetworkOptions.form PRISM trunk layout rearrangement. 21 years ago
GUINetworkOptions.java Tidy some w3c imports; was causing compile issues in Eclipse+Java10. 8 years ago
GUIOptionsDialog.form Improvements/tidying to PRISM options and their descriptions. 19 years ago
GUIOptionsDialog.java GUI, settings dialog: larger preferred width 9 years ago
GUIPlugin.java Tidying GUI code. 11 years ago
GUIPrism.java Remove unused "techLog" from Prism object and other classes. 11 years ago
GUIPrismOptionsPanel.form PRISM trunk layout rearrangement. 21 years ago
GUIPrismSplash.java Replaced calls to system class loader with calls to parent class loader. Calls to system class loader 15 years ago
GUISimulationPicker.form.outofdate Addition of new statistical model checking stuff (patch difference between trunk and prism-statmc branch at this revision). 16 years ago
GUISimulationPicker.java Update simulator to allow path lengths over 2^31. 13 years ago
GUITaskBar.java Updated email addresses and affiliations in copyright info. 19 years ago
Makefile Makefiles: inhibit parallel building (-j n mode) 9 years ago
OptionsPanel.java Javadoc fixes. 16 years ago
SimulationInformation.java Update simulator to allow path lengths over 2^31. 13 years ago
package-info.java Improved documentation (JavaDoc mostly). 16 years ago