]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e87362e) | patch
protocol: add Trustee.Indispensable
authorJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 13 May 2019 18:45:37 +0000 (18:45 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 13 May 2019 18:45:37 +0000 (18:45 +0000)
commita78835e152e96f538b1a2ddb66552beb2d08c9aa
tree05a10f98abd08db3ce66fa13be03f8b1aebc11c1tree | snapshot
parente87362eede7e243ffaa8509b292175d31abcf511commit | diff
protocol: add Trustee.Indispensable
17 files changed:
hjugement-protocol/benchmarks/Election.hs diff | blob | history
hjugement-protocol/hjugement-protocol.cabal diff | blob | history
hjugement-protocol/src/Voting/Protocol.hs diff | blob | history
hjugement-protocol/src/Voting/Protocol/Arithmetic.hs diff | blob | history
hjugement-protocol/src/Voting/Protocol/Credential.hs diff | blob | history
hjugement-protocol/src/Voting/Protocol/Election.hs diff | blob | history
hjugement-protocol/src/Voting/Protocol/Tally.hs [new file with mode: 0644] blob
hjugement-protocol/src/Voting/Protocol/Trustee.hs [new file with mode: 0644] blob
hjugement-protocol/src/Voting/Protocol/Trustee/HLint.hs [new symlink] blob
hjugement-protocol/src/Voting/Protocol/Trustee/Indispensable.hs [new file with mode: 0644] blob
hjugement-protocol/tests/HUnit.hs diff | blob | history
hjugement-protocol/tests/HUnit/Election.hs diff | blob | history
hjugement-protocol/tests/HUnit/Trustee.hs [new file with mode: 0644] blob
hjugement-protocol/tests/HUnit/Trustee/Indispensable.hs [new file with mode: 0644] blob
hjugement-protocol/tests/QuickCheck/Election.hs diff | blob | history
hjugement-protocol/tests/QuickCheck/Trustee.hs diff | blob | history
hjugement-protocol/tests/Utils.hs diff | blob | history
Tools for voting with Majority Judgment and Helios-C