Add "zero_allow_untested_optimizer" option in conf file - #173
Merged
ShadenSmith merged 12 commits intoMar 27, 2020
Merged
Commits
Commits on Mar 26, 2020
- committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo
Commits on Mar 27, 2020
- committed
Calogero Zarbo - committed
Calogero Zarbo - committed
Calogero Zarbo - authored
Shaden Smith