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