Optimize none base privatization, add eager Vojdani privatization#1552
Open
sim642 wants to merge 10 commits intomasterfrom traces-vojdani
+181-51
none base privatization, add eager Vojdani privatization#1552