Git — Sourcephile - majurity.git/shortlog

]> Git — Sourcephile - majurity.git/shortlog

sourcephile / git / majurity.git / shortlog

2019-05-11	Julien Moutinho	protocol: add quickchecks	commit \| commitdiff \| tree \| snapshot
2019-05-11	Julien Moutinho	move to src/ and tests/	commit \| commitdiff \| tree \| snapshot
2019-05-04	Julien Moutinho	protocol: improve explanations	commit \| commitdiff \| tree \| snapshot
2019-05-03	Julien Moutinho	protocol: add utils to check lengths more easily	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: rename ErrorValidate -> ErrorVerify	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: polish extensions	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: polish exports	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: bump version to share the software	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: remove ErrorProve	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: add FromNatural/ToNatural	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: polish import of modules	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: fix hash (remove last comma)	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: improve comments and variable names	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: rename Proove -> Prove	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: polish randomUUID	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: fix comments	commit \| commitdiff \| tree \| snapshot
2019-04-29	Julien Moutinho	protocol: handle list length checks in the library	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add key derivation	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: polish description	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add MeasuredList.empty	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: polish comments	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add Ballot	commit \| commitdiff \| tree \| snapshot
2019-04-24	Julien Moutinho	protocol: change F to be a Natural, not an Integer.	commit \| commitdiff \| tree \| snapshot
2019-04-24	Julien Moutinho	protocol: add Utils.{Constraint,Natural,MeasuredList}	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Rename {Arith -> Arithmetic}	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Election	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Arith	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Election	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Arith	commit \| commitdiff \| tree \| snapshot
2019-04-16	Julien Moutinho	Polish code	commit \| commitdiff \| tree \| snapshot
2019-04-14	Julien Moutinho	Add HLint.hs symlinks	commit \| commitdiff \| tree \| snapshot
2019-04-14	Julien Moutinho	Add majorityValueOfRank	commit \| commitdiff \| tree \| snapshot
2019-02-26	Julien Moutinho	Remove useless OPTIONS	commit \| commitdiff \| tree \| snapshot
2019-02-21	Julien Moutinho	Fix typos in comments	commit \| commitdiff \| tree \| snapshot
2019-02-13	Julien Moutinho	Fix Ord MajorityGauge	commit \| commitdiff \| tree \| snapshot
2019-02-13	Julien Moutinho	Add and test rankOfMajorityValue	commit \| commitdiff \| tree \| snapshot
2018-12-23	Julien Moutinho	stack: bump to lts-12.25	commit \| commitdiff \| tree \| snapshot
2018-11-09	Julien Moutinho	Fix ghcid support.	commit \| commitdiff \| tree \| snapshot
2018-10-29	Julien Moutinho	Improve documentation.	commit \| commitdiff \| tree \| snapshot
2018-09-03	Julien Moutinho	Add MajorityGauge (old code though).	commit \| commitdiff \| tree \| snapshot
2018-09-03	Julien Moutinho	Fix majorityValue: update the middlemost correctly.	commit \| commitdiff \| tree \| snapshot
2018-06-23	Julien Moutinho	Polish documentation.	commit \| commitdiff \| tree \| snapshot
2018-06-12	Julien Moutinho	Add default section share at judgment level.	commit \| commitdiff \| tree \| snapshot
2018-06-03	Julien Moutinho	Polissage Gnumakefile.	commit \| commitdiff \| tree \| snapshot
2018-05-31	Julien Moutinho	Add support for multiple choices in Section.	commit \| commitdiff \| tree \| snapshot
2018-05-26	Julien Moutinho	Add Hjugement.Section.	commit \| commitdiff \| tree \| snapshot
2018-05-19	Julien Moutinho	Use HashMap.	commit \| commitdiff \| tree \| snapshot
2018-02-14	Julien Moutinho	Massage hjugement.cabal.	commit \| commitdiff \| tree \| snapshot
2017-08-14	Julien Moutinho	Bump stack resolver to lts-9.0.	commit \| commitdiff \| tree \| snapshot
2017-08-14	Julien Moutinho	Fix doc.	commit \| commitdiff \| tree \| snapshot
2017-08-08	Julien Moutinho	Fix tar GNUmakefile target.	commit \| commitdiff \| tree \| snapshot
2017-08-08	Julien Moutinho	Fix doc.	commit \| commitdiff \| tree \| snapshot
2017-08-07	Julien Moutinho	init	commit \| commitdiff \| tree \| snapshot

Tools for voting with Majority Judgment and Helios-C

RSS Atom