to-vampir Arithmetic Optimization

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Closed agureev closed 11 months ago

agureev commented 12 months ago

Introduces new functions optimizing arithmetic operations during compilation to VampIR, if possible.