]> Git — Sourcephile - majurity.git/commit
protocol: handle list length checks in the library
authorJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 29 Apr 2019 02:34:03 +0000 (02:34 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 29 Apr 2019 14:53:12 +0000 (14:53 +0000)
commit01482a3570e22b00f28f411898284023549f6004
treeca139dc9e26e93752dd5a402791fb019325e275a
parentd5acc2d835c6661092a3e4ff18c36017a974ea84
protocol: handle list length checks in the library
GNUmakefile
hjugement-protocol/Protocol/Arithmetic.hs
hjugement-protocol/Protocol/Credential.hs
hjugement-protocol/Protocol/Election.hs
hjugement-protocol/Utils/Constraint.hs [deleted file]
hjugement-protocol/Utils/MeasuredList.hs [deleted file]
hjugement-protocol/Utils/Natural.hs [deleted file]
hjugement-protocol/hjugement-protocol.cabal
hjugement-protocol/test/HUnit/Election.hs