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

710 Commits (969d22dfa95b73c8637d0928def4c404384e465f)
 

Author SHA1 Message Date
Dave Parker 969d22dfa9 CHANGELOG.txt.
16 years ago
Dave Parker 0d2d505697 Bugfix: Crash on CTMC transient probs with MTBDD engine.
16 years ago
Dave Parker b09727fda4 Construction of (symbolic) action label info (currently enabled), functions to convert to sparse storage, and use of this in the adversary generation for MDP until (still switched off for now).
16 years ago
Dave Parker 9a6089589e Bug in JNI string processing.
16 years ago
Dave Parker 9dc46d80c7 Spacing in version number on splash screen.
16 years ago
Dave Parker acf9a19a33 Type check bug - kills simulator when using min/max.
16 years ago
Dave Parker e98a2ffbf8 Bug fix for 64-bit build on Mac OS X.
16 years ago
Dave Parker b760af0db3 Asbtraction of CTMC for unbounded props uses embedded DTMC.
16 years ago
Dave Parker 900c100728 DTMC transition count bugfix.
16 years ago
Dave Parker 24f7d04d70 Method to build embedded DTMC.
16 years ago
Dave Parker 28d6b9c92b Addition of actions to (explicit) MDPs + better dot export.
16 years ago
Dave Parker a4781c4500 Code comments.
16 years ago
Mark Kattenbelt 5853d638c0 bugfix copy/paste
16 years ago
Gethin Norman e331137249 pta version of brp
16 years ago
Dave Parker bba816fc9e Ensure possible to build 32-bit version on 64-bit Macs.
16 years ago
Dave Parker a3a2b7c432 Ensure possible to build 32-bit version on 64-bit Macs.
16 years ago
Gethin Norman 3b9f20026d firewire
16 years ago
Gethin Norman 123e2bc0a7 firewire
16 years ago
Dave Parker 77abf16ab8 Makefile bug.
17 years ago
Dave Parker 2efea0dda6 Export to string array option in StateList (unused) + tidy.
17 years ago
Dave Parker 973a1e5bd1 Typo in output of state lists (minus inadvertent code).
17 years ago
Dave Parker 2d0a8d2f80 Typo in output of state lists.
17 years ago
Dave Parker 6751575bd0 Moved nsis_script.nsi into src.
17 years ago
Dave Parker 57547299d9 New option to export model to dot file with embedded state info (-exporttransdotstates).
17 years ago
Dave Parker 5210408a81 Improved dot file export for MDPs.
17 years ago
Dave Parker 3e8248f703 MDP toString bugfix.
17 years ago
Dave Parker f20e04fac7 Changes to DTMC/MDP/STPG interface.
17 years ago
Dave Parker 67c7429531 Changes to DTMC/MDP/STPG interface.
17 years ago
Dave Parker 3614b2d562 Use of map function in PRISM A-R.
17 years ago
Dave Parker e8ad3c1965 Tidy up of Distribution and new map() function.
17 years ago
Dave Parker b010ae3f92 Removed unnecessary double formatting code.
17 years ago
Dave Parker d406c932fc Bug fix in expected reward reachability computations (regarding transitions to infinity states).
17 years ago
Dave Parker 9d151a85f8 Addition of get_index_of_first_from_bdd() function to ODD lib.
17 years ago
Dave Parker 1fdc1753a4 Version number.
17 years ago
Dave Parker 445e0ec622 Removed simulator-old dir.
17 years ago
Dave Parker d199d035ed Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago
Dave Parker 2fa1480895 Fixed FireWire impl auto file.
17 years ago
Dave Parker 42a2c7f83e Engine change in Firewire auto file.
17 years ago
Dave Parker aba1c3bfa1 CHANGELOG.
17 years ago
Dave Parker e3f6726150 Bugfix: Solves HEADLESS crash on Macs.
17 years ago
Dave Parker 09e52e3348 Zeroconf model closer to benchmark one.
17 years ago
Gethin Norman 5b48be904c fixes to zeroconf
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 d5f8145030 Undefined probability and moved label to model.
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