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
History
Tip revision: d809ef878b302f324c3d94eb1344b7e0e19e2a87 authored by François Dupressoir on 13 April 2021, 15:50:46 UTC
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

README.md

back to top