projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
More fixes and improvements for query generator (#7988)
[cvc5.git] / src / api /
2022-01-18 Andres Noetzli[API] Add missing arity check (#7905) tree | commitdiff
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... tree | commitdiff
2022-01-11 Aina Niemetzapi: Fix formatting of docs for Term::getSetValue(... tree | commitdiff
2022-01-10 Andrew ReynoldsCheck arity in Sort::instantiate (#7897) tree | commitdiff
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) tree | commitdiff
2022-01-10 Matthew SotoudehAvoid gcc/10.1.0 bug by moving some configuration into... tree | commitdiff
2022-01-06 Andrew ReynoldsMake alpha equivalence user context dependent (#7889) tree | commitdiff
2022-01-05 Aina Niemetzcppapi: Remove Datatype::hasNestedRecursion(). (#7878) tree | commitdiff
2022-01-05 Aina Niemetzapi: Add missing guard for Datatype::isFinite(). (... tree | commitdiff
2022-01-05 Alex OzdemirDon't use python's collections.Set (#7875) tree | commitdiff
2022-01-05 yoni206Properly set __file__ in python bindings (#7867) tree | commitdiff
2022-01-04 mudathirmahgoubAdd bag.member operator to theory of bags (#7857) tree | commitdiff
2022-01-04 yoni206Adding interpolation and abduction to the python API... tree | commitdiff
2022-01-04 Aina Niemetzapi: Remove redundant check in Term::toString(). (... tree | commitdiff
2022-01-03 Aina Niemetzapi: Remove redundant check in Sort::toString(). (... tree | commitdiff
2021-12-22 Andrew ReynoldsAdd support for incremental + interpolants (#7853) tree | commitdiff
2021-12-21 Andrew ReynoldsSupport get-abduct-next (#7850) tree | commitdiff
2021-12-20 Andrew ReynoldsAllow SyGuS subsolver to be reused in incremental mode... tree | commitdiff
2021-12-17 Aina Niemetzapi: java: Support default arity for Solver::mkUnresolv... tree | commitdiff
2021-12-17 Andrew ReynoldsMinor refactoring of API for eliminating arithmetic... tree | commitdiff
2021-12-17 Andrew ReynoldsGet getRealOrIntegerValueSign to the API (#7832) tree | commitdiff
2021-12-17 Aina Niemetzapi: Rename DatatypeSelector::getRangeSort() to getCodo... tree | commitdiff
2021-12-17 Aina Niemetzapi: Add Solver::mkUnresolvedSort(). (#7817) tree | commitdiff
2021-12-16 Aina Niemetzapi: Add Sort::hasSymbol() and Sort::getSymbol(). ... tree | commitdiff
2021-12-15 Aina Niemetzapi: Fix smt-lib code blocks and math in C++ docs.... tree | commitdiff
2021-12-14 Andrew ReynoldsThrow exception for getting value of non-well-founded... tree | commitdiff
2021-12-14 Aina Niemetzapi: Add note to Solver::mkDatatypeSorts. (#7799) tree | commitdiff
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... tree | commitdiff
2021-12-10 Aina Niemetzapi: Use 'note' constructs for API documentation. ... tree | commitdiff
2021-12-10 Andrew ReynoldsRefactor and fixes related to getSpecializedConstructor... tree | commitdiff
2021-12-09 Aina Niemetzapi: Add note to Sort::getTesterCodomainSort(). (#7776) tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-08 Aina Niemetzapi: Improve documentation for getDatatypeParamSorts... tree | commitdiff
2021-12-08 Aina Niemetzapi: Fix Sort::getDatatypeArity() for non-parametric... tree | commitdiff
2021-12-03 Aina Niemetzapi: Fix docs for TUPLE_PROJECT. (#7741) tree | commitdiff
2021-12-03 Andrew ReynoldsProper error for using constructor in multiple datatype... tree | commitdiff
2021-12-02 Gereon KremerAdd explicit 64bit getters for Integer class (#7728) tree | commitdiff
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) tree | commitdiff
2021-12-01 Mathias Preinerapi: Add missing bit-width 0 check to mkBVFromStrHelper... tree | commitdiff
2021-12-01 mudathirmahgoubEnable Java examples (#7702) tree | commitdiff
2021-11-25 Aina Niemetzapi: Refactor mkTerm for kinds with arity = 0. (#7699) tree | commitdiff
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) tree | commitdiff
2021-11-23 yoni206Python API documentation: terms (#7659) tree | commitdiff
2021-11-19 Andres Noetzli[API] Avoid copying values (#7666) tree | commitdiff
2021-11-18 Aina Niemetzapi: Fix categorization of DT kinds in kind maps. ... tree | commitdiff
2021-11-18 Aina Niemetzapi: Fix kind documentation for BAG_MAKE. (#7663) tree | commitdiff
2021-11-17 Alex OzdemirUpdate Python packaging infrastructure (#7654) tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-13 mudathirmahgoubAdd operator set.map to theory of sets (#7641) tree | commitdiff
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) tree | commitdiff
2021-11-12 Gereon KremerVarious minor docs improvements (#7626) tree | commitdiff
2021-11-11 Abdalrhman MohamedAdd an API method to get the raw name of a term. (... tree | commitdiff
2021-11-11 Andrew ReynoldsGeneralize front-end checks to check for shadowed varia... tree | commitdiff
2021-11-11 Andrew ReynoldsAdd lazy approach for handling lambdas in the HO extens... tree | commitdiff
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) tree | commitdiff
2021-11-10 Mathias Preinerjava: Fix building cvc5.jar for cmake 3.16. (#7623) tree | commitdiff
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) tree | commitdiff
2021-11-09 Abdalrhman MohamedRemove redundant rules for generating Java and Python... tree | commitdiff
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... tree | commitdiff
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-06 Gereon KremerIntegrate java unit tests into ctest (#7593) tree | commitdiff
2021-11-06 Abdalrhman MohamedPrint `unsupported` for unrecognized flags. (#7384) tree | commitdiff
2021-11-06 Gereon KremerRemove `Notice()` in favor of new `verbose()` (#7588) tree | commitdiff
2021-11-05 Gereon KremerFix some issues with the java api (#7583) tree | commitdiff
2021-11-04 Gereon KremerStart refactoring of `-o` and `-v` (#7449) tree | commitdiff
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) tree | commitdiff
2021-11-03 Aina Niemetzapi: Rename some separation logic functions for consist... tree | commitdiff
2021-11-03 mudathirmahgoubEnable CI for Junit tests (#7436) tree | commitdiff
2021-11-01 Aina Niemetzapi: Fix documentation for kind IAND. (#7536) tree | commitdiff
2021-10-31 Mathias Preinerapi: Add guard against querying value from term with... tree | commitdiff
2021-10-28 Andrew V. JonesAdd support for checking if a `-Wno` flag exists before... tree | commitdiff
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term.... tree | commitdiff
2021-10-28 Gereon KremerRemove separate cpp docs for UnknownExplanation (#7516) tree | commitdiff
2021-10-27 Andrew ReynoldsAdd missing API checks to getValue (#7475) tree | commitdiff
2021-10-27 yoni206Python api documentation for sorts (#7440) tree | commitdiff
2021-10-27 mudathirmahgoubFix mac compile errors in sort.cpp (#7507) tree | commitdiff
2021-10-25 Andrew ReynoldsJava and python unit tests for mkCardinalityConstraint... tree | commitdiff
2021-10-24 mudathirmahgoubDelete redundant file option_Info.cpp (#7477) tree | commitdiff
2021-10-22 mudathirmahgoubRefactor java package name from cvc5 to io.github.cvc5... tree | commitdiff
2021-10-22 mudathirmahgoubAdd missing methods to Solver.java (#7299) tree | commitdiff
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) tree | commitdiff
2021-10-21 Gereon KremerWorking on windows builds (#7381) tree | commitdiff
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) tree | commitdiff
2021-10-20 Aina Niemetzapi: Improve documentation for special cases with nulla... tree | commitdiff
2021-10-20 yoni206Add `isNull` and `isUpdater` to `Sort` class of python... tree | commitdiff
2021-10-20 Andrew ReynoldsCheck whether abduct option is enabled (#7418) tree | commitdiff
2021-10-20 Aina Niemetzapi: Rename get(BV|FP)*Size functions for consistency... tree | commitdiff
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums... tree | commitdiff
2021-10-15 Alex OzdemirFix bad cast in the python API (#7359) tree | commitdiff
2021-10-12 Ouyanchengfix deprecation of std::iterator (#7332) tree | commitdiff
2021-10-07 Gereon KremerAdd new versioning scheme (#7253) tree | commitdiff
2021-10-07 mudathirmahgoubAdd missing functions in Term.java (#7297) tree | commitdiff
2021-10-07 Gereon KremerChange behaviour of Term::getRealValue() (#7316) tree | commitdiff
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303) tree | commitdiff
2021-10-04 Gereon KremerVarious improvements to documentation (#7283) tree | commitdiff
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-10-01 Gereon KremerFix some python docstrings which lead to sphinx warning... tree | commitdiff
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) tree | commitdiff
2021-09-30 Aina NiemetzRename files smt_engine.(cpp|h) to solver_engine.(cpp... tree | commitdiff
next