usnistgov/VotingMethods

Issues

• The listed tabulation scenarios are supported*

  #17 opened 6 years ago
  0

• Testable Measures, Metrics by Tabulation Scenario - assigned to group for design

  #16 opened 6 years ago
  0

• VMWG-8: Need files attached that were in Aha (8=Web pages dev)

  #15 opened 6 years ago
  0

• Test Deck Definition

  #14 opened 6 years ago
  0

• Testable Measures, Metrics by Voting Method Variant -assigned to Herb Deutsch

  #13 opened 6 years ago
  0

• See https://drive.google.com/drive/u/0/folders/19cWO58GPFogjWYx6i4yiY-mh8LqSvG6f

  #12 opened 6 years ago
  0

• Tabulation Methods Process Flow Artifacts Diagrams, Section 3.1.3.1.X - Herb Deutsch

  #11 opened 6 years ago
  0

• See Attached Files

  #10 opened 6 years ago
  0

• Testable Measures, Metrics RCV - assigned to George Glibert with Herb Deutsch

  #9 opened 6 years ago
  0

• NIST VMWG Gitpages Web Site AMP -assigned to Lauren Lochridge

  #8 opened 6 years ago
  0

• Review status of Alloy5

  #7 opened 6 years ago
  0

• Specification of Reference Implementation of Mechanized Models, assigned to group for design, section 3.1.4.X

  #6 opened 6 years ago
  0

• Consider coq and haskell for mechanized models reference implementation

  #5 opened 6 years ago
  0

• Public Domain

  #4 opened 6 years ago
  0

• Elections Statute & Legislation Research - assigned to George Gilbert & Chris Hughes

  #3 opened 6 years ago
  0

• Mechanized Models Development Framework Selection, assigned to group, to Lauren for research

  #2 opened 6 years ago
  0

• NIST 1500-X Voting Methods Standard Specification V 20171231, update with 3.1.3 sections for V 201805/6, assigned to Lauren + group

  #1 opened 6 years ago
  0