search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Cleaning #873

Closed eponier closed 4 months ago

eponier commented 4 months ago

Two independent patches.

vbgl commented 4 months ago

Thanks. I’ve just added my unrelated stuff ;-)

vbgl commented 4 months ago

CI suggests future work (not to be addressed here):

Error: Cannot extract nontrivial sort polymorphism

eponier commented 4 months ago

Before merging, it would be nice if someone could give a look to the third commit.

Trivial removal of unused lemmas, so ok to me. I was sure that they were used, but apparently not anymore.