projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-05-10 Andrew ReynoldsUnify top-level substitutions and model substitutions... commit | commitdiff | tree
2021-05-10 mudathirmahgoubAdd doc to Kind.java (#6498) commit | commitdiff | tree
2021-05-08 yoni206Adding functions to the python API and testing them... commit | commitdiff | tree
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) commit | commitdiff | tree
2021-05-07 Aina NiemetzMove slow regressions and update guidelines. (#6508) commit | commitdiff | tree
2021-05-07 Aina NiemetzFix and add missing REQUIRE labels for FP regression... commit | commitdiff | tree
2021-05-07 Gereon KremerIntegrate documentation build with the regular CI workf... commit | commitdiff | tree
2021-05-07 Haniel BarbosaProperly printing INST_PATTERN_LIST by itself (#6507) commit | commitdiff | tree
2021-05-07 Andrew ReynoldsSimplifications to expand definitions (#6487) commit | commitdiff | tree
2021-05-07 makaimannFix for toPythonObj of integer value with real sort... commit | commitdiff | tree
2021-05-06 Haniel Barbosa[proof-new] Updating documentation for Subs/Rw ids... commit | commitdiff | tree
2021-05-06 Andrew ReynoldsDiscard duplicate terms in patterns (#6501) commit | commitdiff | tree
2021-05-06 Mathias PreinerUpdate README.md and remove last CVC4 references. ... commit | commitdiff | tree
2021-05-06 Andrew ReynoldsUse constant folding for evaluating BV eager atom ... commit | commitdiff | tree
2021-05-05 Andrew ReynoldsDo not have quantifiers model inherit from theory model... commit | commitdiff | tree
2021-05-05 makaimannSave block comments associated with each kind when... commit | commitdiff | tree
2021-05-05 OuyanchengAdd helper functions for multi-objective optimization... commit | commitdiff | tree
2021-05-05 Andrew ReynoldsMove current decision engine to decision engine old... commit | commitdiff | tree
2021-05-04 Andrew ReynoldsMove env into smt solver, theory engine, prop engine... commit | commitdiff | tree
2021-05-04 Haniel BarbosaDo not use proof CNF stream with assumptions-based... commit | commitdiff | tree
2021-05-04 Gereon KremerUse proper commit hash for PRs (#6485) commit | commitdiff | tree
2021-05-04 Mathias Preinercmake: Fix ninja build. (#6481) commit | commitdiff | tree
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482) commit | commitdiff | tree
2021-05-04 Aina NiemetzFP: Move removal of generic to_fp operations to rewrite... commit | commitdiff | tree
2021-05-04 Aina NiemetzFP: Move type check from expandDefinitions. (#6479) commit | commitdiff | tree
2021-05-03 Aina NiemetzFP: Rewrite to_fp conversion from signed bit-vector... commit | commitdiff | tree
2021-05-03 Gereon KremerAdd missing --auto-download in CI (#6478) commit | commitdiff | tree
2021-05-03 Gereon KremerAdd CI jobs to build docs (#6413) commit | commitdiff | tree
2021-05-03 Aina NiemetzSymFPU: Automatically apply patch from 2020-11-14.... commit | commitdiff | tree
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468) commit | commitdiff | tree
2021-04-30 Mathias Preinerbv: Refactor ppAssert and move to TheoryBV. (#6470) commit | commitdiff | tree
2021-04-30 Aina NiemetzAdd parameter name for argument `isPreRewrite` for... commit | commitdiff | tree
2021-04-30 OuyanchengRefactor optimization result and objective classes... commit | commitdiff | tree
2021-04-30 Andrew ReynoldsUse substitutions for implementing defined functions... commit | commitdiff | tree
2021-04-29 Andrew ReynoldsAdd assertion list utility for justification heuristic... commit | commitdiff | tree
2021-04-29 Gereon KremerSimplify generated code for getOption() and setOption... commit | commitdiff | tree
2021-04-29 Gereon KremerAdd missing include. (#6463) commit | commitdiff | tree
2021-04-29 Gereon KremerAvoid exponential explosion of small constant in CEGQI... commit | commitdiff | tree
2021-04-28 OuyanchengFix BV Optimization Boundary Condition when lower bound... commit | commitdiff | tree
2021-04-28 Gereon KremerRefactor resource manager options (#6446) commit | commitdiff | tree
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) commit | commitdiff | tree
2021-04-28 Gereon KremerMake sure reference stats are reset properly (#6457) commit | commitdiff | tree
2021-04-28 Gereon KremerClean up options holder class (#6458) commit | commitdiff | tree
2021-04-28 Gereon KremerCleanup DidYouMean (#6454) commit | commitdiff | tree
2021-04-27 Andrew ReynoldsAdd internal support for datatype update (#6450) commit | commitdiff | tree
2021-04-27 Andrew ReynoldsMove slow regression to regress3 (#6451) commit | commitdiff | tree
2021-04-27 Andrew ReynoldsFix refutational soundness bug in quantifier prenexing... commit | commitdiff | tree
2021-04-27 Andrew ReynoldsSimplify making function types (#6447) commit | commitdiff | tree
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) commit | commitdiff | tree
2021-04-27 Gereon KremerUse std::hash for API types (#6432) commit | commitdiff | tree
2021-04-27 Aina NiemetzBool: Move implementation of type rules to cpp. (#6420) commit | commitdiff | tree
2021-04-26 Gereon KremerGenerate docs conf.py by cmake (#6441) commit | commitdiff | tree
2021-04-26 Gereon KremerProtect int stats methods (#6442) commit | commitdiff | tree
2021-04-26 Gereon KremerFirst part of options refactoring (#6428) commit | commitdiff | tree
2021-04-26 Andrew ReynoldsFix theoryOf for Boolean equalities (#6444) commit | commitdiff | tree
2021-04-26 Diego Della... New design in DOT representation, nodes colored based... commit | commitdiff | tree
2021-04-26 Andrew ReynoldsEnsure dependency is tracked for all substitutions... commit | commitdiff | tree
2021-04-26 Andrew ReynoldsEnable print-inst-full by default (#6435) commit | commitdiff | tree
2021-04-26 Haniel BarbosaFix assertions in SAT solver (#6443) commit | commitdiff | tree
2021-04-26 Andrew ReynoldsDo not process looping word equations over sequences... commit | commitdiff | tree
2021-04-25 Andrew ReynoldsUse fast enumeration by default for Boolean predicate... commit | commitdiff | tree
2021-04-25 Andrew ReynoldsMore check models (#6439) commit | commitdiff | tree
2021-04-24 Andrew ReynoldsImprove getValue for non-evaluated operators (#6436) commit | commitdiff | tree
2021-04-24 Mathias PreinerAdd assumption-based unsat cores. (#6427) commit | commitdiff | tree
2021-04-23 Gereon KremerAdd missing dependency for CaDiCaL (#6431) commit | commitdiff | tree
2021-04-23 Andrew Reynolds(proof-new) Proofs for sets purification lemmas (#6416) commit | commitdiff | tree
2021-04-23 Andrew ReynoldsAdd new substitution apply methods fixpoint, sequential... commit | commitdiff | tree
2021-04-23 Gereon KremerMake sure a ReferenceStat is set to values of the corre... commit | commitdiff | tree
2021-04-23 Andrew ReynoldsEnable strings exp by default for strings specific... commit | commitdiff | tree
2021-04-23 Aina NiemetzBV: Add proof logging for bit-blasting. (#6373) commit | commitdiff | tree
2021-04-23 Andrew ReynoldsMove implementation of UF rewriter to cpp (#6393) commit | commitdiff | tree
2021-04-22 Andrew ReynoldsMake trust substitution map generate proofs lazily... commit | commitdiff | tree
2021-04-22 Andrew ReynoldsMinor improvements to substitutions (#6380) commit | commitdiff | tree
2021-04-22 Andrew ReynoldsMinor changes to unsat core default setting (#6425) commit | commitdiff | tree
2021-04-22 Mathias Preinercmake: Do not require --auto-download for already downl... commit | commitdiff | tree
2021-04-22 Gereon KremerUpdate INSTALL.md (#6412) commit | commitdiff | tree
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) commit | commitdiff | tree
2021-04-22 Gereon KremerRemove unused stuff from options setup (#6422) commit | commitdiff | tree
2021-04-22 Andrew Reynolds Reorganizing use of skolem definition manager in prop... commit | commitdiff | tree
2021-04-22 Aina Niemetzapi docs: Rename doxygen output directory. (#6426) commit | commitdiff | tree
2021-04-22 Aina Niemetzapi docs: Remove file reintroduced in past merge. ... commit | commitdiff | tree
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
next