Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-06-25 | Updated copyright headers. | Aina Niemetz | |
2018-04-25 | Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788) | yoni206 | |
2017-12-10 | Add new infrastructure for preprocessing passes (#1053) | justinxu421 | |
This commit adds new infrastructure for preprocessing passes. It is preparation only, it does not change how the current preprocessing passes work (this will be done in future commits). |