Optimize `none` base privatization, add eager Vojdani privatization#1552

Merged

sim642 merged 14 commits intomasterfrom

Dec 30, 2024

Commits on Aug 5, 2024

Fix none base privatization unsoundness in 02-base/51-spawn-special
sim642
committed

Commits on Sep 6, 2024

Merge branch 'master' into traces-vojdani
sim642
committed

Commits on Oct 25, 2024

Commits on Dec 20, 2024

Commits on Dec 30, 2024

Add vojdani privatization to 13-privatized/01-priv_nr cram test
sim642
committed