]> Git — Sourcephile - majurity.git/shortlog
majurity.git
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