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

5 Commits (ddeaef392e095e23c31c72af4e45c978efa71aa0)

Author SHA1 Message Date
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.
14 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