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

1669 Commits (d1e4de5fb3ba7369fc51884ce86c92b3e809e31a)
 

Author SHA1 Message Date
Dave Parker d1e4de5fb3 Make "rewards" option of simpath consistent with others.
14 years ago
Dave Parker 2a2bdf6220 Fixes in PathDisplayer classes.
14 years ago
Dave Parker 41ad029281 Default to "changes" in "plot path details" dialog.
14 years ago
Dave Parker 2b85d7307d Tidy/fix double click detection in GUI simulator.
14 years ago
Dave Parker af37dc9864 Tidy/fix double click detection in GUI simulator.
14 years ago
Dave Parker d0bf75014f Improved "Path Plot Details" dialog.
14 years ago
Dave Parker cadd9da282 GUI simulation path plotting handles non-integer variables.
14 years ago
Dave Parker f19c4238d3 Type conversion bug.
14 years ago
Dave Parker 5d37e99d57 Type tidying in castValueTo methods.
14 years ago
Dave Parker 1bd8b1c658 Remove un-needed code.
14 years ago
Dave Parker d960bf8020 Better handling of errors in simulator calls from GUI.
14 years ago
Dave Parker 992c0864dc New/improved simulation path plotting functionality.
14 years ago
Dave Parker 09f8b2b8d9 Utility array copy methods.
14 years ago
Dave Parker 8c88d62b6f Small tweak to firewire_abst model: unneeded invariant.
14 years ago
Dave Parker afd0696115 More (B)SCC computation for explicit engine.
14 years ago
Dave Parker 616ae77ff7 Explicit SCC computation returns BitSets.
14 years ago
Dave Parker 906052cb5b SCC computation using Tarjan for explicit engine (from Christian von Essen).
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
Dave Parker cf4798f961 Fix: undefined constants should be taken in the order they appear in the properties file (like they used to). And a small API tweak.
14 years ago
Dave Parker 94454a38c2 Errors/warning from sbml2prism go to stderr, not stdout where model goes.
14 years ago
Dave Parker 99d2139f55 Add getSuccessorsIterator to explicit Model interface.
14 years ago
Dave Parker e05cab0dab Static methods to create model checkers by type.
14 years ago
Dave Parker d60fcad479 Comment typo.
14 years ago
Dave Parker ad132e9f00 Explicit model exploration disallows empty (all zero) distributions. For now.
14 years ago
Dave Parker 9411d5f100 Typo in CHANGELOG.
14 years ago
Dave Parker b796a1045c Undo accidental part of last commit.
14 years ago
Dave Parker 614554325e Bug fix in output of path generated from simulation: last 2 times were duplicated.
14 years ago
Dave Parker b855754ae9 Set delay for intermittent num sol updates to 5 secs.
14 years ago
Dave Parker a955042131 Add intermittent progress updates to numerical solution (mtbdd engine).
14 years ago
Dave Parker 8c0f4f024d Fix for last commit.
14 years ago
Dave Parker 5cb3822798 Add intermittent progress updates to numerical solution (hybrid engine).
14 years ago
Dave Parker 7725e3b89c Add intermittent progress updates to numerical solution (sparse engine).
14 years ago
Dave Parker e0d5a61b78 New constructor in StateListMTBDD - needed in Lus code.
14 years ago
Dave Parker d2c78d948d Add -politer switch
14 years ago
Dave Parker 497ccbc033 Update README with new contact/people details.
14 years ago
Dave Parker f6d794c22c Reverse previous commit
14 years ago
Dave Parker d215bf2da0 Update README with new contact/people details.
14 years ago
Dave Parker 0988f0fe13 New swicth -exportdigital which only does model export once for digital clocks (-exportprism does it twice).
14 years ago
Dave Parker 653d0f0273 Fix: make sure files are closed when exporting PRISM models.
14 years ago
Dave Parker 178d3ca90e SimulatorEngine only builds TransitionList on demand.
14 years ago
Dave Parker 0ec5258066 Add -settings switch to load in a settings file from the command-line.
14 years ago
Dave Parker e841f4ff9e Default settings file ~/.prism is only read in by GUI, not command-line.
14 years ago
Dave Parker 6c8ce0b4b5 Bug fix: experiments not handled correctly in PrismCL when there is a model build failure (e.g. run N=0:4 where 0 causes failure due to empty variable range).
14 years ago
Dave Parker ab2d4d52c6 Bug fix: only process adversary if generated (explicit).
14 years ago
Dave Parker 57948820e1 Forward reachability output bug.
14 years ago
Dave Parker d3dd8a7ac1 Adapt some classes to use new ProgressDisplay.
14 years ago
Dave Parker 37560740cd Bugfixes in new ProgressDisplay.
14 years ago
Dave Parker 51b490911f Improved ProgressDisplay class.
14 years ago