- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
competition-scripts
|
214 | 5 years ago | Jiri Srba | added MCC competition scripts |
|
||
|
consistency-scripts
|
215 | 5 years ago | srba.jiri at gmail | added consistency tests |
|
||