https://github.com/EasyCrypt/easycrypt
Revision e12e2c2f2d80489ea5981a51f4362c947b05079d authored by Pierre-Yves Strub on 14 October 2019, 08:38:48 UTC, committed by Pierre-Yves Strub on 14 October 2019, 08:39:46 UTC
- call by value reduction strategy. - user defined reduction rules. Co-authored-by: Pierre-Yves Strub <pierre-yves@strub.nu> Co-authored-by: Benjamin Gregoire <benjamin.gregoire@inria.fr>
1 parent 651df3f
Tip revision: e12e2c2f2d80489ea5981a51f4362c947b05079d authored by Pierre-Yves Strub on 14 October 2019, 08:38:48 UTC
This commit introduces two major features.
This commit introduces two major features.
Tip revision: e12e2c2
File | Mode | Size |
---|---|---|
algebra | ||
analysis | ||
core | ||
crypto | ||
datatypes | ||
distributions | ||
encryption | ||
looping | ||
modules | ||
newth | ||
oldlibs | ||
prelude | ||
query_counting | ||
structure | ||
tactics |
Computing file changes ...