projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Require size argument for mkBitVector. (#6998)
[cvc5.git] / src / api / cpp / cvc5.cpp
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) blob | commitdiff | raw
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