Closed hackedy closed 7 years ago
As packaged, this builds and installs all the verdi-raft proofs, but vard no longer builds by default.
vard
I have built it successfully using Coq OPAM versions 8.6, 8.6.dev, and dev.
8.6
8.6.dev
dev
Everything is namespaced under VerdiRaft.
VerdiRaft
The autogenerated RaftState.v file is now tracked so that we don't need to depend on python for builds.
RaftState.v
Do not merge until uwplse/verdi#113 is merged.
As packaged, this builds and installs all the verdi-raft proofs, but
vardno longer builds by default.I have built it successfully using Coq OPAM versions
8.6,8.6.dev, anddev.Everything is namespaced under
VerdiRaft.The autogenerated
RaftState.vfile is now tracked so that we don't need to depend on python for builds.Do not merge until uwplse/verdi#113 is merged.