| commit | feb96f950db355e850a449838e6e2a50c1c5de6e | |
| author | Mikulas Patocka <mikulas@twibright.com> | |
| Sat, 18 Jan 2025 20:06:09 +0000 (18 21:06 +0100) | ||
| committer | Mikulas Patocka <mikulas@twibright.com> | |
| Sat, 18 Jan 2025 20:48:45 +0000 (18 21:48 +0100) | ||
| tree | 3f8857e9b72d192c116c25b49331f75e34099f2e | treesnapshot (tar.gz zip) |
| parent | 1a2d50dbac05d12f1d1c0d8e89fc0d48448f0e4c | commitdiff |
rework the verifier to prepare for loop cutting