projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for quantifiers + incremental (#2009)
[cvc5.git] / src / theory / arith /
2018-05-25 Andrew ReynoldsFix various nl assertions. (#1980) tree | commitdiff
2018-05-24 Andrew ReynoldsFix (#1975) tree | commitdiff
2018-05-24 Andrew ReynoldsFixes for non-linear check model (#1974) tree | commitdiff
2018-05-24 Andrew ReynoldsRemove spurious assertion in nonlinear extension (... tree | commitdiff
2018-05-23 Andrew ReynoldsGeneralize check-model in NonLinearExtension for quadra... tree | commitdiff
2018-05-03 Andrew ReynoldsOption to interleave tangent plane inferences (#1833) tree | commitdiff
2018-05-01 Andrew ReynoldsImprove tangent planes for transcendental functions... tree | commitdiff
2018-04-30 Andrew ReynoldsMake factoring inference more aggressive (#1825) tree | commitdiff
2018-04-30 Andrew ReynoldsRefactor nonlinear check (#1814) tree | commitdiff
2018-04-30 Andrew ReynoldsImprovements to simple transcendental function check... tree | commitdiff
2018-04-27 Andrew ReynoldsSimplify tangent plane direction (#1824) tree | commitdiff
2018-04-25 Andrew ReynoldsRemove nl solve subs option. (#1803) tree | commitdiff
2018-04-19 Andres NoetzliRefactor pbRewrites preprocessing pass (#1767) tree | commitdiff
2018-04-03 Andrew ReynoldsUse choice when expanding definitions for inverse trans... tree | commitdiff
2018-03-30 Andrew ReynoldsDo not use factoring inference for transcendental funct... tree | commitdiff
2018-03-20 Andrew ReynoldsInternally remove redundant assertions and infer equali... tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-27 Andrew ReynoldsOption to not use partial function semantics for arithm... tree | commitdiff
2018-02-20 Andrew ReynoldsMinor fixes and additions for transcendental functions... tree | commitdiff
2018-02-14 Andrew ReynoldsQuantifiers subdirectories (#1608) tree | commitdiff
2018-02-08 Tim KingRemoving an unused variable. (#1576) tree | commitdiff
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) tree | commitdiff
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... tree | commitdiff
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780... tree | commitdiff
2018-01-27 Tim KingRemoving structurally dead code. (#1540) tree | commitdiff
2018-01-23 Tim KingCommenting out throw specifiers for DeltaRationExceptio... tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501) tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (... tree | commitdiff
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasse... tree | commitdiff
2018-01-08 Tim KingRemoves RationalFromDoubleException. Replaces this... tree | commitdiff
2018-01-03 Andrew ReynoldsGlobal negate (#1466) tree | commitdiff
2017-12-20 Andrew ReynoldsTranscendental functions check model (#1443) tree | commitdiff
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) tree | commitdiff
2017-11-30 Andrew ReynoldsRemove remaining references to QuantArith (#1408) tree | commitdiff
2017-11-29 Andrew ReynoldsImprove the rewriter for SINE. (#1221) tree | commitdiff
2017-11-24 Andrew ReynoldsImplement tangent and secant planes for transcendental... tree | commitdiff
2017-11-22 Andrew ReynoldsTranscendental tangent planes utilities (#1288) tree | commitdiff
2017-11-17 Aina NiemetzAdd random number generator. (#1370) tree | commitdiff
2017-11-16 Andrew Reynolds(Refactor) Arithmetic monomial sum (#1381) tree | commitdiff
2017-11-08 Tim KingCombining d_conflictHasBeenRaised and d_conflictIndex... tree | commitdiff
2017-11-07 Tim KingMoving the enum ArithType to partial_model. Adding... tree | commitdiff
2017-10-01 Andrew ReynoldsRefactor check function in last call effort of non... tree | commitdiff
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-23 Tim KingRemoving TODO for 'Optimize via the iterator'. Not... tree | commitdiff
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221) tree | commitdiff
2017-08-14 Aina NiemetzMerge pull request #214 from CVC4/fix_warn_nonlinear tree | commitdiff
2017-08-12 Aina NiemetzFix compiler warnings in theory/arith/nonlinear_extensi... tree | commitdiff
2017-08-11 ajreynolMaintain frontier for tangent planes. tree | commitdiff
2017-07-30 Andres NoetzliChange remaining hash_set -> unordered_set (#208) tree | commitdiff
2017-07-23 Tim KingDeprecating the unused convenience_node_builders.h... tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199) tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... tree | commitdiff
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-14 Andres NoetzliFix uninitialized value tree | commitdiff
2017-05-31 ajreynolMinor fix to last commit. tree | commitdiff
2017-05-31 ajreynolChange to-int, div, int-div skolems from CDAttribute... tree | commitdiff
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp tree | commitdiff
2017-05-26 Tim KingChecking that equalities belong to the arithmetic theor... tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 ajreynolCleanup handling of division (possible fix for bugs... tree | commitdiff
2017-04-28 ajreynolFix bug for real division. tree | commitdiff
2017-04-24 Andrew ReynoldsMerge pull request #152 from timothy-king/delta-rationa... tree | commitdiff
2017-04-22 Tim KingUpdating TheoryArithPrivate::getDeltaValue() to eagerly... tree | commitdiff
2017-04-07 ajreynolChange option names for nl. tree | commitdiff
2017-04-06 Clark BarrettMerge pull request #143 from FabianWolff/master tree | commitdiff
2017-04-05 ajreynolFix bug 698. tree | commitdiff
2017-04-05 ajreynolFixes for nlAlgSolveSubs. tree | commitdiff
2017-04-05 ajreynolAdd non-linear regressions, disable nlAlgSubs, do not... tree | commitdiff
2017-04-04 Fabian WolffFix several spelling errors tree | commitdiff
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... tree | commitdiff
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def tree | commitdiff
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge tree | commitdiff
2017-04-03 Tim KingAdding a model based axiom instantiation scheme for... tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Tim KingAdding regression test scrubbing. tree | commitdiff
2016-12-13 Andrew ReynoldsMerge pull request #118 from 4tXJ7f/fix_emp tree | commitdiff
2016-12-12 Clark BarrettMerge pull request #117 from 4tXJ7f/fix_order tree | commitdiff
2016-12-12 Clark BarrettMerge branch 'master' into fix_order tree | commitdiff
2016-12-12 Clark BarrettMerge pull request #116 from 4tXJ7f/fix_mult tree | commitdiff
2016-12-09 Tim KingFixing a use after free bug in Polynomial::denominatorLCM. tree | commitdiff
2016-12-09 Andres NotzliFix initialization order tree | commitdiff
2016-12-02 Tim KingInitializing the d_pivots variable. tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-10-03 Tim KingRemoving an unused member from TreeLog. tree | commitdiff
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format tree | commitdiff
2016-09-25 Tim KingFixing a potential use after free coming from a pop_bac... tree | commitdiff
2016-09-12 ajreynolRemove old implementation of cbqi tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
next