cvc5.git
2021-03-11 Aina NiemetzRemove obsolete test/api/statistics.cpp. (#6116)
2021-03-11 Aina NiemetzClean up ownership of Datatypes in NodeManager. (#6113)
2021-03-11 Aina NiemetzRefactor Node::getOperator() to fix compiler warning...
2021-03-11 Mathias PreinerUse CVC4_ASSERTIONS instead of NDEBUG. (#6099)
2021-03-11 Mathias PreinerAdd GitHub action to automatically update approved...
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095)
2021-03-10 Aina NiemetzNew C++ Api: Add missing argument checks in Solver...
2021-03-10 Andrew ReynoldsAdd Env class (#6093)
2021-03-10 Andrew V. JonesImproved handing of 'lib64' vs. 'lib' for glpk-cut...
2021-03-10 Haniel Barbosa[proof-new] Clarifying doc (#6108)
2021-03-10 Aina NiemetzMove ExprManager::isNAryKind to NodeManager. (#6107)
2021-03-10 Gereon KremerImprove arithmetic proofs (#6106)
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097)
2021-03-10 Andrew Reynolds(proof-new) Update ppRewrite to use skolem lemmas ...
2021-03-10 Andrew ReynoldsFix extended equality rewrite involving replace. (...
2021-03-10 Andrew ReynoldsFix term registration and non-theory-preprocessed terms...
2021-03-10 Andrew ReynoldsAdd quant elim regression (#6103)
2021-03-10 Andrew Reynolds(proof-new) Replace witness form by original form in...
2021-03-10 Mathias Preinertest: Fix missing std::. (#6096)
2021-03-09 Aina NiemetzNew C++ Api: Use const ref for arguments when possible...
2021-03-09 Andrew ReynoldsMerge initialization steps in TheoryModelBuilder (...
2021-03-09 Andrew ReynoldsRemove logic request (#6089)
2021-03-09 Aina NiemetzNew C++ Api: Migrate stats collection for consts, vars...
2021-03-09 Aina NiemetzContextObj::destroy(): Guard against invalid use. ...
2021-03-09 Aina NiemetzNew C++ Api: Clean up usage of internal kind. (#6087)
2021-03-09 Andrew Reynolds(proof-new) Minor fix and allow proof option (#6085)
2021-03-09 Aina NiemetzNew C++ API: Reorder and clean up cpp file. (#6086)
2021-03-09 Gereon KremerAdd missing include if GLPK is enabled. (#6084)
2021-03-09 Gereon KremerSome more cleanup of includes (#6083)
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2021-03-09 Aina NiemetzNew C++ API: Migrate to Node layer. (#6070)
2021-03-08 Aina NiemetzRefactor ouroborous API test to not use Expr. (#6079)
2021-03-08 Mathias Preinercontrib: Do not use HOST env variable for cross-compila...
2021-03-08 Andrew ReynoldsFix handling of negation of Boolean bound variables...
2021-03-08 Aina NiemetzBuild api tests in build/bin/test/api. (#6076)
2021-03-08 Andrew Reynolds(proof-new) Separating optimizations for strings skolem...
2021-03-08 Andrew Reynolds(proof-new) Prepare arithmetic for changes to ppRewrite...
2021-03-08 Andrew ReynoldsSimplify theory preprocessing (#6058)
2021-03-08 Gereon KremerFix justification heuristic again (#6074)
2021-03-08 Andrew ReynoldsDo not process conjunctions as facts in strings (#6065)
2021-03-06 Mathias PreinerRemove partial UDIV/UREM operators. (#6069)
2021-03-06 Mathias PreinerRemove SMT-LIB 2.5 and 2.0 support. (#6068)
2021-03-05 yoni206Set logic in interpolation unit test. (#6067)
2021-03-05 mcjunehoInitial implementation of an optimization solver with...
2021-03-05 Aina Niemetzgoogle test: Remove obsolete Expr test fixtures. (...
2021-03-05 Gereon KremerReimplement time limit mechanism for windows (#6049)
2021-03-05 Aina Niemetzgoogle test: Remove dependency on ExprManager in type_c...
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of interal datatype classes...
2021-03-04 Aina NiemetzAdd initial bit-blaster for proof logging. (#6053)
2021-03-04 Aina NiemetzNew C++ Api: Clean up usage of internal types in Term...
2021-03-04 Gereon KremerAdd proper define for libpoly usage (#6050)
2021-03-04 Gereon KremerAdd cmake scripts for iwyu targets. (#6042)
2021-03-04 Aina NiemetzFix nightlies. (#6052)
2021-03-04 Gereon KremerIgnore isInConflict when adding conflicts (#5995)
2021-03-04 Aina NiemetzFix nightlies. (#6048)
2021-03-04 Aina Niemetzcontext_black: Clean up classes. (#6046)
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Type/TypeNodes...
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Result. (#6043)
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal types in Op...
2021-03-03 Gereon KremerRemove obsolete gcc check. (#6041)
2021-03-03 Andrew Reynolds(proof-new) Simplifications to arithmetic operator...
2021-03-03 Gereon KremerMore cleanup of includes to reduce compilation times...
2021-03-03 Abdalrhman... Remove uses of SExpr class. (#6035)
2021-03-03 mudathirmahgoubAdd tuple projection operator (#5904)
2021-03-02 Mathias PreinerRemove non-ASCII characters from source files. (#6039)
2021-03-02 Gereon KremerImprove handling of utf8 encoded inputs (#5694)
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038)
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033)
2021-03-02 Mathias PreinerFix nightly errors. (#6034)
2021-03-02 Andrew ReynoldsIntroduce quantifiers term registry (#5983)
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031)
2021-03-02 Aina Niemetzgoogle test: util: Migrate floatingpoint_black. (#6021)
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inve...
2021-03-01 Aina Niemetzgoogle test: util: Migrate bitvector_black. (#6015)
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_quantifiers_bv_inst...
2021-03-01 Gereon KremerRefactor collection of debug and trace tags (#5996)
2021-03-01 Mathias PreinerMake -Werror optional but enable it for CI. (#6032)
2021-03-01 Aina Niemetzgoogle test: util: Migrate stats_black. (#6029)
2021-03-01 Aina Niemetzgoogle test: util: Migrate real_algebraic_number_black...
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_white. (#6027)
2021-03-01 Aina Niemetzgoogle test: util: Migrate rational_black. (#6026)
2021-03-01 Aina Niemetzgoogle test: util: Migrate output_black. (#6025)
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_black. (#6023)
2021-03-01 Aina Niemetzgoogle test: util: Migrate datatype_black. (#6019)
2021-03-01 Aina Niemetzgoogle test: util: Migrate configuration_black. (#6018)
2021-03-01 Aina Niemetzgoogle test: util: Migrate boolean_simplification_black...
2021-03-01 Aina Niemetzgoogle test: util: Migrate array_store_all_white. ...
2021-03-01 Aina Niemetzgoogle test: util: Migrate integer_white. (#6024)
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_skolem_cach...
2021-03-01 Aina Niemetzgoogle test: theory: Migrate theory_strings_word_white...
2021-02-27 Aina Niemetzgoogle test: util: Migrate exception_black. (#6020)
2021-02-27 Aina Niemetzgoogle test: util: Migrate check_white. (#6017)
2021-02-27 Aina Niemetzgoogle test: util: Migrate cardinality_black. (#6016)
2021-02-27 Aina Niemetzgoogle test: theory: Migrate theory_white. (#6006)
2021-02-26 Aina Niemetzgoogle test: theory: Migrate type_enumerator_white...
2021-02-26 Haniel BarbosaSome formatting and better tracing in prop engine ...
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_rules_whi...
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_enumerato...
2021-02-26 Mathias PreinerFix -Werror issues with clang and use clang for debug...
2021-02-26 Aina Niemetzgoogle test: util: Migrate binary_heap_black. (#6012)
next