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

389 Commits (dd810cadd304c39b2d85e53e7e689ccf71b97cd9)
 

Author SHA1 Message Date
Dave Parker 85a95f863b Herman missing for N=9.
18 years ago
Dave Parker 9845cb505e Tidied up dining cryptographers example.
18 years ago
Dave Parker 27e20077be Improvements to PRISM-latex export.
18 years ago
Gethin Norman c1be369096 molecules examples: fixed auto file
18 years ago
Gethin Norman dd80a64dbe molecules examples: fixed reward stuctures and properties
18 years ago
Dave Parker 1d9ffb62e4 Preprocessor in prism.css file.
18 years ago
Gethin Norman 6d2fb74969 updated herman (rewards)
18 years ago
Gethin Norman 1e48f16ab1 updated ij (labels)
18 years ago
Gethin Norman 21e9a3b9e6 updated beauqier (labels)
18 years ago
Dave Parker ef9ac49519 Syntax highlighter handles preprocessor code.
18 years ago
Dave Parker e8b96bbe1b Code tidy for font increase/decrease feature in GUI.
18 years ago
Dave Parker b629cd1541 Font increase/decrease feature in GUI.
18 years ago
Dave Parker 7446459574 More fixes for fussy compilers: return types in simulator cc code.
18 years ago
Dave Parker ae981d6711 More type fixes for fussy compilers: pow(2,...) to pow(2.0,...).
18 years ago
Mark Kattenbelt 60b7ae80d3 Changed icons and install script
18 years ago
Dave Parker 5988391c2e CHANGELOG
18 years ago
Dave Parker db117c74c4 Code tidy: some return types and int/double cast issues.
18 years ago
Dave Parker bef230088c Main Makefile CC/CPP options passed to CUDD Makefiles.
18 years ago
Dave Parker 0b7bc536f5 CHANGELOG
18 years ago
Dave Parker 2fcf7d48fc Shifted cumulative time/rewards in the path table; and changed some tooltips.
18 years ago
Mark Kattenbelt 08a8ad01cd Added warning message when manual exploration is attempted without being in the most recently explored state.
18 years ago
Mark Kattenbelt d4a1a55d20 Fixed graph name issue
18 years ago
Mark Kattenbelt 0b4aafb7ea Fixed accidental typo in previous fix
18 years ago
Mark Kattenbelt 420d744e43 Fixed NullPointer in GUISimulator.SimulationView
18 years ago
Dave Parker 065e88091b Button label in simulator.
18 years ago
Mark Kattenbelt 6f7a8aec11 Remembers simulation view settings such as render style and time settings accross models
18 years ago
Mark Kattenbelt ae1db7aed1 Path view remembered when model reloaded
18 years ago
Mark Kattenbelt a5cd6a4b56 Fixed bug where java 1.6 gave an exception when clicking on path table header.
18 years ago
Mark Kattenbelt bd9f448b89 Fixed bug where "backtrack to here" and "remove preceeding" where not disabled if the context menu popped up on the background
18 years ago
Mark Kattenbelt 01071fe1fc Added tooltips to simulator (non-trivial change, have to check the simulator table always comes up), removed test output, fixed group header tooltip bug.
18 years ago
Mark Kattenbelt 708f090ea5 Changed simulator to remember the view whenever possible
18 years ago
Mark Kattenbelt 2e34d9d86f Path style included in view configuration dialog. Options path style setting demoted to default option.
18 years ago
Mark Kattenbelt 20be482528 Left justified time in the path table
18 years ago
Dave Parker 25a37f2a9c GUI simulator displays labels from model file too.
18 years ago
Dave Parker 8277c5278a README file for etc directory.
18 years ago
Dave Parker 544b155c56 Code tidying for argument types in strict compilers.
18 years ago
Dave Parker 5ae5bea3dd Removed temporary diagnostic outputs.
18 years ago
Dave Parker 9b1eb4ebc5 CHANGELOG.
18 years ago
Dave Parker 828910e441 CHANGELOG.
18 years ago
Dave Parker 1caa2b52e1 Rabin: tidy up.
18 years ago
Dave Parker 2cc47c4ea6 Herman: tidy up + pp files.
18 years ago
Dave Parker a37a947fc5 Properties files can use model file formulas. Model files can contain labels.
18 years ago
Dave Parker b75a481807 Allow loading of partially (syntactically) correct properties files in GUI.
18 years ago
Dave Parker 5c1bb43a2f Code tidy (function return types).
18 years ago
Dave Parker 29a0a556b2 Negative image export size check.
18 years ago
Dave Parker 01316021e7 Bugfix: Bounded G and F operators in simulator.
18 years ago
Dave Parker 4df06fdc4b SBML translator now complains at anything but Level 1 files.
18 years ago
Dave Parker 162c575ecb Updated URLs in case study READMEs.
18 years ago
Dave Parker aa7a1ab94d Unneeded PCTL file.
18 years ago
Dave Parker ee82594803 Dining cryptographers example.
18 years ago