Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz | |
This renames api::Solver::checkValidAssuming to checkEntailed and removes api::Solver::checkValid. Internally, SmtEngine::query is renamed to SmtEngine::checkEntailed, and these changes are further propagated to the Result class. | |||
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |