We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: f938f3815f806f96b58417a9fb91ad0e5df8f7cc authored by François Dupressoir on 24 March 2022, 15:55:56 UTC
Tighten the ROM bad call results
Tip revision: f938f38
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top