https://github.com/EasyCrypt/easycrypt
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
Added Above Threshold and Report Noisy Max examples, which check
Tip revision: f7b8664
File | Mode | Size |
---|---|---|
ecPhlAequiv.ml | -rw-r--r-- | 19.7 KB |
ecPhlAequiv.mli | -rw-r--r-- | 897 bytes |
ecPhlApp.ml | -rw-r--r-- | 10.5 KB |
ecPhlApp.mli | -rw-r--r-- | 915 bytes |
ecPhlAuto.ml | -rw-r--r-- | 4.1 KB |
ecPhlAuto.mli | -rw-r--r-- | 733 bytes |
ecPhlBdHoare.ml | -rw-r--r-- | 5.5 KB |
ecPhlBdHoare.mli | -rw-r--r-- | 731 bytes |
ecPhlCall.ml | -rw-r--r-- | 16.1 KB |
ecPhlCall.mli | -rw-r--r-- | 1.2 KB |
ecPhlCase.ml | -rw-r--r-- | 2.9 KB |
ecPhlCase.mli | -rw-r--r-- | 815 bytes |
ecPhlCodeTx.ml | -rw-r--r-- | 7.0 KB |
ecPhlCodeTx.mli | -rw-r--r-- | 1.1 KB |
ecPhlCond.ml | -rw-r--r-- | 5.7 KB |
ecPhlCond.mli | -rw-r--r-- | 683 bytes |
ecPhlConseq.ml | -rw-r--r-- | 51.9 KB |
ecPhlConseq.mli | -rw-r--r-- | 2.6 KB |
ecPhlCoreView.ml | -rw-r--r-- | 2.1 KB |
ecPhlCoreView.mli | -rw-r--r-- | 669 bytes |
ecPhlDeno.ml | -rw-r--r-- | 18.7 KB |
ecPhlDeno.mli | -rw-r--r-- | 870 bytes |
ecPhlEager.ml | -rw-r--r-- | 22.0 KB |
ecPhlEager.mli | -rw-r--r-- | 3.6 KB |
ecPhlEqobs.ml | -rw-r--r-- | 16.8 KB |
ecPhlEqobs.mli | -rw-r--r-- | 610 bytes |
ecPhlExists.ml | -rw-r--r-- | 7.2 KB |
ecPhlExists.mli | -rw-r--r-- | 861 bytes |
ecPhlFel.ml | -rw-r--r-- | 9.3 KB |
ecPhlFel.mli | -rw-r--r-- | 814 bytes |
ecPhlFun.ml | -rw-r--r-- | 19.3 KB |
ecPhlFun.mli | -rw-r--r-- | 2.2 KB |
ecPhlHiAuto.ml | -rw-r--r-- | 4.3 KB |
ecPhlHiAuto.mli | -rw-r--r-- | 557 bytes |
ecPhlHiBdHoare.ml | -rw-r--r-- | 2.7 KB |
ecPhlHiBdHoare.mli | -rw-r--r-- | 590 bytes |
ecPhlHiCond.ml | -rw-r--r-- | 1.5 KB |
ecPhlHiCond.mli | -rw-r--r-- | 587 bytes |
ecPhlInline.ml | -rw-r--r-- | 13.8 KB |
ecPhlInline.mli | -rw-r--r-- | 1.0 KB |
ecPhlLoopTx.ml | -rw-r--r-- | 10.5 KB |
ecPhlLoopTx.mli | -rw-r--r-- | 1.3 KB |
ecPhlPr.ml | -rw-r--r-- | 6.0 KB |
ecPhlPr.mli | -rw-r--r-- | 960 bytes |
ecPhlPrRw.ml | -rw-r--r-- | 7.6 KB |
ecPhlPrRw.mli | -rw-r--r-- | 678 bytes |
ecPhlRCond.ml | -rw-r--r-- | 4.5 KB |
ecPhlRCond.mli | -rw-r--r-- | 861 bytes |
ecPhlRnd.ml | -rw-r--r-- | 16.5 KB |
ecPhlRnd.mli | -rw-r--r-- | 1.3 KB |
ecPhlSkip.ml | -rw-r--r-- | 2.8 KB |
ecPhlSkip.mli | -rw-r--r-- | 550 bytes |
ecPhlSp.ml | -rw-r--r-- | 10.2 KB |
ecPhlSp.mli | -rw-r--r-- | 594 bytes |
ecPhlSwap.ml | -rw-r--r-- | 6.4 KB |
ecPhlSwap.mli | -rw-r--r-- | 999 bytes |
ecPhlSym.ml | -rw-r--r-- | 1.6 KB |
ecPhlSym.mli | -rw-r--r-- | 555 bytes |
ecPhlTAuto.ml | -rw-r--r-- | 1.2 KB |
ecPhlTAuto.mli | -rw-r--r-- | 588 bytes |
ecPhlTrans.ml | -rw-r--r-- | 6.6 KB |
ecPhlTrans.mli | -rw-r--r-- | 1.0 KB |
ecPhlWhile.ml | -rw-r--r-- | 20.4 KB |
ecPhlWhile.mli | -rw-r--r-- | 931 bytes |
ecPhlWp.ml | -rw-r--r-- | 5.6 KB |
ecPhlWp.mli | -rw-r--r-- | 948 bytes |