projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-04-22 Andrew ReynoldsFix models for sygus-inference, bv2int, real2int (... commit | commitdiff | tree
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) commit | commitdiff | tree
2021-04-22 Andres NoetzliAllow in-place construction of `CDList` items (#6409) commit | commitdiff | tree
2021-04-22 Andrew ReynoldsMove expand definition from Theory to TheoryRewriter... commit | commitdiff | tree
2021-04-21 Aina NiemetzArithmetic: Move implementation of type rules to cpp... commit | commitdiff | tree
2021-04-21 Aina NiemetzUF: Move implementation of type rules to cpp. (#6403) commit | commitdiff | tree
2021-04-21 Gereon KremerAdd explicit dependencies for base lib (#6410) commit | commitdiff | tree
2021-04-21 Gereon KremerPass GMP to libpoly (#6411) commit | commitdiff | tree
2021-04-21 Aina NiemetzDatatypes: Move implementation of type rules to cpp... commit | commitdiff | tree
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) commit | commitdiff | tree
2021-04-21 Mathias Preinercmake: Add optional module name argument for check_pyth... commit | commitdiff | tree
2021-04-21 Aina NiemetzSets: Move implementation of type rules to cpp. (#6401) commit | commitdiff | tree
2021-04-21 Aina NiemetzArrays: Move implementation of type rules to cpp. ... commit | commitdiff | tree
2021-04-21 Andrew ReynoldsAdd unit test for abduction (#6400) commit | commitdiff | tree
2021-04-21 Andrew ReynoldsAdd basic utilities for new implementation of justifica... commit | commitdiff | tree
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386) commit | commitdiff | tree
2021-04-20 Andrew ReynoldsSplit FP expand definitions to own module (#6392) commit | commitdiff | tree
2021-04-20 Aina NiemetzBV: Move implementation of type rules from header to... commit | commitdiff | tree
2021-04-20 Aina NiemetzSep: Move implementation of type rules to cpp. (#6402) commit | commitdiff | tree
2021-04-20 Aina NiemetzQuantifiers: Move implementation of type rules to cpp... commit | commitdiff | tree
2021-04-20 Gereon KremerAdd InferenceId as resources (#6339) commit | commitdiff | tree
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) commit | commitdiff | tree
2021-04-20 Gereon KremerSplit C++ API docs from general docs (#6365) commit | commitdiff | tree
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) commit | commitdiff | tree
2021-04-20 Gereon KremerBasic setup for examples in documentation (#6383) commit | commitdiff | tree
2021-04-20 Aina NiemetzAdd guards to disable clang-format around placeholders... commit | commitdiff | tree
2021-04-20 Andres NoetzliFix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399) commit | commitdiff | tree
2021-04-20 Gereon KremerProperly link Poly against GMP (#6398) commit | commitdiff | tree
2021-04-20 yoni206python API sorts: adding functions and tests (#6361) commit | commitdiff | tree
2021-04-19 Andrew ReynoldsFully incorporate quantifiers macros into ppAssert... commit | commitdiff | tree
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... commit | commitdiff | tree
2021-04-16 Gereon KremerFix dependencies for stats options (#6378) commit | commitdiff | tree
2021-04-16 Andrew ReynoldsFix ONCE for post-rewrite (#6372) commit | commitdiff | tree
2021-04-16 Gereon KremerRefactor cmake: auto-download and default-on dependenci... commit | commitdiff | tree
2021-04-16 Gereon KremerReplace SExpr class by simpler conversion routines... commit | commitdiff | tree
2021-04-16 Mathias Preinercmake: Build object libraries for base and context... commit | commitdiff | tree
2021-04-15 Aina Niemetzpreprocessing context: Add wrapper for model substituti... commit | commitdiff | tree
2021-04-15 Mathias PreinerBuild support library from base and context. (#6368) commit | commitdiff | tree
2021-04-15 Gereon KremerAvoid options listener for resource manager. (#6366) commit | commitdiff | tree
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) commit | commitdiff | tree
2021-04-15 Gereon KremerFix printing of stats when aborted. (#6362) commit | commitdiff | tree
2021-04-15 Andrew ReynoldsReenable regression for minimizing instantiations ... commit | commitdiff | tree
2021-04-14 Andrew ReynoldsFix type rule for relations join image (#6349) commit | commitdiff | tree
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog... commit | commitdiff | tree
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341) commit | commitdiff | tree
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340) commit | commitdiff | tree
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) commit | commitdiff | tree
2021-04-14 Aina NiemetzRename public and private headers in src/include. ... commit | commitdiff | tree
2021-04-14 Haniel Barbosa[unsat-cores] Improving new unsat cores (#6356) commit | commitdiff | tree
2021-04-14 Andrew ReynoldsAdd internal API methods for pool-based instantiation... commit | commitdiff | tree
2021-04-14 Andrew ReynoldsAdd interface for getting relevant assertions (#5131) commit | commitdiff | tree
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
next