README.md

File Synchroniser

Coq formalisation of the Unison file synchroniser

Meta

• Author(s):
  • Yishuai Li
• License: Mozilla Public License 2.0
• Compatible Coq versions: 8.14 or later
• Compatible OCaml versions: 4.12 or later
• Additional dependencies:
  • SimpleIO
  • AsyncTest
  • OCamlbuild
  • Fileutils
  • Unison
• Coq namespace: FileSync
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of File Synchroniser is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-file-sync

To instead build and install manually, do:

git clone https://github.com/liyishuai/file-sync.git
cd file-sync
make   # or make -j <number-of-cores-on-your-machine> 
make install