| commit | fe260325e21004f024370aadb29e2f643977ebc2 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Wed Jan 10 17:59:57 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Wed Jan 10 18:00:20 2024 +0100 |
| tree | 0c4cde0d4cad038dc7567d4a9bfbc4749c5aecc6 | |
| parent | eb012078a37073e99ac2bd297050f5a0ec941f47 [diff] |
ext2: Use unnecessarily big range type to ease proving