tree a4dfc4b9f1188b32346d0b3935d0588f67617a00
parent 7eb569254a611a81fa47344b76c5db0fd8b7c407
author Nico Huber <nico.huber@secunet.com> 1704905784 +0100
committer Nico Huber <nico.huber@secunet.com> 1704905784 +0100

ext2: Finish round of proofs for inode version of Open()

Only things left that could possibly be shown with a predicate
on Mount_State.