search

gmalecha / mirror-core

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

Simplify the [rtac] type #87

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Determine if the caching is actually a performance win and remove it if it isn't.

gmalecha commented 8 years ago

Preliminary tests suggest that this is beneficial (at least on the canceller).

gmalecha commented 8 years ago

Done in b0c3f3a88dbf4853bd9ff03a46073641fa004263