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

8 Commits (e0b65828bd63988f829a4e1593ce506b9f267351)

Author SHA1 Message Date
Dave Parker 4bb807cb8e Code rearrange: move automata stuff to a separate "automata" package.
11 years ago
Dave Parker 6ff3094b91 jltl2dstar: support generation of Rabin and Streett automata. [Joachim Klein]
12 years ago
Dave Parker c00ffea7d8 Refactor: switch from prism.DRA<BitSet> to prism.DA<BitSet, AcceptanceRabin>. Changes access to the Rabin pairs. [Joachim Klein]
12 years ago
Dave Parker 8fcf374603 Remove debug output.
13 years ago
Dave Parker 1a49d8d30f svn:ignore on lib.
13 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 5987dde299 Bug fixes in DRA libraries (Carlos).
19 years ago
Dave Parker 9d59912d3b Working (but untidied) version of MDP LTL model checking.
19 years ago