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
.gitignore
*~
_build
*.native
*.byte
*.exe
*.pyc
*.pyo
.vagrant
/local
/why3
/_tools
/proofgeneral/_local
setup.data
setup.log
/attic
/attic.ec*
/theories/attic
/system/*.o
/system/callprover
/system/callprover.exe
*.aux
*.bbl
*.blg
*.brf
*.fdb_latexmk
*.fls
*.idx
*.ilg
*.ind
*.log
*.out
*.toc
*.synctex.gz
*.kilepr
*.eco
/src/ecVersion.ml
/doc/refman/easycrypt.pdf
/doc/userman/easycrypt.pdf
/extraction/Makefile
/extraction/setup.*
/extraction/configure
/extraction/_build/
/sandbox
/attic
/*.ec
*.eco
/*.smt
/*.why
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...