fscq
fscq copied to clipboard
FSCQ is a certified file system written and proven in Coq
Some applications depend on file system support for hard links.
Some applications depend on file system support for accurate (or at least monotonic) modification times in `stat`.
Many applications depend on file system support for symlinks.
When a subdirectory is created, the parent directory's link count increases by 1 (for `..`) on typical POSIX-like file systems. Using 27c4078a00b517671163f668ebd644614171d966, a directory's link count remains 2 when subdirectories...
Hi, very nice project! Next week I will be at the [11th MirageOS retreat](http://retreat.mirage.io/); my project for the week would be to try to look at FSCQ and see how...