search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Reduce memory usage of CGIA #48

Closed mhyee closed 10 years ago

cpkleynhans commented 10 years ago

Doesn't look like the generational memory allocator will work. Clauses aren't immutable.

cpkleynhans commented 10 years ago

This was solved by Joseph in #54 . While it doesn't reduce the memory usage of checkpointing itself, it does reduce the memory usage of CGIA which is what this issue is concerned with.

Closing this issue.