abau / co4

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

optimize merge #75

Closed abau closed 10 years ago

abau commented 10 years ago

https://github.com/apunktbau/co4/commit/990590cb37d16795ebda33dcc7f06130b270c68b revertes commit https://github.com/apunktbau/co4/commit/440bbb8f692c0986210781c36eb8d74790043ae8 in order to allow built-in naturals with variable width. Unfortunately this increases the formula size due to the loss of an optimized merge operation. Fix EncodedAdt so that we can use the optimized merge again.

abau commented 10 years ago

fixed by https://github.com/apunktbau/co4/commit/2bfcb9b4d83bff0cf135e0e6f6d68a1acfc1b349