Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner | |
This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header. | |||
2020-03-31 | Remove replay and use-theory options and idl (#4186) | Andrew Reynolds | |
Towards disentangling Options / NodeManager / SmtEngine. This PR removes options --use-theory=NAME and --replay/--replay-log. Both of these options are highly complex, unused, and lead to complications when implementing the way options and our build system work. The first is motivated by making TheoryEngine use an "alternate" theory, which appears to e.g. make it so that TheoryIdl could entirely replace TheoryArith. I believe this is too heavy handed of a solution: there should a consistent TheoryArith class, and options should be used to enable/disable alternate modules within it. The second attempts to replay low level decisions from the SAT solver. It is documented as not working (in 1.0). I do not believe this is worth salvaging. It also removes the solver in src/theory/idl, which cannot be enabled after this commit. | |||
2020-02-11 | cmake: Remove unused ENABLE_OPTIMIZED option. (#3749) | Mathias Preiner | |
2019-09-06 | Remove portfolio (#3236) | Andrew Reynolds | |
2018-09-26 | cmake: Only print dumping warning if not disabled by user. (#2543) | Mathias Preiner | |
2018-09-22 | cmake: Do not allow dumping with portfolio build. | Aina Niemetz | |
2018-09-22 | cmake: Refactor and clean up build profile printing. | Aina Niemetz | |
2018-09-22 | cmake: Various portfolio/default option fixes. | Mathias Preiner | |
2018-09-22 | cmake: Enable shared by default. | Mathias Preiner | |
Further, force shared builds in case of unit tests. | |||
2018-09-22 | cmake: Add support for CxxTest. | Aina Niemetz | |
2018-09-22 | cmake: Added 3-valued option handling (to enable detection of user-set options). | Aina Niemetz | |
2018-09-22 | cmake: Add build configurations. | Aina Niemetz | |