projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding some missing python API methods and tests (#8441)
[cvc5.git] / test / unit /
2021-12-21 yoni206Rewrite (pow2 x) to (pow 2 x) when x is a constant... tree | commitdiff
2021-12-21 Gereon KremerDisable unit tests without poly (#7844) 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 Gereon KremerFix tracker in SubstitutionMap (#7829) 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 Andrew ReynoldsEnsure match terms are exhaustive in its type rule... tree | commitdiff
2021-12-14 Andrew ReynoldsEliminate static calls to rewrite in strings (#7803) tree | commitdiff
2021-12-14 Andrew ReynoldsThrow exception for getting value of non-well-founded... tree | commitdiff
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... tree | commitdiff
2021-12-13 yoni206Integrate new int-blaster (#7781) tree | commitdiff
2021-12-10 Aina NiemetzReorganize declareDatatype unit tests. (#7767) tree | commitdiff
2021-12-10 Andrew ReynoldsRefactor and fixes related to getSpecializedConstructor... tree | commitdiff
2021-12-09 Mathias Preinertest: Remove CDList memory limit test. (#7777) tree | commitdiff
2021-12-08 Andrew ReynoldsFix type rule for datatype updater for parametric sorts... tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-08 Aina Niemetzapi: Fix Sort::getDatatypeArity() for non-parametric... tree | commitdiff
2021-12-08 Gereon KremerImprove options tests (#7761) tree | commitdiff
2021-12-07 makaimannAdd bitwise option to IntBlaster (#7721) tree | commitdiff
2021-12-03 Andrew ReynoldsCheck constructor is used in APPLY_CONSTRUCTOR (#7737) 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 Gereon KremerRemove void as possible option type (#7731) tree | commitdiff
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) tree | commitdiff
2021-12-02 Gereon KremerAdd unit tests for api::Solver::setOption() (#7708) tree | commitdiff
2021-11-30 yoni206Translating more cpp API unit tests to python (#7669) tree | commitdiff
2021-11-25 Aina Niemetzapi: Refactor mkTerm for kinds with arity = 0. (#7699) tree | commitdiff
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) tree | commitdiff
2021-11-24 Andres NoetzliRemove dependency of `TypeNode` on `Node` (#7690) tree | commitdiff
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-20 yoni206bv2int module: translation of more cases (#7653) tree | commitdiff
2021-11-19 Mathias PreinerAllow negative denominator for CLN Rationals constructe... tree | commitdiff
2021-11-18 Aina Niemetzapi: Fix kind documentation for BAG_MAKE. (#7663) tree | commitdiff
2021-11-17 Gereon Kremermake default and modes strings instead of enum values... tree | commitdiff
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-13 mudathirmahgoubFix type error for rewriting bag.map bag.union_disjoint... 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-11 Abdalrhman MohamedAdd an API method to get the raw name of a term. (... tree | commitdiff
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) tree | commitdiff
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) tree | commitdiff
2021-11-09 Aina NiemetzClean up ctest configuration and CI test configuration... tree | commitdiff
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... tree | commitdiff
2021-11-09 Gereon KremerRemove `CVC5Message` (#7610) tree | commitdiff
2021-11-08 mudathirmahgoubexpand bag.choose operator (#7481) 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 Gereon KremerRemove `Notice()` in favor of new `verbose()` (#7588) tree | commitdiff
2021-11-05 Gereon KremerRemove `Chat()` in favor of new `verbose()` (#7586) 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 Aina NiemetzAdd unit test to cover previous failure with second... tree | commitdiff
2021-11-03 mudathirmahgoubEnable CI for Junit tests (#7436) tree | commitdiff
2021-11-03 Andrew ReynoldsRefactor skolem construction (#7561) tree | commitdiff
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) tree | commitdiff
2021-11-01 Gereon KremerRefactor DidYouMean (#7535) tree | commitdiff
2021-10-31 mudathirmahgoubFix soundess issue for bags with negative multiplicity... tree | commitdiff
2021-10-29 Andrew ReynoldsAdd PfRule ARITH_POLY_NORM (#7501) 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-27 Andrew ReynoldsAvoid non-terminating check with assumptions in strings... tree | commitdiff
2021-10-25 Andrew ReynoldsJava and python unit tests for mkCardinalityConstraint... tree | commitdiff
2021-10-22 mudathirmahgoubRefactor java package name from cvc5 to io.github.cvc5... tree | commitdiff
2021-10-22 yoni206Making `IntBlaster` inherit from `EnvObj` (#7431) 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-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) tree | commitdiff
2021-10-20 yoni206Add `isNull` and `isUpdater` to `Sort` class of python... tree | commitdiff
2021-10-20 Andrew ReynoldsCheck for higher-order variables in TheoryUF::ppRewrite... 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-20 Andrew ReynoldsUse codatatype bound variables for codatatype values... tree | commitdiff
2021-10-11 Aina NiemetzRename SmtScope to SolverEngineScope. (#7284) tree | commitdiff
2021-10-07 Andrew ReynoldsMove preprocessor to smt solver (#7321) 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 Andrew ReynoldsEliminating static calls to rewriter from strings ... tree | commitdiff
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) 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
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-30 mudathirmahgoubFinish the Java Api (#6396) tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-29 mudathirmahgoubAdd Sort.java to the java API (#6382) tree | commitdiff
2021-09-24 Andrew ReynoldsEliminate calls to Rewriter::rewrite from strings entai... tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-22 Andrew ReynoldsTowards standard usage of evaluator (#7189) tree | commitdiff
2021-09-22 OuyanchengFix solver_black unit test (#7233) 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-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... tree | commitdiff
next