https://github.com/EasyCrypt/easycrypt
Revision d809ef878b302f324c3d94eb1344b7e0e19e2a87 authored by François Dupressoir on 13 April 2021, 15:50:46 UTC, committed by François Dupressoir on 13 April 2021, 15:50:46 UTC
This instantiates BigOp for Booleans (with xor, or, and and) and gets rid of the old Monoid library, which Hybrid arguments relied upon. Some proof cleaning left to do in Hybrid, Indist, and PKE_Hybrid.
1 parent 1b25ed4
Tip revision: d809ef878b302f324c3d94eb1344b7e0e19e2a87 authored by François Dupressoir on 13 April 2021, 15:50:46 UTC
StdLib: use bigops in generic Hybrid
StdLib: use bigops in generic Hybrid
Tip revision: d809ef8
File | Mode | Size |
---|---|---|
.github | ||
config | ||
examples | ||
lint | ||
scripts | ||
src | ||
theories | ||
.dir-locals.el | -rw-r--r-- | 285 bytes |
.gitignore | -rw-r--r-- | 515 bytes |
.merlin | -rw-r--r-- | 241 bytes |
COPYRIGHT | -rw-r--r-- | 581 bytes |
COPYRIGHT.yaml | -rw-r--r-- | 596 bytes |
MANIFEST | -rw-r--r-- | 623 bytes |
Makefile | -rw-r--r-- | 4.8 KB |
Makefile.system | -rw-r--r-- | 555 bytes |
README.md | -rw-r--r-- | 7.5 KB |
_tags | -rw-r--r-- | 812 bytes |
default.nix | -rw-r--r-- | 305 bytes |
easycrypt.png | -rw-r--r-- | 182.6 KB |
myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
opam | -rw-r--r-- | 1.0 KB |
Computing file changes ...