]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4d8f2f) | patch
protocol: add quickchecks
authorJulien Moutinho <julm+hjugement@autogeree.net>
Sat, 11 May 2019 23:39:13 +0000 (23:39 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Sat, 11 May 2019 23:39:13 +0000 (23:39 +0000)
commit9a59c150b13329a222da38b0499130077c0ab88d
tree7322b6b700eb827363001a3ed56781027ff1337etree | snapshot
parentc4d8f2ff0b478c97eb3f89486787e6eacf53b669commit | diff
protocol: add quickchecks
hjugement-protocol/hjugement-protocol.cabal diff | blob | history
hjugement-protocol/tests/Main.hs diff | blob | history
hjugement-protocol/tests/QuickCheck.hs [new file with mode: 0644] blob
hjugement-protocol/tests/QuickCheck/Election.hs [new file with mode: 0644] blob
hjugement-protocol/tests/QuickCheck/HLint.hs [new symlink] blob
hjugement-protocol/tests/QuickCheck/Trustee.hs [new file with mode: 0644] blob
Tools for voting with Majority Judgment and Helios-C