user reduction: fix some incompleteness issues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

321 stars 49 forks source link

user reduction: fix some incompleteness issues #623

Closed strub closed 2 months ago

strub commented 2 months ago

Record projectors being operators, they are subject to user defined rules.

Fix #319

alleystoughton commented 2 months ago

This works for me! You have two unused variable warnings in ecCallbyValue.ml, so I'm not going to approve it, as auto-merge is turned on, assuming you'd like to fix this first.

strub commented 2 months ago

Indeed. Fixed.

strub commented 2 months ago

The CI should compile with warnings-as-errors.