| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| DCL-broken.litmus | D | 22-Oct-2025 | 811 | 55 | 47 | |
| DCL-fixed.litmus | D | 22-Oct-2025 | 886 | 56 | 48 | |
| RM-broken.litmus | D | 22-Oct-2025 | 644 | 42 | 34 | |
| RM-fixed.litmus | D | 22-Oct-2025 | 640 | 42 | 34 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| DCL-broken.litmus | D | 22-Oct-2025 | 811 | 55 | 47 | |
| DCL-fixed.litmus | D | 22-Oct-2025 | 886 | 56 | 48 | |
| RM-broken.litmus | D | 22-Oct-2025 | 644 | 42 | 34 | |
| RM-fixed.litmus | D | 22-Oct-2025 | 640 | 42 | 34 |