OCaml compilation of extracted code is broken

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

OCaml compilation of extracted code is broken #7

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

OCaml code doesn't compile with at least OCaml 4.07. The code should be ported to use a modern version of Batteries, and the bundled version of Batteries removed.