Ecosyste.ms: Issues

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

GitHub / cjerdonek/formal-rcv issues and pull requests

#14 - Resolve confusion over difference between statute and election behavior.

Issue - State: open - Opened by jldodds about 9 years ago - 1 comment

#13 - Write optimized implementation

Issue - State: open - Opened by jldodds about 9 years ago - 1 comment

#12 - How do multi-seat elections work?

Issue - State: closed - Opened by robdockins about 9 years ago - 1 comment
Labels: question

#11 - What happens if there are no valid votes?

Issue - State: closed - Opened by robdockins about 9 years ago - 7 comments

#10 - Create tests to be run in the Coq implementation

Issue - State: open - Opened by jldodds over 9 years ago - 5 comments
Labels: enhancement

#9 - Stub out file of "global" Coq definitions

Issue - State: open - Opened by cjerdonek over 9 years ago - 2 comments

#8 - Ties in SF

Issue - State: closed - Opened by jldodds over 9 years ago - 4 comments
Labels: question

#7 - Stub out "end-to-end" integration test of extraction

Issue - State: closed - Opened by cjerdonek over 9 years ago - 15 comments

#6 - Pick/Find a library for implementation

Issue - State: closed - Opened by jldodds over 9 years ago - 6 comments
Labels: question

#5 - Create a Glossary

Issue - State: closed - Opened by jldodds over 9 years ago - 4 comments
Labels: enhancement

#4 - Extract implementation

Issue - State: closed - Opened by jldodds over 9 years ago
Labels: enhancement

#3 - Prove SF Implementation meets specification

Issue - State: closed - Opened by jldodds over 9 years ago
Labels: enhancement

#2 - Implement San Francisco Election

Issue - State: closed - Opened by jldodds over 9 years ago
Labels: enhancement

#1 - Specify SF Instant runoff election

Issue - State: closed - Opened by jldodds over 9 years ago - 3 comments
Labels: enhancement