search

jasmin-lang / jasmin

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

Renaming: report errors due to liveness conflicts #940

Open vbgl opened 1 month ago

vbgl commented 1 month ago

Fixes #483