search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

Implement convenient variable renaming in Z3 ASTs #211

Closed shingarov closed 8 months ago