Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-06-25 | Updated copyright headers. | Aina Niemetz | |
2017-11-03 | Sygus clean main (#1297) | Andrew Reynolds | |
* Remove front end hack for sygus. * Remove other hack, add sygus solution output mode. * Clang format * Minor * Fix * Minor * Remove unused field. |