fscq icon indicating copy to clipboard operation
fscq copied to clipboard

FSCQ is a certified file system written and proven in Coq

Results 5 fscq issues
Sort by recently updated
recently updated
newest added

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...