projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Floating point theory solver based on SymFPU (#1895)
[cvc5.git]
/
src
/
theory
/
arith
/
2018-05-03
Andrew Reynolds
Option to interleave tangent plane inferences (#1833)
tree
|
commitdiff
2018-05-01
Andrew Reynolds
Improve tangent planes for transcendental functions...
tree
|
commitdiff
2018-04-30
Andrew Reynolds
Make factoring inference more aggressive (#1825)
tree
|
commitdiff
2018-04-30
Andrew Reynolds
Refactor nonlinear check (#1814)
tree
|
commitdiff
2018-04-30
Andrew Reynolds
Improvements to simple transcendental function check...
tree
|
commitdiff
2018-04-27
Andrew Reynolds
Simplify tangent plane direction (#1824)
tree
|
commitdiff
2018-04-25
Andrew Reynolds
Remove nl solve subs option. (#1803)
tree
|
commitdiff
2018-04-19
Andres Noetzli
Refactor pbRewrites preprocessing pass (#1767)
tree
|
commitdiff
2018-04-03
Andrew Reynolds
Use choice when expanding definitions for inverse trans...
tree
|
commitdiff
2018-03-30
Andrew Reynolds
Do not use factoring inference for transcendental funct...
tree
|
commitdiff
2018-03-20
Andrew Reynolds
Internally remove redundant assertions and infer equali...
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-02-27
Andrew Reynolds
Option to not use partial function semantics for arithm...
tree
|
commitdiff
2018-02-20
Andrew Reynolds
Minor fixes and additions for transcendental functions...
tree
|
commitdiff
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
tree
|
commitdiff
2018-02-08
Tim King
Removing an unused variable. (#1576)
tree
|
commitdiff
2018-02-07
Andrew Reynolds
Add remaining transcendental functions (#1551)
tree
|
commitdiff
2018-02-06
Tim King
Resolving warnings from -Winconsistent-missing-override...
tree
|
commitdiff
2018-02-03
Tim King
Restoring ostream format. Resolves a few CIDs 1362780...
tree
|
commitdiff
2018-01-27
Tim King
Removing structurally dead code. (#1540)
tree
|
commitdiff
2018-01-23
Tim King
Commenting out throw specifiers for DeltaRationExceptio...
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers for TypeRules. (#1501)
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers from type enumerators. (...
tree
|
commitdiff
2018-01-10
Tim King
Cleaning up throw specifiers on Exception and subclasse...
tree
|
commitdiff
2018-01-08
Tim King
Removes RationalFromDoubleException. Replaces this...
tree
|
commitdiff
2018-01-03
Andrew Reynolds
Global negate (#1466)
tree
|
commitdiff
2017-12-20
Andrew Reynolds
Transcendental functions check model (#1443)
tree
|
commitdiff
2017-12-08
Andrew Reynolds
Make collect model info return a Bool (#1421)
tree
|
commitdiff
2017-11-30
Andrew Reynolds
Remove remaining references to QuantArith (#1408)
tree
|
commitdiff
2017-11-29
Andrew Reynolds
Improve the rewriter for SINE. (#1221)
tree
|
commitdiff
2017-11-24
Andrew Reynolds
Implement tangent and secant planes for transcendental...
tree
|
commitdiff
2017-11-22
Andrew Reynolds
Transcendental tangent planes utilities (#1288)
tree
|
commitdiff
2017-11-17
Aina Niemetz
Add random number generator. (#1370)
tree
|
commitdiff
2017-11-16
Andrew Reynolds
(Refactor) Arithmetic monomial sum (#1381)
tree
|
commitdiff
2017-11-08
Tim King
Combining d_conflictHasBeenRaised and d_conflictIndex...
tree
|
commitdiff
2017-11-07
Tim King
Moving the enum ArithType to partial_model. Adding...
tree
|
commitdiff
2017-10-01
Andrew Reynolds
Refactor check function in last call effort of non...
tree
|
commitdiff
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-23
Tim King
Removing TODO for 'Optimize via the iterator'. Not...
tree
|
commitdiff
2017-08-17
Andres Noetzli
Remove unused SubrangeBound(s) classes (#221)
tree
|
commitdiff
2017-08-14
Aina Niemetz
Merge pull request #214 from CVC4/fix_warn_nonlinear
tree
|
commitdiff
2017-08-12
Aina Niemetz
Fix compiler warnings in theory/arith/nonlinear_extensi...
tree
|
commitdiff
2017-08-11
ajreynol
Maintain frontier for tangent planes.
tree
|
commitdiff
2017-07-30
Andres Noetzli
Change remaining hash_set -> unordered_set (#208)
tree
|
commitdiff
2017-07-23
Tim King
Deprecating the unused convenience_node_builders.h...
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Andres Noetzli
Use is_sorted, merge, copy from std (#199)
tree
|
commitdiff
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
tree
|
commitdiff
2017-07-12
ajreynol
Make type rules more strict for operators whose type...
tree
|
commitdiff
2017-07-10
ajreynol
Merge ntExt branch. Adds support for transcendental...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-14
Andres Noetzli
Fix uninitialized value
tree
|
commitdiff
2017-05-31
ajreynol
Minor fix to last commit.
tree
|
commitdiff
2017-05-31
ajreynol
Change to-int, div, int-div skolems from CDAttribute...
tree
|
commitdiff
2017-05-28
Clark Barrett
Merge pull request #164 from CVC4/fix_comp
tree
|
commitdiff
2017-05-26
Tim King
Checking that equalities belong to the arithmetic theor...
tree
|
commitdiff
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
tree
|
commitdiff
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
tree
|
commitdiff
2017-05-16
Andrew Reynolds
Merge pull request #156 from 4tXJ7f/fix_safe_print
tree
|
commitdiff
2017-05-15
ajreynol
Cleanup handling of division (possible fix for bugs...
tree
|
commitdiff
2017-04-28
ajreynol
Fix bug for real division.
tree
|
commitdiff
2017-04-24
Andrew Reynolds
Merge pull request #152 from timothy-king/delta-rationa...
tree
|
commitdiff
2017-04-22
Tim King
Updating TheoryArithPrivate::getDeltaValue() to eagerly...
tree
|
commitdiff
2017-04-07
ajreynol
Change option names for nl.
tree
|
commitdiff
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
tree
|
commitdiff
2017-04-05
ajreynol
Fix bug 698.
tree
|
commitdiff
2017-04-05
ajreynol
Fixes for nlAlgSolveSubs.
tree
|
commitdiff
2017-04-05
ajreynol
Add non-linear regressions, disable nlAlgSubs, do not...
tree
|
commitdiff
2017-04-04
Fabian Wolff
Fix several spelling errors
tree
|
commitdiff
2017-04-04
ajreynol
Simplify Theory::collectModelInfo interface to not...
tree
|
commitdiff
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
tree
|
commitdiff
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
tree
|
commitdiff
2017-04-03
Tim King
Adding a model based axiom instantiation scheme for...
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
tree
|
commitdiff
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
tree
|
commitdiff
2017-01-11
Tim King
Adding regression test scrubbing.
tree
|
commitdiff
2016-12-13
Andrew Reynolds
Merge pull request #118 from 4tXJ7f/fix_emp
tree
|
commitdiff
2016-12-12
Clark Barrett
Merge pull request #117 from 4tXJ7f/fix_order
tree
|
commitdiff
2016-12-12
Clark Barrett
Merge branch 'master' into fix_order
tree
|
commitdiff
2016-12-12
Clark Barrett
Merge pull request #116 from 4tXJ7f/fix_mult
tree
|
commitdiff
2016-12-09
Tim King
Fixing a use after free bug in Polynomial::denominatorLCM.
tree
|
commitdiff
2016-12-09
Andres Notzli
Fix initialization order
tree
|
commitdiff
2016-12-02
Tim King
Initializing the d_pivots variable.
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-10-03
Tim King
Removing an unused member from TreeLog.
tree
|
commitdiff
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
tree
|
commitdiff
2016-09-25
Tim King
Fixing a potential use after free coming from a pop_bac...
tree
|
commitdiff
2016-09-12
ajreynol
Remove old implementation of cbqi
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-14
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-14
ajreynol
Add option --snorm-infer-eq to infer equalities based...
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
next