EasyCrypt / easycrypt

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

The tactic `swap` now takes generalized code position. #650

Closed strub closed 1 month ago

strub commented 1 month ago

Moreover, offsets can bow be absolute (i.e. can be a code-position). In that case, the meaning is "move the code block before the targetted instruction".

This work brings some breaking changes: