Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mit-pdos/fscq issues and pull requests

#18 - Extraction to OCaml + OCaml wrapper code

Pull Request - State: closed - Opened by Armael over 2 years ago - 3 comments

#17 - Repair proofs (coq 8.13)

Pull Request - State: closed - Opened by Armael over 2 years ago - 1 comment

#16 - Advice on refreshing the ocaml extraction target?

Issue - State: open - Opened by Armael over 2 years ago - 4 comments

#15 - ftruncate to grow a file does not allocate blocks

Issue - State: closed - Opened by tchajed over 5 years ago - 1 comment

#14 - fdatasync not working as expected on fscq?

Issue - State: closed - Opened by meng-xu almost 6 years ago - 4 comments

#13 - Potential logic bug: renaming an emptied directory fails

Issue - State: closed - Opened by squizz617 almost 6 years ago - 4 comments

#12 - Potential crash consistency bug - fsync fails to persist directory entry

Issue - State: closed - Opened by squizz617 almost 6 years ago - 9 comments

#11 - sync() fails to persist a new directory entry

Issue - State: closed - Opened by squizz617 almost 6 years ago - 2 comments

#10 - Multiuser/permissions support

Issue - State: closed - Opened by dsheets over 9 years ago - 1 comment

#9 - Time support

Issue - State: open - Opened by dsheets over 9 years ago

#8 - Hard link support

Issue - State: open - Opened by dsheets over 9 years ago - 1 comment

#7 - Symlink support

Issue - State: open - Opened by dsheets over 9 years ago

#6 - Renaming a directory to a non-empty directory results in EIO

Issue - State: closed - Opened by dsheets over 9 years ago - 1 comment

#5 - chmod has no effect and does not return an error

Issue - State: closed - Opened by dsheets over 9 years ago - 2 comments

#4 - Subdirectories do not increment parent directory's link count

Issue - State: open - Opened by dsheets over 9 years ago

#3 - Removing a non-empty directory results in EIO

Issue - State: closed - Opened by dsheets over 9 years ago - 3 comments

#2 - truncate extension sometimes extends with file names instead of zeros

Issue - State: closed - Opened by dsheets over 9 years ago - 4 comments

#1 - Package using nix

Pull Request - State: closed - Opened by tomjridge over 9 years ago