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