projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify computation of relevant terms in datatypes (#6885)
[cvc5.git] / test /
2021-05-27 OuyanchengAdd support for Box optimization (#6599) tree | commitdiff
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) tree | commitdiff
2021-05-26 Andres Noetzli More precise includes of `Node` constants (#6617) tree | commitdiff
2021-05-26 Gereon KremerEnsure proper types in unit tests (#6598) tree | commitdiff
2021-05-25 Andres Noetzli[Unit tests] Fix path of Java bindings (#6616) tree | commitdiff
2021-05-24 Andrew ReynoldsFix non-fixed length case in re-elim (#6612) tree | commitdiff
2021-05-24 Andrew ReynoldsMove proof utilities to src/proof/ (#6611) tree | commitdiff
2021-05-24 Andrew ReynoldsFix re-elim length requirement for symbolic RE membersh... tree | commitdiff
2021-05-24 Andrew ReynoldsFix instance of no rewrite in extended rewriter (#6610) tree | commitdiff
2021-05-21 Andrew ReynoldsFix tests of unsat cores (#6593) tree | commitdiff
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... tree | commitdiff
2021-05-21 Andres NoetzliSupport braced-init-lists with `mkNode()` (#6580) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-20 Aina NiemetzFix echo printing. (#6573) tree | commitdiff
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-19 Andrew ReynoldsPass empty vector when constructing re empty, fixes... tree | commitdiff
2021-05-19 Ying ShengAdding python API test part 4 (#6553) tree | commitdiff
2021-05-19 Haniel BarbosaAdding regressions that failed on old unsat cores ... tree | commitdiff
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571) tree | commitdiff
2021-05-19 Ying ShengAdding python API test part 3 (#6552) tree | commitdiff
2021-05-19 Andrew ReynoldsFix positive contains indexof rewrites for empty string... tree | commitdiff
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) tree | commitdiff
2021-05-18 Abdalrhman MohamedLoop over terms to reconstruct instead of obligations... tree | commitdiff
2021-05-18 Andres NoetzliFix `collectEmptyEqs()` in string utils (#6562) tree | commitdiff
2021-05-18 Ying ShengAdding python API test part 2 (#6551) tree | commitdiff
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196) tree | commitdiff
2021-05-17 Andres NoetzliFix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites... tree | commitdiff
2021-05-17 Ying ShengAdding python API test (#6546) tree | commitdiff
2021-05-17 yoni206Move and enhance python API grammar tests (#6538) tree | commitdiff
2021-05-17 Gereon KremerImprove integration of CAD with nl-Ext (#6542) tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) 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-12 Andrew ReynoldsEnsure sequences of Booleans generate Boolean term... tree | commitdiff
2021-05-10 Andrew ReynoldsUnify top-level substitutions and model substitutions... 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 Aina NiemetzMove slow regressions and update guidelines. (#6508) tree | commitdiff
2021-05-07 Aina NiemetzFix and add missing REQUIRE labels for FP regression... tree | commitdiff
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... tree | commitdiff
2021-05-06 Andrew ReynoldsDiscard duplicate terms in patterns (#6501) tree | commitdiff
2021-05-04 Aina NiemetzFP: Move removal of generic to_fp operations to rewrite... tree | commitdiff
2021-05-03 Aina NiemetzFP: Rewrite to_fp conversion from signed bit-vector... tree | commitdiff
2021-05-03 Aina NiemetzSymFPU: Automatically apply patch from 2020-11-14.... tree | commitdiff
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468) tree | commitdiff
2021-04-30 OuyanchengRefactor optimization result and objective classes... tree | commitdiff
2021-04-30 Andrew ReynoldsUse substitutions for implementing defined functions... tree | commitdiff
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... tree | commitdiff
2021-04-27 Andrew ReynoldsAdd internal support for datatype update (#6450) tree | commitdiff
2021-04-27 Andrew ReynoldsMove slow regression to regress3 (#6451) tree | commitdiff
2021-04-27 Andrew ReynoldsFix refutational soundness bug in quantifier prenexing... tree | commitdiff
2021-04-25 Andrew ReynoldsMore check models (#6439) tree | commitdiff
2021-04-24 Andrew ReynoldsImprove getValue for non-evaluated operators (#6436) tree | commitdiff
2021-04-22 Andrew ReynoldsFix models for sygus-inference, bv2int, real2int (... tree | commitdiff
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) tree | commitdiff
2021-04-22 Andres NoetzliAllow in-place construction of `CDList` items (#6409) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-21 Andrew ReynoldsAdd unit test for abduction (#6400) 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 Aina NiemetzRemove support for CVC3 language. (#6369) tree | commitdiff
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) tree | commitdiff
2021-04-19 Andrew ReynoldsFully incorporate quantifiers macros into ppAssert... tree | commitdiff
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... tree | commitdiff
2021-04-15 Aina Niemetzpreprocessing context: Add wrapper for model substituti... tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-15 Andrew ReynoldsReenable regression for minimizing instantiations ... tree | commitdiff
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) tree | commitdiff
2021-04-14 Abdalrhman MohamedMerge equivalent sub-obligations instead of discarding... tree | commitdiff
2021-04-14 Andrew ReynoldsWarn about infeasible SyGuS conjectures (#6345) tree | commitdiff
2021-04-13 Andrew ReynoldsRefactor quantifiers macros (#6348) 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 Gereon KremerRefactor resource manager (#6322) 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
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) tree | commitdiff
2021-04-09 Andrew ReynoldsAdd regressions for issue 6214 (#6305) tree | commitdiff
2021-04-09 Andres NoetzliLearn equalities involving Boolean variables (#6323) tree | commitdiff
2021-04-09 Andrew ReynoldsAvoid spurious runs in run_regression.py (#6318) tree | commitdiff
2021-04-08 Andrew ReynoldsFix run_regression for cvc expected outputs (#6317) tree | commitdiff
2021-04-08 Andrew ReynoldsAdd identifiers for sources of incompleteness (#6311) tree | commitdiff
2021-04-08 Andrew ReynoldsAdd benchmark for issue 5101 (#6301) tree | commitdiff
2021-04-08 Andrew ReynoldsAdd benchmark for issue 4400 (#6288) tree | commitdiff
2021-04-08 Andrew ReynoldsInitial support for parametric datatypes in sygus ... tree | commitdiff
2021-04-07 Andrew ReynoldsAdd benchmark for 6270 (#6283) tree | commitdiff
2021-04-07 Haniel Barbosa[proof-new] Fixing SMT post-processor's handling of... tree | commitdiff
2021-04-07 Andrew ReynoldsAdd benchmark for issue 4420 (#6286) tree | commitdiff
2021-04-07 Andrew ReynoldsFixes for abducts (#6279) tree | commitdiff
2021-04-07 Andrew ReynoldsReplace calls to NodeManager::mkSkolem with SkolemManag... tree | commitdiff
2021-04-06 Mathias Preinercmake: Add helper to check if a given Python module... tree | commitdiff
2021-04-06 Andrew ReynoldsAdd benchmark for issue 5942 (#6296) tree | commitdiff
2021-04-06 Andres NoetzliRemove template argument from `NodeBuilder` (#6290) tree | commitdiff
2021-04-06 Andrew ReynoldsFix tptp parser for negative rational (#6297) tree | commitdiff
2021-04-06 Andrew ReynoldsFix issue with lemma during equality engine iterator... tree | commitdiff
2021-04-06 Andrew ReynoldsRemove stdPrintAscii option (#6280) tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-05 Andrew ReynoldsFix spurious antecedant for symbolic regular expression... tree | commitdiff
next