cvc5.git
2021-11-05 Andrew ReynoldsEliminate a level of nesting of traversals in theory...
2021-11-05 Gereon KremerRemove `Chat()` in favor of new `verbose()` (#7586)
2021-11-05 Andrew ReynoldsMove functions and lambdas from builtin to uf (#7570)
2021-11-05 Andres Noetzli[FP] Do not assert that model has shared term (#7585)
2021-11-05 Gereon KremerFix some issues with the java api (#7583)
2021-11-05 LachnittAlethe: Translate CNF rules (#7532)
2021-11-05 Haniel BarbosaMinor changes to circuit propagator (#7584)
2021-11-05 Andrew ReynoldsRemove many static calls to rewrite (#7580)
2021-11-05 Gereon KremerRemove quadratic solving in NlModel (#7542)
2021-11-05 Gereon KremerEliminate `Warning` macro in favor of `EnvObj::warning...
2021-11-05 Gereon KremerRemove a bunch of debugging/logging code from the linea...
2021-11-04 Andrew ReynoldsAdd -o sygus-grammar to print auto-generated SyGuS...
2021-11-04 Andrew ReynoldsImprove defaults for sygus default grammars (#7553)
2021-11-04 Andrew ReynoldsReplace the old dump infrastructure (#7572)
2021-11-04 Gereon KremerStart refactoring of `-o` and `-v` (#7449)
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534)
2021-11-04 Gereon Kremer Fix links in README.md (#7568)
2021-11-04 Gereon KremerEnable CDCAC solver for selected quantified logics...
2021-11-04 Gereon KremerAdd support for special tag collectors (#7562)
2021-11-04 Gereon KremerMinor cleanup in SolverEngine::setInfo() (#7566)
2021-11-04 Andres NoetzliMake `Theory::get()` private (#7518)
2021-11-03 Aina Niemetzapi: Rename some separation logic functions for consist...
2021-11-03 Aina NiemetzAdd unit test to cover previous failure with second...
2021-11-03 mudathirmahgoubEnable CI for Junit tests (#7436)
2021-11-03 Andrew ReynoldsFix debug trace for miplib (#7563)
2021-11-03 Andrew ReynoldsRefactor skolem construction (#7561)
2021-11-03 Andrew ReynoldsFormalize more string skolems (#7554)
2021-11-03 Andrew ReynoldsFix preregistration for floating point theory (#7558)
2021-11-02 Mathias Preinerbv: Disable equality engine for --bitblast=eager and...
2021-11-02 Abdalrhman... Move `fmf.card` printing code. (#7559)
2021-11-02 Abdalrhman... Add printing methods for some commands. (#7557)
2021-11-02 Andrew ReynoldsImprove syntax for fmf cardinality constraints (#7556)
2021-11-02 Andrew ReynoldsAdd LFSC signature for quantifiers (#7540)
2021-11-02 Mathias PreinerFix setDefaults() for proofs with bitblast-internal...
2021-11-02 Mathias Preinerbv: Remove remaining Rewriter::rewrite calls. (#7545)
2021-11-02 Andrew ReynoldsMake quant elimination robust to presence of other...
2021-11-01 Andrew ReynoldsEliminate calls to Rewriter::rewrite and options::...
2021-11-01 Andrew ReynoldsWeaken assertion in CEGQI (#7548)
2021-11-01 Gereon KremerAdd explicit option enum value __MAX_VALUE (#7547)
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455)
2021-11-01 Aina Niemetzapi: Fix documentation for kind IAND. (#7536)
2021-11-01 Gereon KremerFix a couple of issues with uploading docs for releases...
2021-11-01 Gereon KremerClean up CLN includes (#7544)
2021-11-01 Gereon KremerAdd fuzzing target for murxla (#7490)
2021-11-01 Andrew ReynoldsFix upwards closure for relations (#7515)
2021-11-01 Gereon KremerReplace more static options accesses (#7531)
2021-11-01 Gereon KremerRefactor DidYouMean (#7535)
2021-10-31 Mathias Preinerapi: Add guard against querying value from term with...
2021-10-31 mudathirmahgoubFix soundess issue for bags with negative multiplicity...
2021-10-31 mudathirmahgoubRemove assertSkeleton for bag elements during model...
2021-10-29 Gereon KremerFix proof of nl lemma for a corner case (#7530)
2021-10-29 Mathias PreinerStart post-release for 0.0.3
2021-10-29 Mathias PreinerBump version to 0.0.3
2021-10-29 Gereon KremerRemove options::X__numValues (#7419)
2021-10-29 Andrew ReynoldsMinor cleanup of proof messages (#7494)
2021-10-29 Andrew ReynoldsFix model construction for higher order involving irrel...
2021-10-29 Andrew ReynoldsAdd PfRule ARITH_POLY_NORM (#7501)
2021-10-29 Andrew ReynoldsImprovements for LFSC proof conversion (#7524)
2021-10-29 Gereon KremerRemove static access to options in decision folder...
2021-10-28 Gereon KremerFix proof for xor in circuit propagator (#7525)
2021-10-28 Gereon KremerCombine `--static` and `--static-binary` (#7520)
2021-10-28 Haniel Barbosa[proofs] Fix assertion in EqProof conversion (#7522)
2021-10-28 Andrew V. JonesAdd support for checking if a `-Wno` flag exists before...
2021-10-28 Abdalrhman... Add a `define-fun` command for each `:named` term....
2021-10-28 Andrew ReynoldsProperly guard proof construction for STRINGS_EXTF_EQ_R...
2021-10-28 Andrew ReynoldsLFSC signature for linear arithmetic (#7445)
2021-10-28 Andrew ReynoldsLFSC signature for CNF (#7444)
2021-10-28 Andrew ReynoldsLFSC signature for Booleans (#7443)
2021-10-28 Andrew ReynoldsLFSC signature for equality (#7442)
2021-10-28 Abdalrhman... Fix `(set-info <sexpr>)` parsing and printing bugs...
2021-10-28 Gereon KremerRemove separate cpp docs for UnknownExplanation (#7516)
2021-10-28 Gereon KremerBuild shared and static in CI (#7472)
2021-10-27 Andrew ReynoldsAdd missing API checks to getValue (#7475)
2021-10-27 Gereon KremerAdd comments for arith type rules. (#7488)
2021-10-27 Gereon KremerAdd documentation on output tags (#7499)
2021-10-27 Andres Noetzli[Regression Script] Fix use of undefined variables...
2021-10-27 Gereon KremerFix patching for poly on windows (#7513)
2021-10-27 Andres NoetzliRequire ITE branches to be first class types (#7508)
2021-10-27 Andrew ReynoldsFix care graph computation for higher-order (#7474)
2021-10-27 Andrew ReynoldsFix model unsoundness for relation join (#7511)
2021-10-27 yoni206Python api documentation for sorts (#7440)
2021-10-27 Andrew ReynoldsAvoid non-terminating check with assumptions in strings...
2021-10-27 Andrew ReynoldsDeterministic variables for RE elim (#7489)
2021-10-27 mudathirmahgoubFix mac compile errors in sort.cpp (#7507)
2021-10-27 Gereon KremerMake --version exit (#7506)
2021-10-27 Gereon KremerFix libpoly build on windows (#7502)
2021-10-26 Haniel Barbosa[proofs] Fix singleton check in MACRO_RES post-processi...
2021-10-26 Haniel Barbosa[proofs] Modularize check for whether a clause is singl...
2021-10-26 Haniel Barbosa[proofs] Reset local var in SatProofManager since incre...
2021-10-26 Andrew ReynoldsDisable automatic symmetry in proofs of theory explanat...
2021-10-26 Haniel Barbosa[proofs] Fix and simplify CHAIN_RESOLUTION checker...
2021-10-26 Andrew ReynoldsAdd regressions for fixed issues (#7495)
2021-10-26 Andrew ReynoldsDisable sygus-inst when incremental (#7485)
2021-10-26 Lachnitt[proofs] Alethe: Translate Block of clause pattern...
2021-10-26 Lachnitt[proofs] Alethe: Translate AND_INTRO rule (#7405)
2021-10-26 Lachnitt[proofs] Alethe: Translate AND_ELIM rule (#7404)
2021-10-26 Lachnitt[proofs] Alethe: Translate CONTRA rule (#7403)
2021-10-26 Gereon KremerUpload docs for tags to docs-releases (#7415)
2021-10-26 Gereon KremerFix frequent rebuild of options target (#7450)
2021-10-26 Gereon KremerFix Configuration::isStaticBuild (#7456)
next