- Committer: Simon Virenfeldt
- Date: 2021-06-22 09:25:10 UTC
- Revision ID: simwir1@gmail.com-20210622092510-kn2esxb3enfbc3ch
Fix logic error in structural reduction Rule D for LTL and CTL.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Comparison
|
197.7.1 | 6 years ago | Andreas Klostergaard | Added comparison scripts |
|
||
|
MCC14
|
55.1.8 | 9 years ago | Jiri Srba | added MCC15 scripts |
|
||
|
MCC15
|
55.1.8 | 9 years ago | Jiri Srba | added MCC15 scripts |
|
||
|
MCC16
|
79 | 8 years ago | Peter Gjøl Jensen | modifications for competition |
|
||
|
MCC17
|
152.4.46 | 7 years ago | Jakob Dyhr | MCC scripts |
|
||
|
MCC18
|
202 | 6 years ago | Jiri Srba | added MCC18 competition scripts, qemu guide and cl |
|
||
|
MCC19
|
214 | 5 years ago | Jiri Srba | added MCC competition scripts |
|
||
|
MCC20
|
220 | 4 years ago | srba.jiri at gmail | added MCC 2020 competition scripts |
|
||
|
MCC21
|
230.4.5 | 3 years ago | Simon Virenfeldt | Created MCC21 folder as a copy of MCC20 but with t |
|
||