projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add missing API checks to getValue (#7475)
[cvc5.git] / src / api / cpp / cvc5.cpp
2021-10-27 Andrew ReynoldsAdd missing API checks to getValue (#7475) blob | commitdiff | raw
2021-10-25 Andrew ReynoldsJava and python unit tests for mkCardinalityConstraint... 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-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) blob | commitdiff | raw | diff to current
2021-10-20 Andrew ReynoldsCheck whether abduct option is enabled (#7418) 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-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) blob | commitdiff | raw | diff to current
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) blob | commitdiff | raw | diff to current
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp... blob | commitdiff | raw | diff to current
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... blob | commitdiff | raw | diff to current
2021-09-23 Gereon KremerEliminate Output macro in favor of simple Env functions... 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-02 Gereon KremerAdd API check whether option in getOptionInfo() exists... 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 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) 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-27 yoni206Add `isNull` to cpp api tests, python api, and python... 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 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-08-04 Alex OzdemirAdd IEEE-BV-to-FP to external-to-internal mapping in... 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-30 Gereon KremerAllow changing certain options while solving (#6945) 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-28 Andrew ReynoldsRename internal string kinds to match API (#6797) blob | commitdiff | raw | diff to current
2021-06-26 yoni206pow2 -- final changes (#6800) blob | commitdiff | raw | diff to current
2021-06-24 Aina Niemetzapi: getRealValue: Fix printing of integer values.... blob | commitdiff | raw | diff to current
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerRemove public option wrappers (#6716) blob | commitdiff | raw | diff to current
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) blob | commitdiff | raw | diff to current
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) blob | commitdiff | raw | diff to current
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... blob | commitdiff | raw | diff to current
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) 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-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) 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-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... blob | commitdiff | raw | diff to current
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) blob | commitdiff | raw | diff to current
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) 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-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) 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-16 Gereon KremerReplace SExpr class by simpler conversion routines... 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-15 Gereon KremerFix printing of stats when aborted. (#6362) blob | commitdiff | raw | diff to current
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) blob | commitdiff | raw | diff to current
2021-04-14 Haniel Barbosa[unsat-cores] Improving new unsat cores (#6356) blob | commitdiff | raw | diff to current
2021-04-13 Abdalrhman MohamedFix sexpr bug with AST output language. (#6329) blob | commitdiff | raw | diff to current
2021-04-12 Andrew ReynoldsFix computation of whether a type is finite (#6312) 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-07 Aina NiemetzNew C++ Api: Rename and move checks.h. (#6306) 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 Andres NoetzliRemove template argument from `NodeBuilder` (#6290) blob | commitdiff | raw | diff to current
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) blob | commitdiff | raw | diff to current