Reduce memory usage
Reduce memory usage of strix.
-
Replace std::vector with custom thread-safe deque to avoid reallocations. -
Profile memory usage of different objects (PGArena, PGSolver, Automata, Java).
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Reduce memory usage of strix.