You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
…is turned off.
- This is important now, since we need to free memory for running non-trivial tests and micro-benchmarks.
- This works only when not using MorphStore's own memory manager, since it does not fully support freeing yet.
- The solution still contains some workarounds, see issue #19.
--> global interface for memory (w/ + w/o selfmanaged memory). No workarounds!
The text was updated successfully, but these errors were encountered: