Ecosyste.ms: Issues

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

GitHub / uwplse/verdi issues and pull requests

#48 - compatibility with decomposed StructTact

Pull Request - State: closed - Opened by wilcoxjay about 8 years ago

#47 - compatibility with decomposed StructTact

Pull Request - State: closed - Opened by palmskog about 8 years ago - 1 comment

#46 - move aequiv to StructTact.Util

Pull Request - State: closed - Opened by wilcoxjay about 8 years ago

#45 - proof-sizes.awk missing "Proposition"

Issue - State: open - Opened by HazardousPeach over 8 years ago - 1 comment

#44 - Mechanism for adding constraints to semantics

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

#43 - Simulation maps refactoring and additions

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

#42 - Client-server marshaling allows users to inject commands and to crash the server

Issue - State: closed - Opened by pfons over 8 years ago - 1 comment

#41 - Server assumes that it can read the entire client request with a single recv call

Issue - State: closed - Opened by pfons over 8 years ago - 1 comment

#40 - Transient system call errors during recovery cause inconsistent re-initialization

Issue - State: closed - Opened by pfons over 8 years ago - 1 comment

#39 - Crash during update of snapshot causes loss of data

Issue - State: closed - Opened by pfons over 8 years ago - 1 comment

#37 - Server crashes when trying to produce large packets because of buffer overflow

Issue - State: closed - Opened by pfons over 8 years ago - 1 comment

#36 - Cleanup imports

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

#35 - Refactor VotesCorrectProof to use spec lemmas

Pull Request - State: closed - Opened by wilcoxjay over 8 years ago - 1 comment

#34 - Proofalytics

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

#33 - StructTact

Pull Request - State: closed - Opened by dwoos over 8 years ago - 3 comments

#32 - Proofalytics

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

#31 - Extraction cleanup

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

#30 - New _CoqProject based build system

Pull Request - State: closed - Opened by dwoos over 8 years ago - 1 comment

#29 - Generalized simulation proofs for ghost params

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

#28 - Print better error message when trying to build on 8.4

Issue - State: closed - Opened by wilcoxjay almost 9 years ago

#27 - Use PTree for vard key value store

Pull Request - State: closed - Opened by steveanton almost 9 years ago

#26 - Small typo in README.md

Issue - State: closed - Opened by vrahli almost 9 years ago - 1 comment

#25 - Make extraction work without building all the raft proofs

Issue - State: closed - Opened by wilcoxjay almost 9 years ago - 1 comment

#24 - Do not pun Inp/Out in trace_mutual exclusion

Issue - State: open - Opened by wilcoxjay almost 9 years ago

#23 - Transfer-based correctness theorem for Raft is missing

Issue - State: closed - Opened by wilcoxjay almost 9 years ago - 1 comment

#22 - Prove transformed LockService correct

Pull Request - State: closed - Opened by wilcoxjay about 9 years ago

#21 - Transformed LockServ missing

Issue - State: closed - Opened by wilcoxjay about 9 years ago - 1 comment

#20 - Refactor some code

Pull Request - State: closed - Opened by MarisaKirisame about 9 years ago - 1 comment

#19 - Cannot get extraction/vard make to work

Issue - State: closed - Opened by buckie about 9 years ago - 6 comments

#18 - what are eClient and eId?

Issue - State: closed - Opened by cartazio about 9 years ago - 1 comment

#17 - Do generic after do leader

Pull Request - State: closed - Opened by dwoos about 9 years ago - 1 comment

#16 - Prove Raft Correct

Pull Request - State: closed - Opened by wilcoxjay about 9 years ago - 2 comments

#15 - Leader logs votes with log

Pull Request - State: closed - Opened by dwoos about 9 years ago - 1 comment

#14 - Aer correspondence

Pull Request - State: closed - Opened by wilcoxjay about 9 years ago - 1 comment

#13 - AER correspondence

Pull Request - State: closed - Opened by dwoos about 9 years ago - 1 comment

#12 - StateMachineCorrectness WIP

Pull Request - State: closed - Opened by wilcoxjay about 9 years ago

#11 - Any tips to install Verdi on OS X?

Issue - State: closed - Opened by c4milo over 9 years ago - 3 comments

#10 - fix handleAppendEntriesReply bug

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago - 1 comment

#9 - upgrade to coq 8.5beta2

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago

#8 - Raft state machine safety work in progress

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago

#7 - I've added some comment in code as a new learner for Coq

Pull Request - State: closed - Opened by wangxiayang over 9 years ago - 3 comments

#6 - Prove admits in CommonTheorems

Pull Request - State: closed - Opened by steveanton over 9 years ago

#5 - Lockserv cleanup

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago - 1 comment

#4 - Immediate output

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago - 1 comment

#3 - Proof interfaces

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago

#2 - Candidate entries

Pull Request - State: closed - Opened by wilcoxjay over 9 years ago - 2 comments

#1 - New README.md file

Pull Request - State: closed - Opened by dwoos over 9 years ago