Investigate caching of context extension

aic-sri-international / aic-expresso

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

BSD 3-Clause "New" or "Revised" License

8 stars 0 forks source link

Investigate caching of context extension #41

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Context extension is frequent and expensive. Can we cache it somehow?

Note: if issue #40 is very successful, this may become less necessary as a 
consequence.

Original issue reported on code.google.com by rodrigob...@gmail.com on 7 Feb 2014 at 1:33