projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support get-abduct-next (#7850)
[cvc5.git] / src / api / cpp / cvc5.h
2021-12-21 Andrew ReynoldsSupport get-abduct-next (#7850) blob | commitdiff | raw
2021-12-20 Andrew ReynoldsAllow SyGuS subsolver to be reused in incremental mode... blob | commitdiff | raw | diff to current
2021-12-17 Andrew ReynoldsMinor refactoring of API for eliminating arithmetic... blob | commitdiff | raw | diff to current
2021-12-17 Andrew ReynoldsGet getRealOrIntegerValueSign to the API (#7832) blob | commitdiff | raw | diff to current
2021-12-17 Aina Niemetzapi: Rename DatatypeSelector::getRangeSort() to getCodo... blob | commitdiff | raw | diff to current
2021-12-17 Aina Niemetzapi: Add Solver::mkUnresolvedSort(). (#7817) blob | commitdiff | raw | diff to current
2021-12-16 Aina Niemetzapi: Add Sort::hasSymbol() and Sort::getSymbol(). ... blob | commitdiff | raw | diff to current
2021-12-15 Aina Niemetzapi: Fix smt-lib code blocks and math in C++ docs.... blob | commitdiff | raw | diff to current
2021-12-14 Aina Niemetzapi: Add note to Solver::mkDatatypeSorts. (#7799) blob | commitdiff | raw | diff to current
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... blob | commitdiff | raw | diff to current
2021-12-10 Aina Niemetzapi: Use 'note' constructs for API documentation. ... blob | commitdiff | raw | diff to current
2021-12-09 Aina Niemetzapi: Add note to Sort::getTesterCodomainSort(). (#7776) blob | commitdiff | raw | diff to current
2021-12-08 Aina Niemetzapi: Improve documentation for getDatatypeParamSorts... blob | commitdiff | raw | diff to current
2021-12-03 Andrew ReynoldsProper error for using constructor in multiple datatype... blob | commitdiff | raw | diff to current
2021-11-19 Andres Noetzli[API] Avoid copying values (#7666) blob | commitdiff | raw | diff to current
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) blob | commitdiff | raw | diff to current
2021-11-11 Abdalrhman MohamedAdd an API method to get the raw name of a term. (... blob | commitdiff | raw | diff to current
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) blob | commitdiff | raw | diff to current
2021-11-10 Mathias Preinerjava: Fix building cvc5.jar for cmake 3.16. (#7623) blob | commitdiff | raw | diff to current
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... blob | commitdiff | raw | diff to current
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-11-06 Abdalrhman MohamedPrint `unsupported` for unrecognized flags. (#7384) blob | commitdiff | raw | diff to current
2021-11-03 Aina Niemetzapi: Rename some separation logic functions for consist... blob | commitdiff | raw | diff to current
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term.... blob | commitdiff | raw | diff to current
2021-10-27 yoni206Python api documentation for sorts (#7440) blob | commitdiff | raw | diff to current
2021-10-25 Andrew ReynoldsJava and python unit tests for mkCardinalityConstraint... blob | commitdiff | raw | diff to current
2021-10-22 mudathirmahgoubAdd missing methods to Solver.java (#7299) blob | commitdiff | raw | diff to current
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) blob | commitdiff | raw | diff to current
2021-10-21 Gereon KremerWorking on windows builds (#7381) blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Improve documentation for special cases with nulla... blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Rename get(BV|FP)*Size functions for consistency... blob | commitdiff | raw | diff to current
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums... blob | commitdiff | raw | diff to current
2021-10-12 Ouyanchengfix deprecation of std::iterator (#7332) blob | commitdiff | raw | diff to current
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) blob | commitdiff | raw | diff to current
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303) blob | commitdiff | raw | diff to current
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) blob | commitdiff | raw | diff to current
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278) blob | commitdiff | raw | diff to current
2021-09-29 Andres Noetzli[API] Update comments w.r.t. SymFPU, fix typos (#7263) blob | commitdiff | raw | diff to current
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) blob | commitdiff | raw | diff to current
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) blob | commitdiff | raw | diff to current
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081) blob | commitdiff | raw | diff to current
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187) blob | commitdiff | raw | diff to current
2021-09-09 Gereon KremerAdd Solver::getOutput() (#7162) blob | commitdiff | raw | diff to current
2021-09-01 Andrew ReynoldsPrint response to get-model using the API (#7084) blob | commitdiff | raw | diff to current
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... blob | commitdiff | raw | diff to current
2021-08-30 Gereon KremerAdd API function to obtain information about a single... blob | commitdiff | raw | diff to current
2021-08-30 yoni206python docs for Datatype-related classes (#7058) blob | commitdiff | raw | diff to current
2021-08-27 Gereon KremerAdd Driver options (#7078) blob | commitdiff | raw | diff to current
2021-08-27 Andrew ReynoldsAdd missing methods to Solver API for models (#7052) blob | commitdiff | raw | diff to current
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) blob | commitdiff | raw | diff to current
2021-08-20 Gereon KremerMake driver use options from the solver (#6930) blob | commitdiff | raw | diff to current
2021-08-20 Gereon KremerAdd CVC5ApiOptionException (#6992) blob | commitdiff | raw | diff to current
2021-08-05 Alex OzdemirNormalize val in BitVector(val_str, base) (#6955) blob | commitdiff | raw | diff to current
2021-08-04 Gereon KremerRefactor managed streams (#6934) blob | commitdiff | raw | diff to current
2021-08-04 Gereon KremerAdd API function to get list of option names (#6971) blob | commitdiff | raw | diff to current
2021-08-04 Haniel Barbosa[proof] Add getProof to API and use it in GetProofComma... blob | commitdiff | raw | diff to current
2021-07-31 Gereon KremerPerform statistics printing via the API (#6952) blob | commitdiff | raw | diff to current
2021-07-22 mudathirmahgoubAdd std::vector<Term> Op:: getIndices() and operator... blob | commitdiff | raw | diff to current
2021-07-14 Gereon KremerClean up option usage in command executor (#6844) blob | commitdiff | raw | diff to current
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) blob | commitdiff | raw | diff to current
2021-06-09 Andres NoetzliUpdate CVC4 URLs/macros (#6666) blob | commitdiff | raw | diff to current
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerMinor improvements to the API (#6585) blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) blob | commitdiff | raw | diff to current
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) blob | commitdiff | raw | diff to current
2021-04-27 Gereon KremerUse std::hash for API types (#6432) blob | commitdiff | raw | diff to current
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386) blob | commitdiff | raw | diff to current
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog... blob | commitdiff | raw | diff to current
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340) blob | commitdiff | raw | diff to current
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-09 Aina NiemetzNew C++ Api: Initial layout of Api documentation. ... blob | commitdiff | raw | diff to current
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... blob | commitdiff | raw | diff to current
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) blob | commitdiff | raw | diff to current