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

543 Commits (aba1c3bfa16db5d59052d232bb7fcdd654eaa376)

Author SHA1 Message Date
Dave Parker aba1c3bfa1 CHANGELOG.
17 years ago
Dave Parker e3f6726150 Bugfix: Solves HEADLESS crash on Macs.
17 years ago
Dave Parker c66eecb5cc Bug fix in approximate model checking of time-bounded until properties.
17 years ago
Dave Parker 14f804d8f3 Bug fix in D/CTMC LTL model checking.
17 years ago
Dave Parker b9f7db726f Comment.
17 years ago
Dave Parker 69308dacd5 Storage of base module in renamed module AST element.
17 years ago
Dave Parker 6d8a658cce Bugfix in parser (can cause LTL model checking to hang).
17 years ago
Dave Parker 51376b7dc8 Attempted detection of 64-bit (Java) on Macs.
17 years ago
Mark Kattenbelt bb32110747 added check for existence zero-reward loops
17 years ago
Dave Parker 6eaf351114 New OS X launch script: icon + typo.
17 years ago
Dave Parker c19c132673 CHANGELOG.
17 years ago
Dave Parker 84c957ba2e JDD bug fix (again - oops).
17 years ago
Dave Parker 5745362441 JDD bug fix.
17 years ago
Dave Parker bf28deeddd Pre-3.3-release stuff.
17 years ago
Mark Kattenbelt 00d48bf3cb accidental commit of bitwise operations
17 years ago
Mark Kattenbelt c219d996e6 avoid exportlabels if simulating -sim + -exportlabels -> NullPointerException
17 years ago
Dave Parker 86df494672 First attempt at 64-bit OS-X Makefiles.
17 years ago
Mark Kattenbelt ff7b9744c5 made Java 5 compatible (removed annotations)
17 years ago
Dave Parker 9705d01e95 Typo in new PrismUtils method.
17 years ago
Dave Parker 0545f1833d Removal of surplus debugging code.
17 years ago
Mark Kattenbelt f788eb55cd Added null-check to prevent NullPointer introduced by rev 1017
17 years ago
Dave Parker 21d2c058f3 Re-arrangement of PrismUtils stuff (split of native and non-native code).
17 years ago
Dave Parker f71d3da15b Optional (and currently disabled) storage of MTBDDs for each action in an MDP.a
17 years ago
Mark Kattenbelt a842fc72c3 bugfix in trunk
17 years ago
Dave Parker e5d04c030d New default for simulator render style.
17 years ago
Dave Parker 83c17d014d Tweaks to Eclipse Java formatting defn.
17 years ago
Mark Kattenbelt 6fdb6937e0 isValid bug
17 years ago
Mark Kattenbelt d461557f7d bugfix that avoids overloading the java.awt.Component.isValid method; causes problems with new JVMs
17 years ago
Mark Kattenbelt 939bf6914c isValid overwrites java.awt.Component method
17 years ago
Mark Kattenbelt 6e345734d5 fix bug command line path generation in presence of deadlock
17 years ago
Dave Parker 71c4a0f6d9 LTL for DTMCs/CTMCs (and a bit of a tidy-up of LTL stuff).
17 years ago
Dave Parker a7c384607b Re-enable LTL model checking for MDPs.
17 years ago
Dave Parker ff86cbd167 Changed meaning of version in settings info.
17 years ago
Dave Parker db7094a908 Changed meaning of version in settings info.
17 years ago
Dave Parker c76f357497 Changed meaning of version in settings info.
17 years ago
Dave Parker 52bb6f33de Changed order in model context menu.
17 years ago
Dave Parker 7f460d57b4 Fix disabling of CTL model checking (for dev release).
17 years ago
Dave Parker 34271bb74c Disable LTL model checking (for dev release).
17 years ago
Dave Parker 007614b6c5 CHANGELOG.txt.
17 years ago
Dave Parker 2ccc376f11 More improvements to module renaming error reporting.
17 years ago
Dave Parker 46edabc574 Bug fix: reward structure indices start from 1 on export.
17 years ago
Dave Parker fdc9b7d760 Improvements to module renaming error reporting.
17 years ago
Dave Parker 59c6cf31a5 SCC computation method configurable from command-line.
17 years ago
Dave Parker 0a91eccb4b Tidy-up of (B)SCC computation stuff.
17 years ago
Dave Parker 2cc923719e Bug fix: Detection of error when Fox-Glynn value computation overflows.
17 years ago
Dave Parker 6232c4caa6 Removed redundant out-of-memory errors.
17 years ago
Dave Parker 0c4648435b Added EXPORTs to fix DLL issues on Windows.
17 years ago
Dave Parker 55c0797a8c Improvements to memory handling, especially in sparse/hybrid engines:
17 years ago
Mark Kattenbelt bc758e3d7c update to JFreeChart 1.0.11
17 years ago
Mark Kattenbelt c977d2c688 set graph background colour to white by default
17 years ago