[Easycrypt-club] Syntax for weak checking of SMT ?

Pierre-Yves Strub pierre-yves at strub.nu
Thu Jan 18 22:22:01 CET 2018


And hop:

https://github.com/EasyCrypt/easycrypt/commit/26b6fd920f48e9720d63018de84c822bd95194f9

2018-01-18 19:33 GMT+01:00 Pierre-Yves Strub <pierre-yves at strub.nu>:
> There is no syntax, but a tactical could be added for that purpose. Note
> that six a tactical would have to fail in weak check mode.
>
> Le jeu. 18 janv. 2018 à 19:32, Bas Spitters <b.a.w.spitters at gmail.com> a
> écrit :
>>
>> What's the syntax that allows smt to fail?
>>
>> E.g. I want to do
>>
>> progress; smt().
>>
>> For debugging purposes.
>>
>> Thanks
>> _______________________________________________
>> Easycrypt-club mailing list
>> Easycrypt-club at lists.gforge.inria.fr
>> https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club


More information about the Easycrypt-club mailing list