search

coq-community / chapar

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
MIT License
32 stars 7 forks source link

Fix OCaml compilation #8

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

Fixes #7.