fix: Improve bidirectional memory allocation model#205

Merged

misonijnik merged 6 commits intoUnitTestBot:mainfrom

metametamoon:metametamoon/bidirectional-memory

Aug 4, 2025

Commits on Jul 17, 2025

feat: bidirectional memory proper handling
metametamoon
committed

Commits on Jul 18, 2025

fix: handling pointers in bitwuzla builder
metametamoon
committed

Commits on Jul 23, 2025

fix: memory leak in bidirectional
metametamoon
committed

Commits on Jul 24, 2025

Commits on Jul 31, 2025

fix: caching pointer resolutions wherever safe
metametamoon
committed