search

usubalang / usuba

A programming language to write bitsliced ciphers
https://usubalang.github.io/usuba
MIT License
56 stars 11 forks source link

`inline_core`: remove Hashtbl? #62

Open pedagand opened 2 years ago

pedagand commented 2 years ago

Do we really need a Hashtbl there (ie, do we remove things from it as we traverse terms?), or is it just a Map initialized at the beginnning and then acted upon by the various update_* functions.