projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix warnings and enable -Wnon-virtual-dtor warning (#2079)
[cvc5.git] / test /
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... tree | commitdiff
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... tree | commitdiff
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) tree | commitdiff
2018-06-12 Andrew ReynoldsFix strip constant endpoint for ITOS in strings rewrite... tree | commitdiff
2018-06-11 Andrew ReynoldsFix equality conflicts reported by FP (#2064) tree | commitdiff
2018-06-10 Andres NoetzliDisable test that fails in competition mode (#2063) tree | commitdiff
2018-06-09 Andres NoetzliAdd flag to skip regression if feature enabled (#2062) tree | commitdiff
2018-06-09 Andres NoetzliReset decisions at SAT level after solving (#2059) tree | commitdiff
2018-06-05 Andres NoetzliOnly enable transcendentals if logic is N[I]RAT (#2052) tree | commitdiff
2018-06-04 Andrew ReynoldsEnable cegqi (with model values) for floating point... tree | commitdiff
2018-06-04 Andres NoetzliRegressions: Support for requiring CVC4 features (... tree | commitdiff
2018-06-02 Mathias PreinerFix BV-abstraction check to consider SKOLEM. (#2042) tree | commitdiff
2018-06-02 Andrew ReynoldsFix preinitialization pass for finite model finding... tree | commitdiff
2018-06-01 Andrew ReynoldsFix quantified bv variable elimination (#2039) tree | commitdiff
2018-06-01 Andrew ReynoldsApply preprocessing to counterexample lemmas in CEGQI... tree | commitdiff
2018-06-01 Andrew Reynolds Use monomial sum utility to solve for quantifiers... tree | commitdiff
2018-05-31 Mathias PreinerFix bv-abstraction check for AND with non bit-vector... tree | commitdiff
2018-05-29 Andres Noetzli Make user's SMT2 version override file version (#2004) tree | commitdiff
2018-05-25 Andrew ReynoldsReenable repair const (#1983) tree | commitdiff
2018-05-24 Andrew ReynoldsFix nl regression for unsat cores. (#1973) tree | commitdiff
2018-05-23 Andrew ReynoldsGeneralize check-model in NonLinearExtension for quadra... tree | commitdiff
2018-05-23 Andres NoetzliSet same options for proofs as for unsat cores (#1957) tree | commitdiff
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) tree | commitdiff
2018-05-22 Andrew ReynoldsMake sygus infer find function definitions (#1951) tree | commitdiff
2018-05-21 Andrew ReynoldsImprovements in parsing and printing related to mixed... tree | commitdiff
2018-05-21 Andrew ReynoldsInfrastructure to mark unused sygus strategies (#1950) tree | commitdiff
2018-05-21 makaimannHandle IMPLIES in bool-to-bv and test it in regress0... tree | commitdiff
2018-05-21 Caleb DonovickFix file extension (#1919) tree | commitdiff
2018-05-18 Andrew ReynoldsCegis unif defaults to cegis when no unif (#1942) tree | commitdiff
2018-05-18 Andrew ReynoldsUnified fairness scheme for cegis unif (#1941) tree | commitdiff
2018-05-17 Andrew ReynoldsFix debugPrint and add regress. (#1934) tree | commitdiff
2018-05-17 Andrew ReynoldsCegis-specific infrastructure (#1933) tree | commitdiff
2018-05-15 Haniel Barbosaadding regressions (#1925) tree | commitdiff
2018-05-15 Andrew ReynoldsFix annotations in regress2. (#1917) tree | commitdiff
2018-05-14 Andrew ReynoldsAdd regressions, change defaults. (#1911) tree | commitdiff
2018-05-14 Andrew ReynoldsFlag to check invariance of entire values in sygus... tree | commitdiff
2018-05-11 Aina NiemetzRemove obsolete unit test for ackermannization. (#1906) tree | commitdiff
2018-05-11 Aina NiemetzFix ackermannize preprocessing pass. (#1904) tree | commitdiff
2018-05-11 Andres NoetzliSupport multiple sets of command line args in regs... tree | commitdiff
2018-05-10 Andrew ReynoldsSygus repair constants (#1812) tree | commitdiff
2018-05-09 Andrew ReynoldsMake symmetry-breaker-exp into a preprocessing pass... tree | commitdiff
2018-05-08 Mathias PreinerRefactor bv-abstraction preprocessing pass. (#1860) tree | commitdiff
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) tree | commitdiff
2018-05-04 Mathias PreinerRefactor bv-intro-pow2 preprocessing pass. (#1851) tree | commitdiff
2018-05-04 Andrew ReynoldsSets subtypes (#1095) tree | commitdiff
2018-05-03 Andrew ReynoldsInterleave quantifiers checks with ground theory checks... tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-05-01 Andrew ReynoldsImprove tangent planes for transcendental functions... tree | commitdiff
2018-04-30 Haniel BarbosaRefactor real2int (#1813) tree | commitdiff
2018-04-30 Andres NoetzliDisable unsat-cores/proofs for slow regression (#1835) tree | commitdiff
2018-04-30 Andrew ReynoldsAllow multiple functions in sygus unif approaches ... tree | commitdiff
2018-04-30 Andrew ReynoldsMake factoring inference more aggressive (#1825) tree | commitdiff
2018-04-25 yoni206Refactor bv-to-bool and bool-to-bv preprocessing passes... tree | commitdiff
2018-04-25 Andrew ReynoldsAdd benchmark requiring subgoal generation with inducti... tree | commitdiff
2018-04-25 Andrew ReynoldsFix issue with multi-triggers that include variable... tree | commitdiff
2018-04-20 yoni206Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv... tree | commitdiff
2018-04-20 yoni206Allow metadata lines in test files to have leading... tree | commitdiff
2018-04-20 PaulMengSymmetry detection module (#1749) tree | commitdiff
2018-04-20 Andres NoetzliRestrict test summary to first-level subfolders (#1797) tree | commitdiff
2018-04-19 Andres NoetzliRefactor pbRewrites preprocessing pass (#1767) tree | commitdiff
2018-04-17 Andres NoetzliAdd timeout (option) to regression script (#1786) tree | commitdiff
2018-04-17 Andres NoetzliDisable slow regression test (#1787) tree | commitdiff
2018-04-16 Andres NoetzliDisable check proofs/unsat cores for two regs (#1785) tree | commitdiff
2018-04-14 Andres Noetzli[Reg] Make status/unsat-core detection more robust... tree | commitdiff
2018-04-14 Andres NoetzliFix get-unsat-core detection in regression script ... tree | commitdiff
2018-04-13 Andres NoetzliFix issue in regression script when proofs enabled... tree | commitdiff
2018-04-13 Andrew ReynoldsFix alpha equivalence for higher-order (#1769) tree | commitdiff
2018-04-11 Aina NiemetzRefactored BVGauss preprocessing pass. (#1766) tree | commitdiff
2018-04-11 Andrew ReynoldsProperly implement function extensionality based on... tree | commitdiff
2018-04-10 Andrew ReynoldsFix hasSubterm calls for higher-order (#1760) tree | commitdiff
2018-04-10 Andrew ReynoldsFix higher-order term indexing. (#1754) tree | commitdiff
2018-04-06 Arjun ViswanathanAdd define rec fun to cvc parser (#1738) tree | commitdiff
2018-04-06 Andres Noetzli Python regression script (#1662) tree | commitdiff
2018-04-05 Andres NoetzliUpdate README for regression tests (#1746) tree | commitdiff
2018-04-04 Andrew ReynoldsFix for corner case of higher-order matching (#1708) tree | commitdiff
2018-04-04 Andrew ReynoldsOption to turn arbitrary input into sygus (#1704) tree | commitdiff
2018-04-03 Andrew ReynoldsUse choice when expanding definitions for inverse trans... tree | commitdiff
2018-04-02 Clark BarrettRemove references to nyu (#1721) tree | commitdiff
2018-04-02 Mathias PreinerReorganize bitblaster code. (#1695) tree | commitdiff
2018-03-30 Andrew ReynoldsDisable regression (#1731) tree | commitdiff
2018-03-27 Andres NoetzliBetter normalization of string concatenation (#1719) tree | commitdiff
2018-03-26 Andres NoetzliAdd support for filtering regressions with regex (... tree | commitdiff
2018-03-26 Andres Noetzli Add reasoning for inequalities in str rewriter (#1713) tree | commitdiff
2018-03-26 Andres NoetzliRewrites for substr of strings of length one (#1712) tree | commitdiff
2018-03-23 Andrew ReynoldsAdd a few quantifiers regressions to improve coverage... tree | commitdiff
2018-03-21 Andres NoetzliFix 'make regress' (#1683) tree | commitdiff
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-03-21 Andres NoetzliFix various regression tests (#1657) tree | commitdiff
2018-03-21 Andrew ReynoldsFix for string disequality processing (#1679) tree | commitdiff
2018-03-20 Andrew ReynoldsInternally remove redundant assertions and infer equali... tree | commitdiff
2018-03-20 Andrew ReynoldsFix datatype dump regression. (#1672) tree | commitdiff
2018-03-20 Andrew ReynoldsEnable CEGQI for non-linear (#1674) tree | commitdiff
2018-03-09 Aina NiemetzAdd support for SMT-LIB v2.5 command get-unsat-assumpti... tree | commitdiff
2018-03-09 Andres NoetzliSkip (get-unsat-assumptions) tests not supported (... tree | commitdiff
2018-03-09 Mathias PreinerFix Travis for unit test compilation errors. (#1651) tree | commitdiff
2018-03-06 Andres NoetzliRemove printf from output utilities (#1629) tree | commitdiff
2018-03-06 Andrew ReynoldsUpdate semantics for string indexof and replace (#1630) tree | commitdiff
2018-03-05 Aina NiemetzAdd support for check-sat-assuming. (#1637) tree | commitdiff
next