sourcephile
/
git
/
majurity.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
majurity.git
2019-07-01
Julien Moutinho
protocol: fix: encode E as a JSON string
commit
|
commitdiff
|
tree
|
snapshot
2019-06-25
Julien Moutinho
protocol: add decodeBigEndian
commit
|
commitdiff
|
tree
|
snapshot
2019-06-23
Julien Moutinho
make: fix linting
commit
|
commitdiff
|
tree
|
snapshot
2019-06-23
Julien Moutinho
protocol: fix FFC JSON
commit
|
commitdiff
|
tree
|
snapshot
2019-06-23
Julien Moutinho
protocol: fix big-endian decoding
commit
|
commitdiff
|
tree
|
snapshot
2019-05-19
Julien Moutinho
protocol: no change to Helios-C for the MJ
commit
|
commitdiff
|
tree
|
snapshot
2019-05-19
Julien Moutinho
protocol: add {From,To}JSON instances
commit
|
commitdiff
|
tree
|
snapshot
2019-05-17
Julien Moutinho
protocol: using ReaderT is not easier than Reifies
commit
|
commitdiff
|
tree
|
snapshot
2019-05-14
Julien Moutinho
protocol: polish tally
commit
|
commitdiff
|
tree
|
snapshot
2019-05-13
Julien Moutinho
protocol: add Trustee.Indispensable
commit
|
commitdiff
|
tree
|
snapshot
2019-05-13
Julien Moutinho
protocol: add encryptedTally
commit
|
commitdiff
|
tree
|
snapshot
2019-05-13
Julien Moutinho
protocol: fix benchmark
commit
|
commitdiff
|
tree
|
snapshot
2019-05-12
Julien Moutinho
protocol: fix import in tests
commit
|
commitdiff
|
tree
|
snapshot
2019-05-12
Julien Moutinho
protocol: add preliminary support for trustees
commit
|
commitdiff
|
tree
|
snapshot
2019-05-12
Julien Moutinho
protocol: polish benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2019-05-12
Julien Moutinho
move test/ to tests/
commit
|
commitdiff
|
tree
|
snapshot
2019-05-11
Julien Moutinho
protocol: add benchmarks
commit
|
commitdiff
|
tree
|
snapshot
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