GitHub - spito/VFS: Virtual File System used in DIVINE

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
bits		bits
sys		sys
.gitattributes		.gitattributes
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
_glue.cpp		_glue.cpp
dirent.h		dirent.h
divine.h		divine.h
fcntl.h		fcntl.h
fs-constants.h		fs-constants.h
fs-descriptor.h		fs-descriptor.h
fs-directory.h		fs-directory.h
fs-dummyEntrypoint.cpp		fs-dummyEntrypoint.cpp
fs-file.h		fs-file.h
fs-inode.h		fs-inode.h
fs-manager.cpp		fs-manager.cpp
fs-manager.h		fs-manager.h
fs-memory.cpp		fs-memory.cpp
fs-memory.h		fs-memory.h
fs-path.h		fs-path.h
fs-snapshot.h		fs-snapshot.h
fs-storage.h		fs-storage.h
fs-utils.h		fs-utils.h
fs.cpp		fs.cpp
generator.cpp		generator.cpp
main.cpp		main.cpp
snapshot.cpp		snapshot.cpp
unistd.h		unistd.h