projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Refactor bv-intro-pow2 preprocessing pass. (#1851)
2018-05-04
Mathias Preiner
Refactor bv-intro-pow2 preprocessing pass. (#1851)
commit
|
commitdiff
|
tree
2018-05-04
Andrew Reynolds
Sets subtypes (#1095)
commit
|
commitdiff
|
tree
2018-05-03
Mathias Preiner
Fix redundant internalPush calls. (#1865)
commit
|
commitdiff
|
tree
2018-05-03
Andrew Reynolds
Fix cvc printer for nullary constructors (#1856)
commit
|
commitdiff
|
tree
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
commit
|
commitdiff
|
tree
2018-04-30
Andrew Reynolds
Remove subsort symmetry breaking (#1807)
commit
|
commitdiff
|
tree
2018-04-20
yoni206
Allow metadata lines in test files to have leading...
commit
|
commitdiff
|
tree
2018-04-15
Andrew Reynolds
Fix mk type const (#1776)
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Proper initialization and destruction of sygus unif...
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Option to turn arbitrary input into sygus (#1704)
commit
|
commitdiff
|
tree
2018-03-26
Andrew Reynolds
Check model only when sat (#1694)
commit
|
commitdiff
|
tree
2018-03-25
Andrew Reynolds
Cleanup various exit calls (#1692)
commit
|
commitdiff
|
tree
2018-03-25
Mathias Preiner
Remove doc/libcvc4.3 from options/Makefile.am. (#1696)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Fix datatype dump regression. (#1672)
commit
|
commitdiff
|
tree
2018-02-10
Aina Niemetz
Remove mkNode from bv::utils (#1587)
commit
|
commitdiff
|
tree
2018-01-27
Tim King
Removing an unused variable. Resolves CID 1172257....
commit
|
commitdiff
|
tree
2018-01-27
Tim King
Removing structurally dead code. (#1540)
commit
|
commitdiff
|
tree
2018-01-14
Tim King
Removing throw specifiers from OptionsHandler. (#1510)
commit
|
commitdiff
|
tree
2018-01-10
Tim King
Cleaning up throw specifiers on Exception and subclasses...
commit
|
commitdiff
|
tree
2017-12-11
justinxu421
Add new infrastructure for preprocessing passes (#1053)
commit
|
commitdiff
|
tree
2017-11-15
Tim King
Adding garbage collection for Proof objects. (#1294)
commit
|
commitdiff
|
tree
2017-11-04
Andrew Reynolds
Fix bv help message. (#1315)
commit
|
commitdiff
|
tree
2017-10-27
Tim King
Adds a macro to SWIG to ignore the override and final...
commit
|
commitdiff
|
tree
2017-10-26
Tim King
Removing throw specifiers from OutputChannel and subclasses...
commit
|
commitdiff
|
tree
2017-10-10
Martin
Add skeleton of the FP theory solver (#1130)
commit
|
commitdiff
|
tree
2017-10-05
Martin
Allow CDHashMaps for objects without default constructors...
commit
|
commitdiff
|
tree
2017-10-03
Martin
Add 5 FP kinds for partial to total fn conversion ...
commit
|
commitdiff
|
tree
2017-10-02
Tim King
Removing throw specifiers from SymbolTable::Implementation...
commit
|
commitdiff
|
tree
2017-10-02
Tim King
CID 1457268: Initializing CegConjecture::d_syntax_guided...
commit
|
commitdiff
|
tree
2017-09-29
Andrew Reynolds
Update symbol table to support operator overloading...
commit
|
commitdiff
|
tree
2017-09-29
Mathias Preiner
Fix output of --show-config for readline. (#1159)
commit
|
commitdiff
|
tree
2017-09-27
Andrew Reynolds
Minor fixes for partial quantifier elimination. (#1147)
commit
|
commitdiff
|
tree
2017-09-26
Tim King
Fixing CIDs 1172014 and 1172013: Initializing members...
commit
|
commitdiff
|
tree
2017-09-26
Tim King
Fixing Cid 1172009 (#1141)
commit
|
commitdiff
|
tree
2017-09-26
Tim King
Fixing CID 1172020: Initializing CDHashMap::iterator...
commit
|
commitdiff
|
tree
2017-09-26
Tim King
Fixing CID 1362903: Initializing d_bvp to nullptr....
commit
|
commitdiff
|
tree
2017-09-26
Tim King
CID 1362904: Initializing GetInstantiationsCommand...
commit
|
commitdiff
|
tree
2017-09-26
Tim King
Fixing CIDs 1172012 and 1172011: Initiallzing d_exprManager...
commit
|
commitdiff
|
tree
2017-09-26
Andrew Reynolds
Cegqi refactor substitutions (#1129)
commit
|
commitdiff
|
tree
2017-09-25
Tim King
Initializing BVMinisat Solver::notify to nullptr. ...
commit
|
commitdiff
|
tree
2017-09-25
Tim King
Fixing CID 1362917: There was a branch where d_issup...
commit
|
commitdiff
|
tree
2017-09-20
Martin
Add FP type enumerator and cardinality computer (#1104)
commit
|
commitdiff
|
tree
2017-09-19
Tim King
Fixing a null pointer dereference in the cvc3 compatibility...
commit
|
commitdiff
|
tree
2017-09-19
Tim King
Removing a potentially invalid comparison in the TPTP...
commit
|
commitdiff
|
tree
2017-09-19
Andrew Reynolds
Fix issue #1105 involving string to int (#1112)
commit
|
commitdiff
|
tree
2017-09-19
Martin
Floating point symfpu support (#1103)
commit
|
commitdiff
|
tree
2017-09-15
Martin
Make floating-point comparison operators chainable...
commit
|
commitdiff
|
tree
2017-09-15
makaimann
Add missing CVC4_PUBLIC in kind_template (#1078)
commit
|
commitdiff
|
tree
2017-08-14
Mark Laws
Build and test suite fixes for Windows (#186)
commit
|
commitdiff
|
tree
2017-06-21
Clément Pit-Claudel
Check for sigaltstack in configure (#172)
commit
|
commitdiff
|
tree
2017-06-20
Andres Noetzli
Fix SIGILL handler
commit
|
commitdiff
|
tree
2017-06-15
Andres Noetzli
Make comp script more robust
commit
|
commitdiff
|
tree
2017-05-26
Andres Noetzli
Fix use-after-free with ResChains
commit
|
commitdiff
|
tree
2017-05-13
Andres Notzli
Fix out-of-bounds access in test
commit
|
commitdiff
|
tree
2017-05-12
Andres Notzli
Make signal handlers safer
commit
|
commitdiff
|
tree
2017-04-21
Andres Notzli
Add check for C++ exceptions to config script
commit
|
commitdiff
|
tree
2017-04-05
Andres Notzli
[LFSC] Fix segfault
commit
|
commitdiff
|
tree
2017-03-31
Andres Notzli
Remove decl. of getStatisticsRegistry(SmtEngine*)
commit
|
commitdiff
|
tree
2017-03-30
Andres Notzli
[Coverity] Remove throw qualifiers in src/smt
commit
|
commitdiff
|
tree
2017-03-27
Andres Notzli
Remove throw qualifiers in type enumerators
commit
|
commitdiff
|
tree
2017-03-15
Andres Notzli
Fix win-build script to use MinGW-w64 by default
commit
|
commitdiff
|
tree
2017-03-14
Andres Notzli
fix uninitialized variable
commit
|
commitdiff
|
tree
2017-03-08
Andres Notzli
Fix MinGW-w64 build
commit
|
commitdiff
|
tree
2017-01-18
Andres Noetzli
Fix non-idempotent rewrite in Array rewriter
commit
|
commitdiff
|
tree
2017-01-16
Andres Notzli
[LFSC] Fix performance issues, more determinism
commit
|
commitdiff
|
tree
2016-12-28
Andres Notzli
[LFSC] Minor fixes/improvements
commit
|
commitdiff
|
tree
2016-12-28
Andres Notzli
[LFSC] Fix memory leaks when creating CExprs
commit
|
commitdiff
|
tree
2016-12-17
Andres Notzli
Fix dependency tracing for fewerPreprocessingHoles
commit
|
commitdiff
|
tree
2016-12-14
Andres Notzli
Switch from SMT-LIB v2.0 to v2.5 for smt2 files
commit
|
commitdiff
|
tree
2016-12-12
Andres Notzli
Fix split-find-unsat-w-emp test
commit
|
commitdiff
|
tree
2016-12-09
Andres Notzli
Fix initialization order
commit
|
commitdiff
|
tree
2016-12-09
Andres Notzli
Fix (inactive) `MultSlice` rewrite
commit
|
commitdiff
|
tree
2016-12-02
Andres Notzli
Fix build on macOS Sierra
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Remove wrong `ExtractMultLeadingBit` rule
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Fix parsing of BVROTR by CVC parser
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Add unit test for `MultDistrib` rule
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Fix `MultDistrib` rewrite rule
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Remove unused, libstdc++-exclusive include
commit
|
commitdiff
|
tree
2016-11-18
Andres Notzli
Fix Makefiles in test
commit
|
commitdiff
|
tree
2016-11-05
Andres Notzli
Fix three leaks in unit tests
commit
|
commitdiff
|
tree
2016-11-03
Andres Notzli
Fix back() of empty deque in context_mm_black test
commit
|
commitdiff
|
tree
2016-10-27
Andres Notzli
Fix typo in Makefile that makes distcheck fail
commit
|
commitdiff
|
tree
2016-10-24
Andres Notzli
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
commit
|
commitdiff
|
tree
2016-10-19
Andres Notzli
Fix minor bug and typo in boolean rewriter
commit
|
commitdiff
|
tree
2016-08-12
Andres Notzli
Add support for fewer preprocessing holes
commit
|
commitdiff
|
tree
2016-08-09
Andres Notzli
Fix missing/redundant spaces in proofs
commit
|
commitdiff
|
tree
2016-08-05
Andres Notzli
Minor: add/fix comments, remove redundant includes
commit
|
commitdiff
|
tree
2016-07-28
Andres Notzli
Fix out-of-bounds access in ExprManager
commit
|
commitdiff
|
tree
2016-07-27
Andres Notzli
Fix warnings in src/proof
commit
|
commitdiff
|
tree