search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Reification is slow in 8.5 #73

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Reported by @jesper-bengtson

gmalecha commented 8 years ago

This seems (at least partially) fixed in c02290d993e74189a6cdf3720f3b0f12e2d21123 which adds 1-level discrimination tree. There is still potential for speedups, but this brought 3.5s down to about 0.5s.

Re-open if we need more performance.