We are hiring ! See our job offers.
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
tests.config -rw-r--r-- 343 bytes

back to top