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

Bas Spitters b.a.w.spitters at gmail.com
Fri Jan 19 16:33:44 CET 2018


Thanks!

On Thu, Jan 18, 2018 at 10:22 PM, Pierre-Yves Strub
<pierre-yves at strub.nu> wrote:
> 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