search

jasmin-lang / jasmin

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

Add x86 instructions BTR/BTS #932

Closed vbgl closed 1 month ago

vbgl commented 1 month ago

~This is missing EasyCrypt definitions.~