projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove unnecessary tracing from preprocessing (#2472)
2018-09-17
Andres Noetzli
Remove unnecessary tracing from preprocessing (#2472)
commit
|
commitdiff
|
tree
2018-09-11
yoni206
Avoid calling size() every iteration (#2450)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Update INSTALL instructions (#2420)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove unused options file (#2413)
commit
|
commitdiff
|
tree
2018-09-04
Aina Niemetz
Fix merge mishap of #2359.
commit
|
commitdiff
|
tree
2018-08-29
Tim King
Forcing attribute_internals.h to use uint64_t's for...
commit
|
commitdiff
|
tree
2018-08-28
Aina Niemetz
Reorder circuit propagator class.
commit
|
commitdiff
|
tree
2018-08-28
Aina Niemetz
Move flag needsFinish from SMT engine to circuit propagator.
commit
|
commitdiff
|
tree
2018-08-27
Andres Noetzli
Remove Coverity build from Travis (#2373)
commit
|
commitdiff
|
tree
2018-08-23
Andres Noetzli
Add missing overrides in unit tests (#2362)
commit
|
commitdiff
|
tree
2018-08-21
Mathias Preiner
Move d_realAssertionsEnd from SmtEnginePrivate to AssertionP...
commit
|
commitdiff
|
tree
2018-08-21
Tim King
Add constexpr annotations to help coverity understand...
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Fix dumping of get-unsat-assumptions (#2302)
commit
|
commitdiff
|
tree
2018-08-09
Andrew Reynolds
Fix char overflow issues in regular expression solver...
commit
|
commitdiff
|
tree
2018-08-01
ayveejay
Improvements and tests for the API around separation...
commit
|
commitdiff
|
tree
2018-07-26
Tim King
Removing unused CDTrailHashmap. (#2221)
commit
|
commitdiff
|
tree
2018-07-25
ayveejay
Performing clang-format on the original change-set...
commit
|
commitdiff
|
tree
2018-07-15
Andres Noetzli
Avoid ambiguous overloads in BitVector (#2169)
commit
|
commitdiff
|
tree
2018-07-04
Andrew Reynolds
Reorganize candidate rewrite rule filtering (#2116)
commit
|
commitdiff
|
tree
2018-07-04
Andres Noetzli
Remove unused CDVector (#2139)
commit
|
commitdiff
|
tree
2018-06-26
Aina Niemetz
Bump library version to 1.7-prerelease.
commit
|
commitdiff
|
tree
2018-06-26
Aina Niemetz
Cutting release 1.6.
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
More updates to NEWS for 1.6.
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS...
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Bump library version.
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Update copyright year in configuration.cpp:copyright().
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Updated copyright headers.
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Do not use git blame -C in get-authors (too many false...
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Fix update-copyright script for files without a header.
commit
|
commitdiff
|
tree
2018-06-25
Aina Niemetz
Added Makai and Yoni to get-authors script.
commit
|
commitdiff
|
tree
2018-06-21
Aina Niemetz
Updated installation instructions to mention autogen...
commit
|
commitdiff
|
tree
2018-05-11
Andres Noetzli
Support multiple sets of command line args in regs...
commit
|
commitdiff
|
tree
2018-05-09
yoni206
Reorder class members in bv-to-bool and bool-to-bv...
commit
|
commitdiff
|
tree
2018-04-07
Aina Niemetz
Fixed get-authors.
commit
|
commitdiff
|
tree
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
commit
|
commitdiff
|
tree
2018-04-02
Mathias Preiner
Reorganize bitblaster code. (#1695)
commit
|
commitdiff
|
tree
2018-04-02
yoni206
Do not call toString() on malformed node when throwing...
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Remove abstract regular expression constant (#1698)
commit
|
commitdiff
|
tree
2018-03-09
Andres Noetzli
Skip (get-unsat-assumptions) tests not supported (...
commit
|
commitdiff
|
tree
2018-03-09
Aina Niemetz
Fixed message in get-antlr script.
commit
|
commitdiff
|
tree
2018-03-02
Aina Niemetz
Fixed typo.
commit
|
commitdiff
|
tree
2018-03-02
Aina Niemetz
Fixed comments in smt_engine.h.
commit
|
commitdiff
|
tree
2018-02-20
Andrew Reynolds
Minor fixes and additions for transcendental functions...
commit
|
commitdiff
|
tree
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
commit
|
commitdiff
|
tree
2018-02-15
Andres Noetzli
Fix context memory manager unit test (#1609)
commit
|
commitdiff
|
tree
2018-02-14
Andres Noetzli
Remove unused cd_set_collection.h (#1606)
commit
|
commitdiff
|
tree
2018-02-09
Andres Noetzli
Replace CMM flag with debug CMM flag, fix leak in debug...
commit
|
commitdiff
|
tree
2018-02-09
Tim King
Inlining line_buffered_input to avoid warning about...
commit
|
commitdiff
|
tree
2018-02-08
Tim King
Adding virtual destructors on classes with virtual...
commit
|
commitdiff
|
tree
2018-02-08
Aina Niemetz
Updated copyright
commit
|
commitdiff
|
tree
2018-02-08
Tim King
Fixing line numbers on type_checker_template.cpp (...
commit
|
commitdiff
|
tree
2018-02-07
Mathias Preiner
Cleanup Cryptominisat header. (#1561)
commit
|
commitdiff
|
tree
2018-02-07
Tim King
Adds a new CHECK macro that abort()s on failure. (...
commit
|
commitdiff
|
tree
2018-02-07
Tim King
Fixes two memory leaks coming from Transf. (#1564)
commit
|
commitdiff
|
tree
2018-02-06
Aina Niemetz
Updated copyright header for bv_inverter.(cpp|h).
commit
|
commitdiff
|
tree
2018-02-06
Aina Niemetz
Updated year in update-copyright script.
commit
|
commitdiff
|
tree
2018-02-06
Tim King
Resolving warnings from -Winconsistent-missing-override...
commit
|
commitdiff
|
tree
2018-02-06
Aina Niemetz
Updated authors list
commit
|
commitdiff
|
tree
2018-01-10
Tim King
Removing throw specifiers for TypeRules. (#1501)
commit
|
commitdiff
|
tree
2018-01-04
Andrew Reynolds
Improvements for CBQI (#1478)
commit
|
commitdiff
|
tree
2018-01-03
Mathias Preiner
Fix handling for UGT/SGT. (#1467)
commit
|
commitdiff
|
tree
2017-12-09
Mathias Preiner
Add CEGQI BV linearization of additions and equalities...
commit
|
commitdiff
|
tree
2017-11-30
Andrew Reynolds
Minor improvements and changes to defaults for cbqi...
commit
|
commitdiff
|
tree
2017-10-25
Tim King
Switching EqProof to use shared_ptr everywhere. (...
commit
|
commitdiff
|
tree
2017-10-11
Tim King
Cleaning up ProofArray class. (#1208)
commit
|
commitdiff
|
tree
2017-10-04
Andrew Reynolds
Ho quant util (#1119)
commit
|
commitdiff
|
tree
2017-09-14
Tim King
Simplifying the throw specifier of SmtEngine::checkSat...
commit
|
commitdiff
|
tree
2017-09-14
Martin
Floating point symfpu support (#1093)
commit
|
commitdiff
|
tree
2017-09-14
Andrew Reynolds
Add new kinds required for higher-order. (#1083)
commit
|
commitdiff
|
tree
2017-09-14
Andrew Reynolds
Add isConst check for lambda expressions. (#1084)
commit
|
commitdiff
|
tree
2017-09-13
Andres Noetzli
Make ccache work with Clang on Travis (#1097)
commit
|
commitdiff
|
tree
2017-09-13
Andrew Reynolds
Modify equality engine to allow operators to be marked...
commit
|
commitdiff
|
tree
2017-08-30
Andrew Reynolds
Fix model construction for parametric types (#1059)
commit
|
commitdiff
|
tree
2017-08-25
Aina Niemetz
Added missing includes (algorithm).
commit
|
commitdiff
|
tree
2017-08-12
Aina Niemetz
Fix compiler warnings in theory/arith/nonlinear_extension.cpp
commit
|
commitdiff
|
tree
2017-08-09
Aina Niemetz
Fix help message for disable-unit-testing in configure...
commit
|
commitdiff
|
tree
2017-08-09
Aina Niemetz
Fix Assertion (compiler warning) in theory/bv/theory_bv.cpp
commit
|
commitdiff
|
tree
2017-08-08
Aina Niemetz
Fix compiler warning in theory/quantifiers/term_database_syg...
commit
|
commitdiff
|
tree
2017-08-05
Aina Niemetz
Reorganized bitvector.h
commit
|
commitdiff
|
tree
2017-08-04
Aina Niemetz
Fix comments
commit
|
commitdiff
|
tree
2017-08-04
Aina Niemetz
Fix typos in comments
commit
|
commitdiff
|
tree
2017-07-13
Aina Niemetz
autoconf: make -std=gnu++11 mandatory
commit
|
commitdiff
|
tree
2017-07-06
Aina Niemetz
cut-release: git co -> git checkout
commit
|
commitdiff
|
tree
2017-07-06
Aina Niemetz
cut-release: option handling, get-antlr
commit
|
commitdiff
|
tree