search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

allow Nat operations with inputs of different bit width #73

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

... by expanding the shorter number with leading zeroes, then calling the original operation. (There may be more efficient implementations, but for now it should be good enough. These leading zeroes are statically known, so the formulas might get simplified automatically.)

abau commented 10 years ago

fixed by https://github.com/apunktbau/co4/commit/4cfb16a448f271627cb8874fa2098937a0f8d771

As outlined in issue https://github.com/apunktbau/co4/issues/75, this comes with a significant penalty in form of increased formula sizes.