projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add type to uninterpreted constant values (#8891)
[cvc5.git] / test / regress / cli / regress0 /
2022-06-22 mudathirmahgoubAdd type to uninterpreted constant values (#8891) tree | commitdiff
2022-06-15 Andres NoetzliDisable parser regression for competition builds (... tree | commitdiff
2022-06-07 Andrew ReynoldsAllow mixed int/real equalities in non-strict parsing... tree | commitdiff
2022-06-07 Andrew ReynoldsUse STRING_NTH in strings reductions and eliminate... tree | commitdiff
2022-06-06 Abdalrhman MohamedDisable `lfsc` tester if `proof` tester is disabled... tree | commitdiff
2022-06-03 Andrew ReynoldsDisable arithmetic static learning when unsat cores... tree | commitdiff
2022-06-02 Andrew ReynoldsPreparation for SEQ_NTH applied to strings (#8779) tree | commitdiff
2022-06-02 Andrew ReynoldsFix missing conclusion for sep pto neg prop (#8844) tree | commitdiff
2022-06-02 yoni206Restricting the bit-width in int-to-bv (#8814) tree | commitdiff
2022-06-02 yoni206Disable arrays in eager bit-blasting (#8785) tree | commitdiff
2022-06-01 Andrew ReynoldsMake interpolation robust to conjectures with no shared... tree | commitdiff
2022-05-31 Andrew ReynoldsMake subs minimize utility robust to non-constant evalu... tree | commitdiff
2022-05-31 Gereon KremerFix issues with to_real around coverings solver (#8837) tree | commitdiff
2022-05-27 Andrew ReynoldsFix mixed arithmetic issue in relevant domain (#8826) tree | commitdiff
2022-05-26 Gereon KremerMake sure phase-shift lemma is properly typed (#8824) tree | commitdiff
2022-05-25 Andrew ReynoldsAdd model-based quantifier instantiation (#8729) tree | commitdiff
2022-05-23 Andrew ReynoldsRemove spurious assertion in isLegalElimination (#8812) tree | commitdiff
2022-05-23 Andrew ReynoldsMake model core robust to when we cannot show the model... tree | commitdiff
2022-05-19 Andrew ReynoldsAdd options and regressions to increase coverage (... tree | commitdiff
2022-05-18 Andrew ReynoldsMake skolem definition manager robust to definitions... tree | commitdiff
2022-05-17 Andrew ReynoldsFix LFSC proof construction for concat clash of sequenc... tree | commitdiff
2022-05-17 Andrew ReynoldsGeneralize pto constraint tracking for multiple heaps... tree | commitdiff
2022-05-17 yoni206new test for resolved issue (#8784) tree | commitdiff
2022-05-13 Andrew ReynoldsFixes and improvement for IAND solver (#8771) tree | commitdiff
2022-05-13 Andrew ReynoldsRefactor logic exceptions during preregistration for... tree | commitdiff
2022-05-12 Andrew ReynoldsPreserve types in rewriter and make core type rules... tree | commitdiff
2022-05-10 Gereon KremerEnsure substitutions in nonlinear solver are properly... tree | commitdiff
2022-05-09 Andrew ReynoldsImprovements for evaluation in model (#8738) tree | commitdiff
2022-05-07 Andrew ReynoldsMore preparation for strict type rules (#8733) tree | commitdiff
2022-05-07 Andrew ReynoldsFix proofs for ppAssert for theory Bool (#8708) tree | commitdiff
2022-05-05 Andrew ReynoldsFix cache in learned rewrite preprocessing pass (#8725) tree | commitdiff
2022-05-05 Andrew ReynoldsFix more issues with subtypes in regressions (#8727) tree | commitdiff
2022-05-04 Andrew ReynoldsFix rewrite for to_real in division by zero (#8714) tree | commitdiff
2022-05-02 Andrew ReynoldsMore robust treatment of flattening in arith rewriter... tree | commitdiff
2022-05-02 Andrew ReynoldsMake arith msum utility agnostic to Int (#8694) tree | commitdiff
2022-04-29 Andrew ReynoldsTowards proper usage of TO_REAL (#8680) tree | commitdiff
2022-04-28 yoni206int-blaster: not allowing higher order functions (... tree | commitdiff
2022-04-26 Gereon KremerAdd some missing resultants in the coverings solver... tree | commitdiff
2022-04-25 Andres Noetzli[Regressions] Use Wine for Windows builds (#8652) tree | commitdiff
2022-04-25 Andrew ReynoldsOption exception for quantified bit-vectors + eager... tree | commitdiff
2022-04-22 Andrew ReynoldsAdd `deep-restart` option (#8644) tree | commitdiff
2022-04-21 Abdalrhman MohamedAdd tester for LFSC printer. (#8606) tree | commitdiff
2022-04-20 Andres NoetzliRemove unused `SEQ_NTH_TOTAL` kind (#8048) tree | commitdiff
2022-04-20 yoni206int-blaster: direct support for bvcomp (#8640) tree | commitdiff
2022-04-18 Abdalrhman MohamedRemove instances of `check-proofs` in regressions.... tree | commitdiff
2022-04-18 Andres NoetzliRemove support for unused `declare-*` commands (#8623) tree | commitdiff
2022-04-14 Andrew ReynoldsFix spurious assertion involving subtypes (#8611) tree | commitdiff
2022-04-13 mudathirmahgoubAdd Relation and Table types to SMTLib parser (#8605) tree | commitdiff
2022-04-12 Andrew ReynoldsMaking some benchmarks SMT-LIB compliant for subtypes... tree | commitdiff
2022-04-07 Andrew ReynoldsMake sets and bags operators left-associative (#8584) tree | commitdiff
2022-04-05 Gereon KremerMake rewriter more robust against RAN becoming rational... tree | commitdiff
2022-04-05 Andrew ReynoldsBe permissive for subtyping in function definitions... tree | commitdiff
2022-04-04 Haniel Barbosa[proofs] [sat] Make SAT assumption bookeeping robust... tree | commitdiff
2022-04-04 Andrew ReynoldsFix for get-value with empty uninterpreted sort domain... tree | commitdiff
2022-04-01 Gereon KremerPrevent using the coverings solver with extended operat... tree | commitdiff
2022-04-01 Haniel BarbosaReplace regression by minimized one via ddSMT (#8531) tree | commitdiff
2022-04-01 Haniel Barbosa[proofs] [alethe] Fix Alethe post-processor (#8525) tree | commitdiff
2022-03-31 Andrew ReynoldsHandled quoted symbols in indexed operators (#8491) tree | commitdiff
2022-03-31 Andrew ReynoldsDisable minisat variable elimination when a parametric... tree | commitdiff
2022-03-31 Andrew ReynoldsFix check for whether PI is reduced (#8485) tree | commitdiff
2022-03-31 Andrew ReynoldsFix lower vs upper bound issue for eager RE conflicts... tree | commitdiff
2022-03-31 Andrew ReynoldsFix case of Boolean skolem for ground term E-matching... tree | commitdiff
2022-03-30 Gereon KremerAllow for multiple (equal) base model values (#8467) tree | commitdiff
2022-03-30 Mathias PreinerExclude competition build for issue8377-resolve-indexed... tree | commitdiff
2022-03-30 Andrew ReynoldsFix policy for purifying arguments of exp (#8416) tree | commitdiff
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... tree | commitdiff
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437) tree | commitdiff
2022-03-29 Andrew ReynoldsMake ProofNodeManager mkScope more robust (#8435) tree | commitdiff
2022-03-29 Andrew ReynoldsFix issue related to use of Boolean term variable for... tree | commitdiff
2022-03-29 Clark BarrettFix for issue 5925: constant arrays should be nonlinear... tree | commitdiff
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397) tree | commitdiff
2022-03-25 Andres Noetzli[Parser] Fix resolution of indexed symbols (#8383) tree | commitdiff
2022-03-25 Haniel Barbosa[proofs] [sat] Have SAT solver communicate whether... tree | commitdiff
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes... tree | commitdiff
2022-03-25 Andrew ReynoldsRecategorize options (#8386) tree | commitdiff
2022-03-24 Haniel Barbosa[unsat-cores] [sat-proof] Fix open proofs due to theory... tree | commitdiff
2022-03-23 Andrew ReynoldsClean options (#8309) tree | commitdiff
2022-03-23 Andrew ReynoldsMake IDOF_MAX rewrite only apply when all children... tree | commitdiff
2022-03-16 Andres NoetzliRemove unused files in `regress0` (#8325) tree | commitdiff
2022-03-16 Aina NiemetzFirst step towards refactoring regression tests. (... tree | commitdiff