projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate Output macro in favor of simple Env functions (#7223)
[cvc5.git] / src / api /
2021-09-23 Gereon KremerEliminate Output macro in favor of simple Env functions... tree | commitdiff
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) tree | commitdiff
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081) tree | commitdiff
2021-09-13 Gereon KremerAdd Solver::isOutputOn() (#7187) tree | commitdiff
2021-09-10 mudathirmahgoubAdd Op.java to the java API (#6387) tree | commitdiff
2021-09-09 Gereon KremerAdd Solver::getOutput() (#7162) tree | commitdiff
2021-09-08 mudathirmahgoubAdd Datatype.java to the Java API (#6389) tree | commitdiff
2021-09-08 mudathirmahgoubAdd DatatypeConstructor.java, DatatypeConstructorDecl... tree | commitdiff
2021-09-02 Gereon KremerAdd API check whether option in getOptionInfo() exists... tree | commitdiff
2021-09-01 Andrew ReynoldsPrint response to get-model using the API (#7084) tree | commitdiff
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... tree | commitdiff
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) tree | commitdiff
2021-08-30 yoni206python docs for Datatype-related classes (#7058) tree | commitdiff
2021-08-27 Gereon KremerAdd Driver options (#7078) tree | commitdiff
2021-08-27 Andrew ReynoldsAdd missing methods to Solver API for models (#7052) tree | commitdiff
2021-08-27 yoni206Add `isNull` to cpp api tests, python api, and python... tree | commitdiff
2021-08-23 yoni206Adding parameters to Datatype python API documentation... tree | commitdiff
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) tree | commitdiff
2021-08-20 Gereon KremerMake driver use options from the solver (#6930) tree | commitdiff
2021-08-20 Andrew ReynoldsSimplify how user-provided quantifier attributes are... tree | commitdiff
2021-08-20 mudathirmahgoubAdd Term.java to the Java API (#6330) tree | commitdiff
2021-08-20 Gereon KremerAdd CVC5ApiOptionException (#6992) tree | commitdiff
2021-08-05 Alex OzdemirNormalize val in BitVector(val_str, base) (#6955) tree | commitdiff
2021-08-04 Gereon KremerRefactor managed streams (#6934) tree | commitdiff
2021-08-04 Gereon KremerAdd API function to get list of option names (#6971) tree | commitdiff
2021-08-04 Haniel Barbosa[proof] Add getProof to API and use it in GetProofComma... tree | commitdiff
2021-08-04 Alex OzdemirAdd IEEE-BV-to-FP to external-to-internal mapping in... tree | commitdiff
2021-07-31 Gereon KremerPerform statistics printing via the API (#6952) tree | commitdiff
2021-07-30 Gereon KremerAllow changing certain options while solving (#6945) tree | commitdiff
2021-07-28 makaimannFixes for building python wheels on manylinux2014 ... tree | commitdiff
2021-07-22 mudathirmahgoubAdd std::vector<Term> Op:: getIndices() and operator... tree | commitdiff
2021-07-14 Gereon KremerClean up option usage in command executor (#6844) tree | commitdiff
2021-07-08 makaimannAdd script to build wheel for pycvc5 (#6839) tree | commitdiff
2021-06-28 Andrew ReynoldsRename internal string kinds to match API (#6797) tree | commitdiff
2021-06-26 yoni206pow2 -- final changes (#6800) tree | commitdiff
2021-06-24 Aina Niemetzapi: getRealValue: Fix printing of integer values.... tree | commitdiff
2021-06-22 yoni206python api unit tests for Op (#6785) tree | commitdiff
2021-06-22 yoni206Python api unit tests for Result (#6763) tree | commitdiff
2021-06-21 mudathirmahgoubAdd Grammar.java to the java API (#6388) tree | commitdiff
2021-06-19 Ying ShengAdding python API test part 5 (#6743) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 yoni206pow2: adding a kind, inference rules, and some implemen... tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-09 Andres NoetzliUpdate CVC4 URLs/macros (#6666) tree | commitdiff
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) tree | commitdiff
2021-06-08 Alex OzdemirChange output of getRealValue to a fraction. (#6692) tree | commitdiff
2021-06-03 yoni206Adding unit tests for the datatypes python API (#6658) tree | commitdiff
2021-06-02 Andres NoetzliRemove references to `bv-div-zero-const` in docs (... tree | commitdiff
2021-06-02 yoni206Adding getters to the python API and testing them ... tree | commitdiff
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) tree | commitdiff
2021-06-01 yoni206Some additions to the datatypes python API (#6640) tree | commitdiff
2021-06-01 yoni206FP value support in python API (#6644) tree | commitdiff
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ... tree | commitdiff
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit... tree | commitdiff
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) tree | commitdiff
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... tree | commitdiff
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) tree | commitdiff
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... tree | commitdiff
2021-05-21 makaimannUse scikit-build CMake files for pycvc5 (#6543) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196) tree | commitdiff
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385) tree | commitdiff
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... tree | commitdiff
2021-05-13 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-13 Alex OzdemirFix error message in toPythonObj (#6524) tree | commitdiff
2021-05-10 mudathirmahgoubAdd doc to Kind.java (#6498) tree | commitdiff
2021-05-08 yoni206Adding functions to the python API and testing them... tree | commitdiff
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) tree | commitdiff
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... tree | commitdiff
2021-05-05 makaimannSave block comments associated with each kind when... tree | commitdiff
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482) tree | commitdiff
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) tree | commitdiff
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) tree | commitdiff
2021-04-27 Gereon KremerUse std::hash for API types (#6432) tree | commitdiff
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) tree | commitdiff
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386) tree | commitdiff
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) tree | commitdiff
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) tree | commitdiff
2021-04-16 Gereon KremerReplace SExpr class by simpler conversion routines... tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-15 Gereon KremerFix printing of stats when aborted. (#6362) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog... tree | commitdiff
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340) tree | commitdiff
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) tree | commitdiff
2021-04-14 Aina NiemetzRename public and private headers in src/include. ... tree | commitdiff
2021-04-14 Haniel Barbosa[unsat-cores] Improving new unsat cores (#6356) tree | commitdiff
2021-04-13 Abdalrhman MohamedFix sexpr bug with AST output language. (#6329) tree | commitdiff
2021-04-12 Andrew ReynoldsFix computation of whether a type is finite (#6312) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
next