]> Git — Sourcephile - reloto.git/history - Htirage
sourcephile / git / reloto.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
stack: bump to lts-12.25
[reloto.git] / Htirage /
2018-08-30 Julien MoutinhoAdd Htirage.Sequence. tree | commitdiff
2017-08-04 Julien MoutinhoAdd QuickCheck tests. tree | commitdiff
2017-07-23 Julien MoutinhoUse only Integer, add boundary checks, document. tree | commitdiff
2017-07-22 Julien MoutinhoUse ranking/unranking algorithms. tree | commitdiff
Tools for publicly verifiable draws