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
History
Tip revision: e12e2c2f2d80489ea5981a51f4362c947b05079d authored by Pierre-Yves Strub on 14 October 2019, 08:38:48 UTC
This commit introduces two major features.
Tip revision: e12e2c2

back to top