Simplify/clean up memory/call restrictions.

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed strub closed 5 months ago

strub commented 6 months ago

Memory restrictions can now only be decorators of modules types in top-level abstract module declarations / quantifications.

Call restrictions can now only be decorators of procedure declarations in module types.

strub commented 6 months ago

Should this be tagged "breaking"?

Open your eyes.

alleystoughton commented 6 months ago

FWIW, works great for my developments!