search

shingarov / MachineArithmetic

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

Update `apigen.py` and FFI to match Z3 4.13.0 #256

Closed janvrany closed 6 months ago

janvrany commented 6 months ago

This is one step towards #252