Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / uwplse/verdi-raft issues and pull requests

#6 - separate printing of linearizability assumptions

Pull Request - State: closed - Opened by palmskog over 8 years ago

#5 - Adding proof using annotation.

Pull Request - State: closed - Opened by ahmet-celik over 8 years ago - 6 comments

#4 - added missing Proof. for lemma candidate_entries_request_vote_reply

Pull Request - State: closed - Opened by palmskog over 8 years ago

#3 - symlink to extraction lib in Verdi in configure

Pull Request - State: closed - Opened by palmskog over 8 years ago

#2 - updated to latest coqproject.sh

Pull Request - State: closed - Opened by palmskog over 8 years ago

#1 - do not override custom Verdi_PATH

Pull Request - State: closed - Opened by palmskog over 8 years ago