feat: prune `InnerForest`#1635

Merged

Mirko-von-Leipzig merged 25 commits intomainfrom

bernhard-cleanup-inner-forest-for-main

Mar 4, 2026

Commits on Feb 16, 2026

Commits on Feb 17, 2026

add test to ensure raw and hashed keys are disambiguated
drahnr
committed

Commits on Feb 18, 2026

Merge remote-tracking branch 'origin/main' into bernhard-cleanup-inner-forest-for-main
drahnr
committed

Commits on Feb 23, 2026

migrate to LargeSmtForest
drahnr
committed

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026

Commits on Mar 4, 2026

Merge branch 'main' into bernhard-cleanup-inner-forest-for-main
Mirko-von-Leipzig
authored