| commit | eb012078a37073e99ac2bd297050f5a0ec941f47 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Wed Jan 10 17:56:24 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Wed Jan 10 17:56:24 2024 +0100 |
| tree | a4dfc4b9f1188b32346d0b3935d0588f67617a00 | |
| parent | 7eb569254a611a81fa47344b76c5db0fd8b7c407 [diff] |
ext2: Finish round of proofs for inode version of Open() Only things left that could possibly be shown with a predicate on Mount_State.