projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make iand lemmas use proper Inference types. (#4956)
2020-08-28
Gereon Kremer
Make iand lemmas use proper Inference types. (#4956)
commit
|
commitdiff
|
tree
2020-08-24
Gereon Kremer
Fix memory issue in AntlrInput::parseError (#4873)
commit
|
commitdiff
|
tree
2020-08-19
Gereon Kremer
(cad solver) Add a partial check method. (#4904)
commit
|
commitdiff
|
tree
2020-08-19
Gereon Kremer
Changes assertion (about maximum set cardinality) to...
commit
|
commitdiff
|
tree
2020-08-19
Gereon Kremer
Fix SmtEngine::reset() (#4917)
commit
|
commitdiff
|
tree
2020-08-16
Gereon Kremer
(cad solver) Use the current model as initial assignment...
commit
|
commitdiff
|
tree
2020-08-14
Gereon Kremer
Inspect roots to avoid certain resultants (Algorithm...
commit
|
commitdiff
|
tree
2020-08-12
Gereon Kremer
Add naive support for integer variables. (#4835)
commit
|
commitdiff
|
tree
2020-08-12
Gereon Kremer
Fix infinite loop in arith_ite_simp (#4805)
commit
|
commitdiff
|
tree
2020-08-05
Gereon Kremer
Improve error message for unsupported exponents (#4852)
commit
|
commitdiff
|
tree
2020-08-05
Gereon Kremer
Add dummy returns if libpoly is unavailable. (#4845)
commit
|
commitdiff
|
tree
2020-08-04
Gereon Kremer
Properly initialize d_fullyInited. (#4840)
commit
|
commitdiff
|
tree
2020-08-04
Gereon Kremer
Add CAD-based solver (#4834)
commit
|
commitdiff
|
tree
2020-07-30
Gereon Kremer
Cad implementation (#4774)
commit
|
commitdiff
|
tree
2020-07-30
Gereon Kremer
Adds the interface for the CAD-based arithmetic solver...
commit
|
commitdiff
|
tree
2020-07-21
Gereon Kremer
Preparations for a CAD-based arithmetic solver (#4762)
commit
|
commitdiff
|
tree
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
commit
|
commitdiff
|
tree
2020-07-16
Gereon Kremer
Resource manager cleanup (#4732)
commit
|
commitdiff
|
tree
2020-07-16
Gereon Kremer
Remove cumulative time limits and cpu time limits ...
commit
|
commitdiff
|
tree
2020-07-16
Gereon Kremer
Fixes memory leak when an exception goes through runCvc4...
commit
|
commitdiff
|
tree
2020-07-15
Gereon Kremer
Add missing header (Fixes #4743) (#4749)
commit
|
commitdiff
|
tree
2020-07-13
Gereon Kremer
Implement --tlimit for windows (#4716)
commit
|
commitdiff
|
tree
2020-07-10
Gereon Kremer
Add deps/install/lib to RPATH and warn user when using...
commit
|
commitdiff
|
tree
2020-07-08
Gereon Kremer
Re-implement handling of --tlimit (#4655)
commit
|
commitdiff
|
tree