Ecosyste.ms: Issues

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

GitHub / dionyziz/popow issues and pull requests

#6 - Names alphabetically

Issue - State: closed - Opened by dionyziz almost 8 years ago

#6 - Names alphabetically

Issue - State: closed - Opened by dionyziz almost 8 years ago

#5 - Predicate must be on x

Issue - State: closed - Opened by dionyziz almost 8 years ago

#4 - Verifier must have subscript q

Issue - State: closed - Opened by dionyziz almost 8 years ago

#3 - Backbone round variable should be external functionality "CLOCK()"

Issue - State: open - Opened by dionyziz almost 8 years ago

#2 - Write backbone algorithm using an event-driven structure

Issue - State: open - Opened by dionyziz almost 8 years ago

#1 - Predicate q should be upper-case

Issue - State: closed - Opened by dionyziz almost 8 years ago