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

693 Commits (eafa913f05926b0e98772a86ee97d202d70596b2)

Author SHA1 Message Date
Luke Herbert cd94623574 In prism/Makefie
16 years ago
Luke Herbert 4b6c9290bd Modified xprism.bat so as not to pop up a console window when launching the GUI version of PRISM under windows. Tested on a Windows 7 system (this only affects windows).
16 years ago
Dave Parker 349db63940 Added PRISM keywords to ModelType.
16 years ago
Dave Parker 16781169f7 PTA fix: labels/rewards in models do not cause crashes.
16 years ago
Dave Parker 067e0aebc6 Icon location bugfix for Mac Dock.
16 years ago
Dave Parker 16231307d6 c-closure fixes for PTAs (was missing from new forwards recahability algorithm).
16 years ago
Dave Parker 84649289fb Better warning of deadlocks for PTAs.
16 years ago
Dave Parker bcd6110358 Simulator updates: fixed display of transitions in GUI, added (some) detection of deadlocks/self-loops. (And some tidying.)
16 years ago
Dave Parker fca4ce844e Code tidy (GUI).
16 years ago
Dave Parker 689de26611 Comments.
16 years ago
Dave Parker 98f5cce919 Comment out reference to PTAExpected code.
16 years ago
Dave Parker 1a67f8997f Tweaks to GUI simulator transition table.
16 years ago
Dave Parker 04b7b65a42 Simulator tidies.
16 years ago
Dave Parker 911268e6ea Simulator bug (overwrite old states when backtracking).
16 years ago
Dave Parker 967dcef326 Yet another fix for adversary generation: previous fix was only for max (prob or exp reach) so now split into 2 cases for min/max.
16 years ago
Dave Parker cd36ad544f Simulator updates, including local nondet (untested).
16 years ago
Dave Parker 3e49feef72 Comments
16 years ago
Dave Parker 92a23586ec Fixed adversary generation (definitely broken for (min) rewards, possibly others): change way store adversary indices. Fixes problem of Ashustosh.
16 years ago
Dave Parker 7e1c6ea235 Suppress printing of reward/action DD info by default.
16 years ago
Dave Parker e8740e1950 Fixes, tidies in simulator.
16 years ago
Dave Parker 4a8ea16a6c Fixes, tidies in simulator.
16 years ago
Dave Parker 84cf5db181 Fixes, tidies in simulator.
16 years ago
Dave Parker 97fddcb1b9 Remove preceding states added to simulator.
16 years ago
Dave Parker ddb279d4e0 Removed accidental parts of last commit.
16 years ago
Dave Parker 915edf43ba Option (current enabled) to use FORMATS10 style forwards reach, plus a few zone API tweaks.
16 years ago
Dave Parker f937eaf698 Better dot output for games in A-R loop.
16 years ago
Vojtech Forejt a385efdea6 %d to %ld (remaining files)
16 years ago
Vojtech Forejt 93f250b941 - changed %d to %ld where fox_glynn output is logged
16 years ago
Dave Parker b6b993f030 Improved Fox-Glynn for small numbers + int overflow bugfix (Vojta).
16 years ago
Dave Parker f0826d03e0 Bugfix in preproc due to PTA syntax checks.
16 years ago
Dave Parker bd0f1cb719 Explicit Prob1 bugfix.
16 years ago
Dave Parker c6a9de2db3 Bugfix: do not stop after exception in const evaluation when model built.
16 years ago
Dave Parker 45ada06a06 Comment fix.
16 years ago
Dave Parker 88c49d8d69 Uniformisation bugfix in explicit engine.
16 years ago
Dave Parker a71df49c65 SBML import understands compartment size if used in expressions.
16 years ago
Dave Parker d48e088cdb PTA bug fixes: model labels, multiple properties.
16 years ago
Dave Parker 3829cb6247 Typos.
16 years ago
Dave Parker 39150596a4 Semantic check for non-local variable access in PTAs.
16 years ago
Dave Parker c4a8bd19c4 Simulator code: tidy.
16 years ago
Dave Parker 763285cc4c More simulator additions/tidying.
16 years ago
Dave Parker 82b8965563 Bug fix in GUI approx m/c (introduced during new type system introduction ages ago).
16 years ago
Dave Parker a0db106a88 Tweaks to Sampler design + non-compilation bugfix.
16 years ago
Dave Parker 49fb84b25d MDPModelChecker uses init state to display results.
16 years ago
Dave Parker 9ce9901d91 Further work on simulator.
16 years ago
Dave Parker bb2615b43b Further work on simulator.
16 years ago
Dave Parker c3ba43e358 Further work on simulator.
16 years ago
Dave Parker d10f2d3354 NSIS script fix (because of new location in src).
16 years ago
Dave Parker 17b4d063d1 Simulator supports labels
16 years ago
Dave Parker 6dc06b42b7 Fixes and tidies to the simulator.
16 years ago
Dave Parker eeedc20655 Fix in double formatting util function.
16 years ago