Verified vector clocks, with Coq!
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
coq
ebin
src
.gitignore
Makefile
README.md
rebar
rebar.config

README.md

vvclocks

Verified vector clocks, with Coq!

Configuring

First, add a rebar dependency:

{vvclocks, ".*", {git, "git://github.com/cmeiklejohn/vvclocks", {branch, "master"}}}

To run tests:

make test
make itest

Copyright

Copyright (C) 2013 Christopher Meiklejohn.