https://github.com/EasyCrypt/easycrypt
History
Tip revision: 8e47fe3d10d154d0653552a905fee3a3113265d4 authored by Pierre-Yves Strub on 03 December 2021, 16:11:39 UTC
Fix bug that prevents `rewrite //= in h` to simplify in `h`
Tip revision: 8e47fe3
File Mode Size
Counter.eca -rw-r--r-- 2.2 KB
OracleBounds.ec -rw-r--r-- 8.8 KB

back to top