https://github.com/EasyCrypt/easycrypt
History
Tip revision: f7b8664dcf5237042389e655a2e37b09177167f5 authored by Alley Stoughton on 30 June 2021, 15:32:30 UTC
Added Above Threshold and Report Noisy Max examples, which check
Tip revision: f7b8664
File Mode Size
AboveThreshold.ec -rw-r--r-- 4.9 KB
ReportNoisyMax.ec -rw-r--r-- 4.4 KB
betweenT.ec -rw-r--r-- 12.8 KB
betweenT2.ec -rw-r--r-- 10.8 KB
betweenT3.ec -rw-r--r-- 18.3 KB
example.ec -rw-r--r-- 7.3 KB
isv.ec -rw-r--r-- 5.4 KB
largemargin.ec -rw-r--r-- 2.1 KB

back to top