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

13 Commits (8bc69f0aa7d7a622286e1303afbe6dc9a9e15981)

Author SHA1 Message Date
Dave Parker cd0ebbde5b Bug fix in new R=?[C<=k] code for DTMCs.
19 years ago
Dave Parker 3dac129c9b Added cumulative reward model checking for DTMCs (all 3 engines).
19 years ago
Dave Parker d636ab1969 Addition of 64-bit PRISM branch to trunk.
19 years ago
Dave Parker 5ef3824832 Rearrangement and tidy-up of copyright/license info in file headers.
19 years ago
Dave Parker eaed7b4233 Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
19 years ago
Dave Parker 6a562a7714 Fixed building of Windows DLL to allow intra-library loading. Moved foxglynn.c/h to prism.c/h.
20 years ago
Dave Parker 835e668ab0 Fixed uniformisation-based methods to use epsilon/8 instead of epsilon.
20 years ago
Dave Parker 20a6be968b Removal of explicit lists of Java/C++ files from Makefiles (we are reliant on GNU make anyway).
20 years ago
Dave Parker 1188cda273 Added option to disable steady-state detection for CTMC transient analysis.
20 years ago
Dave Parker e799b672d6 Typo in non-convergence error messages.
20 years ago
Dave Parker 0967807f5b Improved error handling in model checkers (Java and C++).
20 years ago
Dave Parker cb6e1b9930 Overhaul of export functionality:
20 years ago
Dave Parker b54050a199 PRISM trunk layout rearrangement.
20 years ago