Issues
- 0
Migrate off camlp4
#18 opened by XVilka - 2
Catherine's problems part II
#17 opened by tomjridge - 1
FD and dir handles are implemented using the same space (on Linux); the spec has them distinct
#16 opened by tomjridge - 7
`opam install sibylfs` fails
#14 opened by HenkPoley - 0
- 0
Prefer to work with upstream Lem
#12 opened by dsheets - 0
Out-of-resource testing
#11 opened by dsheets - 0
Spec oracle should be able to return spec traces
#10 opened by dsheets - 0
- 0
add getcwd to the spec
#8 opened by dsheets - 0
Concurrency testing
#7 opened by dsheets - 0
Need to have spec parameterized by particular file systems (and maybe libc version?)
#6 opened by dsheets - 0
- 0
- 0
- 0
Add trace interpreter that generates C code
#5 opened by dsheets - 0
Specify SEEK_DATA and SEEK_HOLE
#4 opened by dsheets