projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2021-04-14
Andrew Reynolds
Warn about infeasible SyGuS conjectures (#6345)
commit
|
commitdiff
|
tree
2021-04-14
Haniel Barbosa
[proof-new] Fix explanation of literals in SAT proof...
commit
|
commitdiff
|
tree
2021-04-14
Haniel Barbosa
[proof-new] Miscellaneous improvements to dot printer...
commit
|
commitdiff
|
tree
2021-04-14
Gereon Kremer
Fix libpoly build and use new release (#6354)
commit
|
commitdiff
|
tree
2021-04-13
Andrew Reynolds
Add pool instantiation strategy (#6308)
commit
|
commitdiff
|
tree
2021-04-13
Andrew Reynolds
Refactor quantifiers macros (#6348)
commit
|
commitdiff
|
tree
2021-04-13
Mathias Preiner
ci: Use CVC5_REGRESSION_ARGS. (#6347)
commit
|
commitdiff
|
tree
2021-04-13
Andrew Reynolds
Formalize more skolems (#6307)
commit
|
commitdiff
|
tree
2021-04-13
Aina Niemetz
API docs: Add custom target to build for GH pages....
commit
|
commitdiff
|
tree
2021-04-13
Abdalrhman...
Avoid using substitute's input cache after the method...
commit
|
commitdiff
|
tree
2021-04-13
Abdalrhman...
Fix sexpr bug with AST output language. (#6329)
commit
|
commitdiff
|
tree
2021-04-13
Aina Niemetz
Bags: Move more implementation of type rule from header...
commit
|
commitdiff
|
tree
2021-04-12
Aina Niemetz
Strings: Move implementation of type rules from header...
commit
|
commitdiff
|
tree
2021-04-12
Andrew Reynolds
Fix computation of whether a type is finite (#6312)
commit
|
commitdiff
|
tree
2021-04-12
Gereon Kremer
Refactor resource manager (#6322)
commit
|
commitdiff
|
tree
2021-04-12
Gereon Kremer
Only require GMP 6.1 (#6332)
commit
|
commitdiff
|
tree
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
commit
|
commitdiff
|
tree
2021-04-12
Andrew Reynolds
Consolidate interface to prop engine (#6189)
commit
|
commitdiff
|
tree
2021-04-12
Andres Noetzli
Fix GitHub Actions macOS build (#6331)
commit
|
commitdiff
|
tree
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
commit
|
commitdiff
|
tree
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
commit
|
commitdiff
|
tree
2021-04-09
Aina Niemetz
New C++ Api: Initial layout of Api documentation. ...
commit
|
commitdiff
|
tree
2021-04-09
Haniel Barbosa
[proof-new] Optimizing sat proof (#6324)
commit
|
commitdiff
|
tree
2021-04-09
Andrew Reynolds
Add identifiers for extended function reductions (...
commit
|
commitdiff
|
tree
2021-04-09
Andrew Reynolds
Add regressions for issue 6214 (#6305)
commit
|
commitdiff
|
tree
2021-04-09
Andres Noetzli
Learn equalities involving Boolean variables (#6323)
commit
|
commitdiff
|
tree
2021-04-09
Andrew Reynolds
Avoid spurious runs in run_regression.py (#6318)
commit
|
commitdiff
|
tree
2021-04-09
Andrew Reynolds
Use expr miner timeout (#6321)
commit
|
commitdiff
|
tree
2021-04-09
Gereon Kremer
Add missing InferenceIds to toString (#6320)
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Fix run_regression for cvc expected outputs (#6317)
commit
|
commitdiff
|
tree
2021-04-08
Gereon Kremer
Use newer version of update-pr-branch action. (#6315)
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Use exceptions when constructing malformed datatypes...
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Add identifiers for sources of incompleteness (#6311)
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Add benchmark for issue 5101 (#6301)
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Add benchmark for issue 4400 (#6288)
commit
|
commitdiff
|
tree
2021-04-08
Andrew Reynolds
Initial support for parametric datatypes in sygus ...
commit
|
commitdiff
|
tree
2021-04-07
Aina Niemetz
Remove old API header. (#6309)
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Add cardinality class definition (#6302)
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Add benchmark for 6270 (#6283)
commit
|
commitdiff
|
tree
2021-04-07
Haniel Barbosa
[proof-new] Fixing SMT post-processor's handling of...
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Add benchmark for issue 4420 (#6286)
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Set incomplete if not applying ho extensionality (...
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Fixes for abducts (#6279)
commit
|
commitdiff
|
tree
2021-04-07
Aina Niemetz
New C++ Api: Rename and move checks.h. (#6306)
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
(proof-new) Proper implementation of proof node cloning...
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Add term pools utility (#6243)
commit
|
commitdiff
|
tree
2021-04-07
Aina Niemetz
New C++ Api: Initial setup of Api documentation. (...
commit
|
commitdiff
|
tree
2021-04-07
Andrew Reynolds
Replace calls to NodeManager::mkSkolem with SkolemManag...
commit
|
commitdiff
|
tree
2021-04-07
Mathias Preiner
cmake: Do not always regenerate cvc4kinds.{pxi,pxd...
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
cmake: Add helper to check if a given Python module...
commit
|
commitdiff
|
tree
2021-04-06
Andrew Reynolds
Add benchmark for issue 5942 (#6296)
commit
|
commitdiff
|
tree
2021-04-06
Andres Noetzli
Remove template argument from `NodeBuilder` (#6290)
commit
|
commitdiff
|
tree
2021-04-06
Andrew Reynolds
Fix tptp parser for negative rational (#6297)
commit
|
commitdiff
|
tree
2021-04-06
Andrew Reynolds
Fix issue with lemma during equality engine iterator...
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
genkinds: Do not use relative paths to find src directo...
commit
|
commitdiff
|
tree
2021-04-06
Andrew Reynolds
Remove stdPrintAscii option (#6280)
commit
|
commitdiff
|
tree
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
parsekinds: Remove DEFAULT_HEADER. (#6294)
commit
|
commitdiff
|
tree
2021-04-05
mudathirmahgoub
Add documentation for theory_bags_type_rules.h (#6268)
commit
|
commitdiff
|
tree
2021-04-05
Andrew Reynolds
Fix spurious antecedant for symbolic regular expression...
commit
|
commitdiff
|
tree
2021-04-05
Andrew Reynolds
Add benchmark for issue 4412 (#6287)
commit
|
commitdiff
|
tree
2021-04-05
Haniel Barbosa
[proof-new] Registering proof checkers uniformly from...
commit
|
commitdiff
|
tree
2021-04-05
Andrew Reynolds
Enable UF when pre-skolem nested option is enabled...
commit
|
commitdiff
|
tree
2021-04-05
NicolaasWeideman
python: Fix type casting in mkBitVector (#6261)
commit
|
commitdiff
|
tree
2021-04-05
Andrew Reynolds
Fix subtyping for sets care graph (#6278)
commit
|
commitdiff
|
tree
2021-04-05
Andrew Reynolds
Add interface for skolem functions in SkolemManager...
commit
|
commitdiff
|
tree
2021-04-05
yoni206
A proposal for python api unit tests (#6255)
commit
|
commitdiff
|
tree
2021-04-05
Yancheng Ou
Optimizer for BitVectors (#6213)
commit
|
commitdiff
|
tree
2021-04-03
Andrew Reynolds
Disable substring component contains in strip endpoints...
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
Add cache for new dependencies folder. (#6265)
commit
|
commitdiff
|
tree
2021-04-02
Mathias Preiner
cmake: Do not link against main object library. (#6269)
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
New statistics registry (#6210)
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
Minor refactoring (#6273)
commit
|
commitdiff
|
tree
2021-04-02
Andrew Reynolds
Cleaning up friend relationships for commands (#6254)
commit
|
commitdiff
|
tree
2021-04-02
Andrew Reynolds
Fix case where RE unfolding generates a trivially true...
commit
|
commitdiff
|
tree
2021-04-02
Gereon Kremer
FindCaDiCaL: Avoid redirect to file (#6272)
commit
|
commitdiff
|
tree
2021-04-01
Gereon Kremer
Add utility classes for new statistics (#6178)
commit
|
commitdiff
|
tree
2021-04-01
Andrew Reynolds
Simplify caching of regular expression unfolding (...
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
FP: Factor out symfpu traits. (#6246)
commit
|
commitdiff
|
tree
2021-04-01
Andrew Reynolds
Fix type rule for to_real (#6257)
commit
|
commitdiff
|
tree
2021-04-01
Andrew Reynolds
Add regression for issue 6191 (#6264)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
Delete hashsmt example. (#6263)
commit
|
commitdiff
|
tree
2021-04-01
Gereon Kremer
Refactor CLN dependency & Cleanup (#6251)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
kinds: Remove non-existent properties. (#6253)
commit
|
commitdiff
|
tree
2021-04-01
Andrew Reynolds
Add debug traces to theory inference manager (#6250)
commit
|
commitdiff
|
tree
2021-04-01
Andrew Reynolds
Fix non-linear for unknown case (#6252)
commit
|
commitdiff
|
tree
2021-04-01
Gereon Kremer
Make ResetCommand go through APISolver (#6172)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
commit
|
commitdiff
|
tree
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
commit
|
commitdiff
|
tree
2021-03-31
Gereon Kremer
Refactor dependencies for external SAT solvers (#6215)
commit
|
commitdiff
|
tree
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Bags: Move implementation of type rules from header...
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Fix years in COPYING. (#6248)
commit
|
commitdiff
|
tree
2021-03-31
Andrew Reynolds
Eliminate dependencies on quantifiers engine in interna...
commit
|
commitdiff
|
tree
2021-03-31
Andrew Reynolds
Add missing inference ids (#6242)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
FP: Move implementation of type rules from header to...
commit
|
commitdiff
|
tree
2021-03-31
yoni206
Fix compilation of Python bindings for named build...
commit
|
commitdiff
|
tree
2021-03-30
Andrew Reynolds
Fix printing for double patterns (#6235)
commit
|
commitdiff
|
tree
2021-03-30
Andrew Reynolds
Make SEXPR simply typed (#6160)
commit
|
commitdiff
|
tree
next