Ecosyste.ms: Issues

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

GitHub / tigerbeetle/viewstamped-replication-made-famous issues and pull requests

#15 - Issue: What is the status of challenge? [Will eventually be re-opened]

Issue - State: open - Opened by ad-m-ss over 1 year ago - 2 comments
Labels: Other

#14 - Update issue templates to reflect new bounties

Pull Request - State: closed - Opened by ThreeFx about 3 years ago - 1 comment

#13 - Added zig installation vopr bat files as well as updated the README

Pull Request - State: closed - Opened by JoblersTune over 3 years ago

#12 - Providing Windows scripts to install Zig and run the VOPR

Pull Request - State: closed - Opened by JoblersTune over 3 years ago - 1 comment

#11 - Fix chance()

Pull Request - State: closed - Opened by ThreeFx over 3 years ago - 1 comment

#10 - Correctness: 3 corrupt writes in a cluster of 9 lead to data loss

Issue - State: closed - Opened by ThreeFx over 3 years ago - 1 comment
Labels: Correctness

#9 - Liveness: Replicas crash on receiving `Command.reply` messages

Issue - State: closed - Opened by ThreeFx over 3 years ago - 3 comments
Labels: Liveness, Awarded

#8 - Liveness: overflow in prepare_timeout.attempts leads to node crash

Issue - State: closed - Opened by ThreeFx over 3 years ago - 3 comments
Labels: Liveness, Awarded

#7 - Liveness: Client trusts all received pongs

Issue - State: closed - Opened by ThreeFx over 3 years ago - 4 comments
Labels: Liveness, Awarded

#6 - Use read_fault_probability for read faults

Pull Request - State: closed - Opened by ThreeFx over 3 years ago - 1 comment

#5 - Liveness: race condition when handling successive requests from two clients leads to deadlock

Issue - State: closed - Opened by ThreeFx over 3 years ago - 6 comments
Labels: Liveness, Awarded

#4 - Issue #2: Make use of next() instead of nextPosix() to support Window…

Pull Request - State: closed - Opened by koekiebox over 3 years ago

#3 - Issue: Read faults use write_fault_probability

Issue - State: closed - Opened by ThreeFx over 3 years ago - 1 comment
Labels: Other

#2 - Issue: VOPR fails to run on Windows

Issue - State: closed - Opened by brentmaas over 3 years ago - 9 comments
Labels: Other

#1 - Correctness: Fast Beetle Search Results

Issue - State: open - Opened by JoblersTune over 3 years ago
Labels: Correctness