projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / test /
2022-07-11 Andres Noetzli[IntToBV] Add check for unsupported operators (#8949) tree | commitdiff
2022-07-09 Andrew ReynoldsEliminate static options access in proof utilities... tree | commitdiff
2022-07-09 Andrew ReynoldsFix issues with mixed types in relevant domain (#8901) tree | commitdiff
2022-07-08 Andrew ReynoldsDo not use sygus-inst for internal bounded quantifiers... tree | commitdiff
2022-07-07 Andrew ReynoldsFix casting for arith msum (#8940) tree | commitdiff
2022-07-07 Andrew ReynoldsFix mod elimination in learned rewrite preprocessing... tree | commitdiff
2022-07-07 Andrew ReynoldsDo not eagerly preprocess seq.nth (#8937) tree | commitdiff
2022-07-07 Andrew ReynoldsRevert usage of seq.nth in reductions (#8939) tree | commitdiff
2022-07-07 Andrew ReynoldsFix pto handling for heaps that are not a subset of... tree | commitdiff
2022-07-06 mudathirmahgoubAdd rel.project operator to sets (#8929) tree | commitdiff
2022-06-30 Andrew ReynoldsFix injectivity inferences for seq.nth applied to strin... tree | commitdiff
2022-06-30 mudathirmahgoubAdd set.aggr operator to sets (#8878) tree | commitdiff
2022-06-29 Andrew ReynoldsFix reduction for seq.nth for strings (#8919) tree | commitdiff
2022-06-29 Andrew ReynoldsFix model construction for str.unit (#8917) tree | commitdiff
2022-06-28 mudathirmahgoubAdd rel.group operator to sets (#8876) tree | commitdiff
2022-06-27 Andres NoetzliMove `SymbolManager` and `SymbolTable` to parser (... tree | commitdiff
2022-06-27 Andrew ReynoldsRevert change in lemma order in prop engine (#8911) tree | commitdiff
2022-06-23 mudathirmahgoubAdd inference rules for table.group (#8819) tree | commitdiff
2022-06-23 Andres NoetzliRemove `CommandSequence` command (#8904) tree | commitdiff
2022-06-23 Andrew ReynoldsFix explanation for strings unit oob inference (#8908) tree | commitdiff
2022-06-23 mudathirmahgoubAdd set.fold operator (#8867) tree | commitdiff
2022-06-23 Andres NoetzliFix rewrite for `(to_int real.pi)` (#8907) tree | commitdiff
2022-06-23 Andrew ReynoldsFix handling of injectivity for str.unit (#8899) tree | commitdiff
2022-06-22 mudathirmahgoubprint run_process command (#8859) tree | commitdiff
2022-06-22 mudathirmahgoubAvoid quoting symbols already surrounded with vertical... tree | commitdiff
2022-06-22 Andrew ReynoldsFix sort inference for equality over finite types ... tree | commitdiff
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-15 Andres Noetzli[Regressions] Disable ASan on slow regression (#8882) tree | commitdiff
2022-06-07 Haniel BarbosaMove slow regression (#8866) tree | commitdiff
2022-06-07 Andrew ReynoldsAllow mixed int/real equalities in non-strict parsing... tree | commitdiff
2022-06-07 mudathirmahgoubAdd set.filter operator and its inference rules (#8856) 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-06 mudathirmahgoubAdd declareOracleFun to the Java API (#8815) tree | commitdiff
2022-06-05 Andrew ReynoldsDisable LFSC for regression with learned rewrite (... tree | commitdiff
2022-06-04 Andrew ReynoldsFix corner case of interpolants from conjectures with... tree | commitdiff
2022-06-03 mudathirmahgoubAdd inference rules for set.map operator (#8849) 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-06-01 Gereon KremerRefactor how options are passed to the printer (#8827) 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-27 Andrew ReynoldsMake Rewriter::rewrite non-static (#8828) 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-25 Andrew ReynoldsEliminate more static options accesses (#8802) tree | commitdiff
2022-05-24 mudathirmahgoubAdd table.group operator (#8731) tree | commitdiff
2022-05-24 Andrew ReynoldsAdd declareOracleFun to API (#8794) 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-21 Andrew ReynoldsMove smt_util to preprocessing/util (#8799) 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-18 Andrew ReynoldsEliminate subtypes (#8783) 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 Ying ShengAdd getInterpolant with a grammar in the unit test... tree | commitdiff
2022-05-17 yoni206new test for resolved issue (#8784) tree | commitdiff
2022-05-16 Andrew ReynoldsLast remaining fixes for eliminating subtyping (#8772) tree | commitdiff
2022-05-16 Haniel Barbosa[proofs] Generalize handling of constants merged in... tree | commitdiff
2022-05-15 Andrew ReynoldsEliminate ops for parameterized type constructors ... tree | commitdiff
2022-05-13 Andrew ReynoldsFixes and improvement for IAND solver (#8771) tree | commitdiff
2022-05-13 Andrew ReynoldsEliminate use of getBaseType (#8764) 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-12 Gereon KremerMake regular options access const (#8754) tree | commitdiff
2022-05-10 Gereon KremerEnsure substitutions in nonlinear solver are properly... tree | commitdiff
2022-05-10 Gereon KremerFix some issues with the Python API tests (#8746) tree | commitdiff
2022-05-10 Gereon KremerAdd test coverage for almost everything from the Java... tree | commitdiff
2022-05-09 Andrew ReynoldsImprovements for evaluation in model (#8738) tree | commitdiff
2022-05-09 Andrew ReynoldsAdd unit tests for getInstantiations (#8741) tree | commitdiff
2022-05-07 Abdalrhman MohamedDisable proof testers for delicate regressions. (#8735) 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-06 Andrew ReynoldsFallback for sequential substitution proof reconstructi... tree | commitdiff
2022-05-05 Gereon KremerAdd test coverage for almost everything from the Python... 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-05 mudathirmahgoubAdd operators table.aggr and table.join (#8681) tree | commitdiff
2022-05-04 Gereon KremerMake printStatisticsSafe public (#8721) tree | commitdiff
2022-05-04 Andrew ReynoldsFix rewrite for to_real in division by zero (#8714) tree | commitdiff
2022-05-03 Andrew ReynoldsFinal preparation for CONST_INTEGER (#8700) 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-05-02 Gereon KremerAdd missing tests for some corners of the API (#8688) tree | commitdiff
2022-04-29 Andrew ReynoldsProperly represent Tuples in the TypeNode AST (#8648) tree | commitdiff
2022-04-29 Andrew ReynoldsTowards proper usage of TO_REAL (#8680) tree | commitdiff
2022-04-29 Abdalrhman MohamedAdd an option to enable all testers. (#8676) tree | commitdiff
2022-04-29 Gereon KremerAdd unit test for code not exposed by java API (#8678) tree | commitdiff
2022-04-29 Gereon KremerAdd unit test for code not exposed by python API (... tree | commitdiff
2022-04-29 Gereon KremerAdd some missing API tests (#8669) tree | commitdiff
2022-04-28 Gereon KremerMove tests around (#8670) 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
next