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

7 Commits (6f8ca54a2f8d3193fc3abae6d8d2a0d90b77ea3d)

Author SHA1 Message Date
Joachim Klein 30f7def86c (export-iterations) introduce --exportiterations option, ExportIterations helper classes for C and Java
9 years ago
Dave Parker 3464a921ad First version of Nailgun support built directly into PRISM. Adding switch -ng when running prism will instead start a Nailgun server ready to run PRISM instances, and running ngprism runs PRISM as a Nailgun client.
11 years ago
Dave Parker c1e24408ae New (hidden) options for different symbolic reachability methods (-frontier, -bfs). Also: new way to read options from C++ code: PrismNative stores reference to Prism object which is then queried.
14 years ago
Dave Parker 3e4c617a81 Move most native code options from engine shared libraries to prism library.
15 years ago
Dave Parker fe6b77ba31 Added -exportadv option to enable adversary generation.
16 years ago
Dave Parker 57547299d9 New option to export model to dot file with embedded state info (-exporttransdotstates).
17 years ago
Dave Parker 21d2c058f3 Re-arrangement of PrismUtils stuff (split of native and non-native code).
17 years ago