Sharing - Githubissues

Virtlink / redgreen-aterms

An ATerms library that uses red-green trees.

4 stars 1 forks source link

Open Virtlink opened 7 years ago

Virtlink commented 7 years ago

Implement some term sharing. The current implementation doesn't share anything.

[ ] Implement caching using a hash map.
[ ] Implement more intelligent caching where old items are evicted when the cache is full.
[ ] Write test for sharing.