| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Makefile | H A D | 04-Jul-2026 | 940 | 49 | 22 | |
| destruct-ocp.run | H A D | 04-Jul-2026 | 1 KiB | 35 | 30 | |
| destruct.run | H A D | 12-Feb-2025 | 2.5 KiB | 73 | 61 | |
| non-destruct.run | H A D | 12-Sep-2024 | 1.7 KiB | 81 | 74 | |
| unit.run | H A D | 11-Jun-2026 | 1.1 KiB | 56 | 50 |