projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix run_regression for cvc expected outputs (#6317)
[cvc5.git] / test /
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
2021-04-05 Andrew ReynoldsAdd benchmark for issue 4412 (#6287) tree | commitdiff
2021-04-05 Haniel Barbosa[proof-new] Registering proof checkers uniformly from... tree | commitdiff
2021-04-05 Andrew ReynoldsEnable UF when pre-skolem nested option is enabled... tree | commitdiff
2021-04-05 Andrew ReynoldsFix subtyping for sets care graph (#6278) tree | commitdiff
2021-04-05 yoni206A proposal for python api unit tests (#6255) tree | commitdiff
2021-04-05 Yancheng OuOptimizer for BitVectors (#6213) tree | commitdiff
2021-04-03 Andrew ReynoldsDisable substring component contains in strip endpoints... tree | commitdiff
2021-04-02 Andrew ReynoldsFix case where RE unfolding generates a trivially true... tree | commitdiff
2021-04-01 Andrew ReynoldsSimplify caching of regular expression unfolding (... tree | commitdiff
2021-04-01 Andrew ReynoldsFix type rule for to_real (#6257) tree | commitdiff
2021-04-01 Andrew ReynoldsAdd regression for issue 6191 (#6264) tree | commitdiff
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
2021-03-30 Andrew ReynoldsImplement simple tracking of instantiation lemmas ... tree | commitdiff
2021-03-30 Abdalrhman MohamedGive a better error when sygus grammar rules contain... tree | commitdiff
2021-03-29 Gereon KremerAdd external project to install gtest (#6229) tree | commitdiff
2021-03-29 yoni206Modular bv2int part 1 (#6212) tree | commitdiff
2021-03-25 Mathias PreinerDo not use Configuration class in API black tests.... tree | commitdiff
2021-03-25 Haniel BarbosaDeleting old LFSC signatures (#6194) tree | commitdiff
2021-03-24 Gereon KremerOnly consider relevant terms for integer branches ... tree | commitdiff
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... tree | commitdiff
2021-03-23 Abdalrhman MohamedReplace old sygus term reconstruction algorithm with... tree | commitdiff
2021-03-22 Andrew Reynolds Function types are always first-class (#6167) tree | commitdiff
2021-03-22 Andrew ReynoldsGuard for non-unique skolems in term formula removal... tree | commitdiff
2021-03-21 Andrew ReynoldsSimplify strings term registration (#6174) tree | commitdiff
2021-03-19 Aina NiemetzBitVector: Change setBit to set the bit in place. ... tree | commitdiff
2021-03-18 Abdalrhman MohamedEliminate more uses of SExpr. (#6149) tree | commitdiff
2021-03-17 Aina NiemetzRename test/unit/expr to test/unit/node. (#6156) tree | commitdiff
2021-03-17 Aina NiemetzRename fixtures in test/unit/context to conform to... tree | commitdiff
2021-03-17 Aina NiemetzRename fixtures in test/unit/base to conform to naming... tree | commitdiff
2021-03-16 Mathias Preinerci: Enable checking of proofs + unsat cores. (#6088) tree | commitdiff
2021-03-16 Haniel Barbosa[proof-new] Renaming proof option to be in sync with... tree | commitdiff
2021-03-16 Haniel Barbosa[proof-new] Disabling proofs on regressions with known... tree | commitdiff
2021-03-15 Andrew ReynoldsFix rewrite for double replace (#6152) tree | commitdiff
2021-03-15 Gereon KremerReplace HistogramStat by IntegralHistogramStat (#6126) tree | commitdiff
2021-03-15 Andrew ReynoldsMake nonlinear extension account for relevant term... tree | commitdiff
2021-03-15 Andrew ReynoldsLetify quantifier bodies independently (#6112) tree | commitdiff
2021-03-12 Aina NiemetzAdd more unit tests for api::Sort. (#6122) tree | commitdiff
2021-03-11 Gereon KremerMake linear arithmetic use its inference manager (... tree | commitdiff
2021-03-11 Gereon KremerFirst refactoring of statistics classes (#6105) tree | commitdiff
2021-03-11 Aina NiemetzDelete Expr layer. (#6117) tree | commitdiff
2021-03-11 Aina NiemetzRemove obsolete test/api/statistics.cpp. (#6116) tree | commitdiff
2021-03-11 Aina NiemetzRefactor Node::getOperator() to fix compiler warning... tree | commitdiff
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) tree | commitdiff
2021-03-10 Aina NiemetzMove ExprManager::isNAryKind to NodeManager. (#6107) tree | commitdiff
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097) tree | commitdiff
2021-03-10 Andrew ReynoldsFix extended equality rewrite involving replace. (... tree | commitdiff
2021-03-10 Andrew ReynoldsFix term registration and non-theory-preprocessed terms... tree | commitdiff
2021-03-10 Andrew ReynoldsAdd quant elim regression (#6103) tree | commitdiff
2021-03-10 Mathias Preinertest: Fix missing std::. (#6096) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-08 Aina NiemetzRefactor ouroborous API test to not use Expr. (#6079) tree | commitdiff
2021-03-08 Andrew ReynoldsFix handling of negation of Boolean bound variables... tree | commitdiff
2021-03-08 Aina NiemetzBuild api tests in build/bin/test/api. (#6076) tree | commitdiff
2021-03-06 Mathias PreinerRemove partial UDIV/UREM operators. (#6069) tree | commitdiff
2021-03-06 Mathias PreinerRemove SMT-LIB 2.5 and 2.0 support. (#6068) tree | commitdiff
2021-03-05 yoni206Set logic in interpolation unit test. (#6067) tree | commitdiff
2021-03-05 mcjunehoInitial implementation of an optimization solver with... tree | commitdiff
2021-03-05 Aina Niemetzgoogle test: Remove obsolete Expr test fixtures. (... tree | commitdiff
2021-03-05 Aina Niemetzgoogle test: Remove dependency on ExprManager in type_c... tree | commitdiff
2021-03-04 Aina NiemetzFix nightlies. (#6052) tree | commitdiff
2021-03-04 Aina NiemetzFix nightlies. (#6048) tree | commitdiff
2021-03-04 Aina Niemetzcontext_black: Clean up classes. (#6046) tree | commitdiff
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Result. (#6043) tree | commitdiff
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal types in Op... tree | commitdiff
2021-03-03 Gereon KremerMore cleanup of includes to reduce compilation times... tree | commitdiff
2021-03-03 Abdalrhman MohamedRemove uses of SExpr class. (#6035) tree | commitdiff
2021-03-03 mudathirmahgoubAdd tuple projection operator (#5904) tree | commitdiff
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038) tree | commitdiff
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) tree | commitdiff
2021-03-02 Aina Niemetzgoogle test: util: Migrate floatingpoint_black. (#6021) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inve... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate bitvector_black. (#6015) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inst... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate stats_black. (#6029) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate real_algebraic_number_black... tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_white. (#6027) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_black. (#6026) tree | commitdiff
2021-03-01 Aina Niemetzgoogle test: util: Migrate output_black. (#6025) tree | commitdiff
next