]> Git — Sourcephile - majurity.git/commit
protocol: polish tally
authorJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 14 May 2019 10:24:29 +0000 (10:24 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 14 May 2019 11:10:03 +0000 (11:10 +0000)
commitf4ce5874d60bec9e52fb97e6bce614c533d87965
tree89b2e8d9f921e6e809e43fffed8334f2a131702a
parenta78835e152e96f538b1a2ddb66552beb2d08c9aa
protocol: polish tally
hjugement-protocol/hjugement-protocol.cabal
hjugement-protocol/src/Voting/Protocol/Arithmetic.hs
hjugement-protocol/src/Voting/Protocol/Credential.hs
hjugement-protocol/src/Voting/Protocol/Tally.hs
hjugement-protocol/src/Voting/Protocol/Trustee/Indispensable.hs
hjugement-protocol/src/Voting/Protocol/Utils.hs
hjugement-protocol/tests/HUnit/Trustee/Indispensable.hs
hjugement-protocol/tests/QuickCheck/Trustee.hs