EasyCrypt / easycrypt

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

Improve code positions (match + extended assignments) #654

Closed Cameron-Low closed 3 weeks ago

Cameron-Low commented 4 weeks ago
strub commented 3 weeks ago

If you don't mind, making two PR (you make two things in that PR) would make more sense. (I'd like to use the PR for generating a changelog)

Cameron-Low commented 3 weeks ago

Removed the new print command from this PR.

strub commented 3 weeks ago

Could you add an example? And then, we'll be good to go.

Cameron-Low commented 3 weeks ago

I've added the test, and made minor changes to pp_codepos to account for the recent changes to main.