Git — Sourcephile - majurity.git/history - hjugement-protocol/Protocol/Election.hs

]> Git — Sourcephile - majurity.git/history - hjugement-protocol/Protocol/Election.hs

2019-05-02	Julien Moutinho	protocol: polish extensions	blob \| commitdiff \| raw
2019-05-01	Julien Moutinho	protocol: remove ErrorProve	blob \| commitdiff \| raw \| diff to current
2019-05-01	Julien Moutinho	protocol: add FromNatural/ToNatural	blob \| commitdiff \| raw \| diff to current
2019-05-01	Julien Moutinho	protocol: improve comments and variable names	blob \| commitdiff \| raw \| diff to current
2019-04-30	Julien Moutinho	protocol: rename Proove -> Prove	blob \| commitdiff \| raw \| diff to current
2019-04-30	Julien Moutinho	protocol: fix comments	blob \| commitdiff \| raw \| diff to current
2019-04-29	Julien Moutinho	protocol: handle list length checks in the library	blob \| commitdiff \| raw \| diff to current
2019-04-25	Julien Moutinho	protocol: add key derivation	blob \| commitdiff \| raw \| diff to current
2019-04-25	Julien Moutinho	protocol: polish comments	blob \| commitdiff \| raw \| diff to current
2019-04-25	Julien Moutinho	protocol: add Ballot	blob \| commitdiff \| raw \| diff to current
2019-04-24	Julien Moutinho	protocol: change F to be a Natural, not an Integer.	blob \| commitdiff \| raw \| diff to current
2019-04-24	Julien Moutinho	protocol: add Utils.{Constraint,Natural,MeasuredList}	blob \| commitdiff \| raw \| diff to current
2019-04-22	Julien Moutinho	protocol: Rename {Arith -> Arithmetic}	blob \| commitdiff \| raw \| diff to current
2019-04-22	Julien Moutinho	protocol: Fix Election	blob \| commitdiff \| raw \| diff to current
2019-04-22	Julien Moutinho	protocol: Add Election	blob \| commitdiff \| raw \| diff to current

Tools for voting with Majority Judgment and Helios-C