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

4 Commits (df7198f06e860f7ef812fdd16a9dc0625efab076)

Author SHA1 Message Date
Dave Parker 0abe4e8a72 Remove @author tag(s), for consistency.
14 years ago
Dave Parker 4e0aaabeba New intermediate class to store DRAs, small efficiency improvements in LTL due to hard-coded DRAs + easier decoupling of GPLed LTL-to-DRA libraries, if needed.
15 years ago
Dave Parker 0e7d9bd5b2 Carlos' latest updates to LTL code.
19 years ago
Dave Parker 9d59912d3b Working (but untidied) version of MDP LTL model checking.
19 years ago