Skip to content

tomjridge/path_resolution

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

63 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Path resolution

This is a simple specification/implementation of path resolution, taking account of real-world behaviour uncovered by SibylFS. It is mainly used as a component of ImpFS, but can be used separately.

Related packages

Build and install

To build, type make

NOTE this installs a package tjr_path_resolution into ocamlfind/opam

Documentation

For documentation, please read the ocamldoc or the source code.

Dependencies

Dependencies: tjr_fs_shared

About

Formal specification of path resolution algorithm in OCaml

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published