search

jasmin-lang / jasmin

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

pretyping: factor tt_assign out of tt_instr #905

Closed vbgl closed 2 months ago

vbgl commented 2 months ago

The brand new tt_assign function should prove useful soon.