We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
History
Tip revision: 9aa0214de04ea4187d3967674cb7fd4b6a4e7d28 authored by Benjamin Gregoire on 10 November 2022, 10:42:11 UTC
fix previous merge ... + fix printing
Tip revision: 9aa0214
File Mode Size
tests.config -rw-r--r-- 326 bytes

back to top