]> Git — Sourcephile - majurity.git/commit
protocol: polish benchmarks
authorJulien Moutinho <julm+hjugement@autogeree.net>
Sun, 12 May 2019 11:55:03 +0000 (11:55 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Sun, 12 May 2019 11:55:03 +0000 (11:55 +0000)
commit55c4b429a89a8960101635a2070a331954b535f2
treea41ce64ee25a0798a4a1299f92fd108a53e55c66
parent9b0b439e67a565a73dd16d61d41127f7cbbc498d
protocol: polish benchmarks
hjugement-protocol/benchmarks/Election.hs
hjugement-protocol/benchmarks/Utils.hs
hjugement-protocol/benchmarks/html/.gitignore [new file with mode: 0644]