search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321 stars 49 forks source link

cleanup: remove the `dump` command #557

Closed strub closed 5 months ago

strub commented 5 months ago

The dump allowed to prettify EasyCrypt files. It was unmaintained and is not used by any known project.

alleystoughton commented 5 months ago

dump is used by the existing reference manual - and I use it extensively for my tutorials on EasyCrypt. Or is this a different dump command? E.g.,

dump "examp1" 50 (byequiv (_ : true ==> ={res})).
strub commented 5 months ago

dump is used by the existing reference manual - and I use it extensively for my tutorials on EasyCrypt. Or is this a different dump command? E.g.,

dump "examp1" 50 (byequiv (_ : true ==> ={res})).

Fair enough. I am keeping it then.