projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-04-14 Abdalrhman... Merge equivalent sub-obligations instead of discarding... commit | commitdiff | tree
2021-04-14 Andrew ReynoldsWarn about infeasible SyGuS conjectures (#6345) commit | commitdiff | tree
2021-04-14 Haniel Barbosa[proof-new] Fix explanation of literals in SAT proof... commit | commitdiff | tree
2021-04-14 Haniel Barbosa[proof-new] Miscellaneous improvements to dot printer... commit | commitdiff | tree
2021-04-14 Gereon KremerFix libpoly build and use new release (#6354) commit | commitdiff | tree
2021-04-13 Andrew ReynoldsAdd pool instantiation strategy (#6308) commit | commitdiff | tree
2021-04-13 Andrew ReynoldsRefactor quantifiers macros (#6348) commit | commitdiff | tree
2021-04-13 Mathias Preinerci: Use CVC5_REGRESSION_ARGS. (#6347) commit | commitdiff | tree
2021-04-13 Andrew ReynoldsFormalize more skolems (#6307) commit | commitdiff | tree
2021-04-13 Aina NiemetzAPI docs: Add custom target to build for GH pages.... commit | commitdiff | tree
2021-04-13 Abdalrhman... Avoid using substitute's input cache after the method... commit | commitdiff | tree
2021-04-13 Abdalrhman... Fix sexpr bug with AST output language. (#6329) commit | commitdiff | tree
2021-04-13 Aina NiemetzBags: Move more implementation of type rule from header... commit | commitdiff | tree
2021-04-12 Aina NiemetzStrings: Move implementation of type rules from header... commit | commitdiff | tree
2021-04-12 Andrew ReynoldsFix computation of whether a type is finite (#6312) commit | commitdiff | tree
2021-04-12 Gereon KremerRefactor resource manager (#6322) commit | commitdiff | tree
2021-04-12 Gereon KremerOnly require GMP 6.1 (#6332) commit | commitdiff | tree
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) commit | commitdiff | tree
2021-04-12 Andrew ReynoldsConsolidate interface to prop engine (#6189) commit | commitdiff | tree
2021-04-12 Andres NoetzliFix GitHub Actions macOS build (#6331) commit | commitdiff | tree
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) commit | commitdiff | tree
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) commit | commitdiff | tree
2021-04-09 Aina NiemetzNew C++ Api: Initial layout of Api documentation. ... commit | commitdiff | tree
2021-04-09 Haniel Barbosa[proof-new] Optimizing sat proof (#6324) commit | commitdiff | tree
2021-04-09 Andrew ReynoldsAdd identifiers for extended function reductions (... commit | commitdiff | tree
2021-04-09 Andrew ReynoldsAdd regressions for issue 6214 (#6305) commit | commitdiff | tree
2021-04-09 Andres NoetzliLearn equalities involving Boolean variables (#6323) commit | commitdiff | tree
2021-04-09 Andrew ReynoldsAvoid spurious runs in run_regression.py (#6318) commit | commitdiff | tree
2021-04-09 Andrew ReynoldsUse expr miner timeout (#6321) commit | commitdiff | tree
2021-04-09 Gereon KremerAdd missing InferenceIds to toString (#6320) commit | commitdiff | tree
2021-04-08 Andrew ReynoldsFix run_regression for cvc expected outputs (#6317) commit | commitdiff | tree
2021-04-08 Gereon KremerUse newer version of update-pr-branch action. (#6315) commit | commitdiff | tree
2021-04-08 Andrew ReynoldsUse exceptions when constructing malformed datatypes... commit | commitdiff | tree
2021-04-08 Andrew ReynoldsAdd identifiers for sources of incompleteness (#6311) commit | commitdiff | tree
2021-04-08 Andrew ReynoldsAdd benchmark for issue 5101 (#6301) commit | commitdiff | tree
2021-04-08 Andrew ReynoldsAdd benchmark for issue 4400 (#6288) commit | commitdiff | tree
2021-04-08 Andrew ReynoldsInitial support for parametric datatypes in sygus ... commit | commitdiff | tree
2021-04-07 Aina NiemetzRemove old API header. (#6309) commit | commitdiff | tree
2021-04-07 Andrew ReynoldsAdd cardinality class definition (#6302) commit | commitdiff | tree
2021-04-07 Andrew ReynoldsAdd benchmark for 6270 (#6283) commit | commitdiff | tree
2021-04-07 Haniel Barbosa[proof-new] Fixing SMT post-processor's handling of... commit | commitdiff | tree
2021-04-07 Andrew ReynoldsAdd benchmark for issue 4420 (#6286) commit | commitdiff | tree
2021-04-07 Andrew ReynoldsSet incomplete if not applying ho extensionality (... commit | commitdiff | tree
2021-04-07 Andrew ReynoldsFixes for abducts (#6279) commit | commitdiff | tree
2021-04-07 Aina NiemetzNew C++ Api: Rename and move checks.h. (#6306) commit | commitdiff | tree
2021-04-07 Andrew Reynolds(proof-new) Proper implementation of proof node cloning... commit | commitdiff | tree
2021-04-07 Andrew ReynoldsAdd term pools utility (#6243) commit | commitdiff | tree
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... commit | commitdiff | tree
2021-04-07 Andrew ReynoldsReplace calls to NodeManager::mkSkolem with SkolemManag... commit | commitdiff | tree
2021-04-07 Mathias Preinercmake: Do not always regenerate cvc4kinds.{pxi,pxd... commit | commitdiff | tree
2021-04-06 Mathias Preinercmake: Add helper to check if a given Python module... commit | commitdiff | tree
2021-04-06 Andrew ReynoldsAdd benchmark for issue 5942 (#6296) commit | commitdiff | tree
2021-04-06 Andres NoetzliRemove template argument from `NodeBuilder` (#6290) commit | commitdiff | tree
2021-04-06 Andrew ReynoldsFix tptp parser for negative rational (#6297) commit | commitdiff | tree
2021-04-06 Andrew ReynoldsFix issue with lemma during equality engine iterator... commit | commitdiff | tree
2021-04-06 Mathias Preinergenkinds: Do not use relative paths to find src directo... commit | commitdiff | tree
2021-04-06 Andrew ReynoldsRemove stdPrintAscii option (#6280) commit | commitdiff | tree
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) commit | commitdiff | tree
2021-04-06 Mathias Preinerparsekinds: Remove DEFAULT_HEADER. (#6294) commit | commitdiff | tree
2021-04-05 mudathirmahgoubAdd documentation for theory_bags_type_rules.h (#6268) commit | commitdiff | tree
2021-04-05 Andrew ReynoldsFix spurious antecedant for symbolic regular expression... commit | commitdiff | tree
2021-04-05 Andrew ReynoldsAdd benchmark for issue 4412 (#6287) commit | commitdiff | tree
2021-04-05 Haniel Barbosa[proof-new] Registering proof checkers uniformly from... commit | commitdiff | tree
2021-04-05 Andrew ReynoldsEnable UF when pre-skolem nested option is enabled... commit | commitdiff | tree
2021-04-05 NicolaasWeidemanpython: Fix type casting in mkBitVector (#6261) commit | commitdiff | tree
2021-04-05 Andrew ReynoldsFix subtyping for sets care graph (#6278) commit | commitdiff | tree
2021-04-05 Andrew ReynoldsAdd interface for skolem functions in SkolemManager... commit | commitdiff | tree
2021-04-05 yoni206A proposal for python api unit tests (#6255) commit | commitdiff | tree
2021-04-05 Yancheng OuOptimizer for BitVectors (#6213) commit | commitdiff | tree
2021-04-03 Andrew ReynoldsDisable substring component contains in strip endpoints... commit | commitdiff | tree
2021-04-02 Gereon KremerAdd cache for new dependencies folder. (#6265) commit | commitdiff | tree
2021-04-02 Mathias Preinercmake: Do not link against main object library. (#6269) commit | commitdiff | tree
2021-04-02 Gereon KremerNew statistics registry (#6210) commit | commitdiff | tree
2021-04-02 Gereon KremerMinor refactoring (#6273) commit | commitdiff | tree
2021-04-02 Andrew ReynoldsCleaning up friend relationships for commands (#6254) commit | commitdiff | tree
2021-04-02 Andrew ReynoldsFix case where RE unfolding generates a trivially true... commit | commitdiff | tree
2021-04-02 Gereon KremerFindCaDiCaL: Avoid redirect to file (#6272) commit | commitdiff | tree
2021-04-01 Gereon KremerAdd utility classes for new statistics (#6178) commit | commitdiff | tree
2021-04-01 Andrew ReynoldsSimplify caching of regular expression unfolding (... commit | commitdiff | tree
2021-04-01 Aina NiemetzFP: Factor out symfpu traits. (#6246) commit | commitdiff | tree
2021-04-01 Andrew ReynoldsFix type rule for to_real (#6257) commit | commitdiff | tree
2021-04-01 Andrew ReynoldsAdd regression for issue 6191 (#6264) commit | commitdiff | tree
2021-04-01 Aina NiemetzDelete hashsmt example. (#6263) commit | commitdiff | tree
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) commit | commitdiff | tree
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) commit | commitdiff | tree
2021-04-01 Aina Niemetzkinds: Remove non-existent properties. (#6253) commit | commitdiff | tree
2021-04-01 Andrew Reynolds Add debug traces to theory inference manager (#6250) commit | commitdiff | tree
2021-04-01 Andrew ReynoldsFix non-linear for unknown case (#6252) commit | commitdiff | tree
2021-04-01 Gereon KremerMake ResetCommand go through APISolver (#6172) commit | commitdiff | tree
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) commit | commitdiff | tree
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) commit | commitdiff | tree
2021-03-31 Gereon KremerRefactor dependencies for external SAT solvers (#6215) commit | commitdiff | tree
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) commit | commitdiff | tree
2021-03-31 Aina NiemetzBags: Move implementation of type rules from header... commit | commitdiff | tree
2021-03-31 Aina NiemetzFix years in COPYING. (#6248) commit | commitdiff | tree
2021-03-31 Andrew ReynoldsEliminate dependencies on quantifiers engine in interna... commit | commitdiff | tree
2021-03-31 Andrew ReynoldsAdd missing inference ids (#6242) commit | commitdiff | tree
2021-03-31 Aina NiemetzFP: Move implementation of type rules from header to... commit | commitdiff | tree
2021-03-31 yoni206Fix compilation of Python bindings for named build... commit | commitdiff | tree
2021-03-30 Andrew ReynoldsFix printing for double patterns (#6235) commit | commitdiff | tree
next