- Committer: Jiri Srba
- Date: 2018-09-11 17:19:06 UTC
- mfrom: (212.1.4 query_rewrite_fix)
- Revision ID: srba@cs.aau.dk-20180911171906-ovswtfhfcr2vcs52
merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CTL-formula-equivalence-rewriting.pdf |
181.3.13 | 6 years ago | Jiri Srba | added documentation for CTL equivalence simplifica | 171 KB |
|
|
|
new-reductionsABCDE-documentation.pdf |
151 | 7 years ago | Jiri Srba | added documentation for rules A, B, C, D, E | 159 KB |
|
|
|
reductionsABCD-documentation.pdf |
53.1.2 | 9 years ago | Jiri Srba | updated Documentation according to the last change | 130 KB |
|
|
|
siphon-trap-formula-simplification-stubborn-sets.pdf |
152.32.24 | 6 years ago | Jakob Dyhr | Add documentation for siphon-trap, formula simplif | 335 KB |
|
|