proc change/rewrite: can be applied to if/while/match conditions/targets

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

306 stars 46 forks source link

Closed strub closed 2 months ago

bgregoir commented 2 months ago

It would be nice to add one or two exemple of usage.

strub commented 2 months ago

It would be nice to add one or two exemple of usage.

See tests/procchange.ec & tests/procrewrite.ec