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
#38 - Server is unable to recover when disk log is incomplete due to a crash while writing an entry
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