projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Adding garbage collection for Proof objects. (#1294)
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
Andres Noetzli
Add license information for GMP
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-27
Martin Brain
Fix type checking of to_real (#1127)
commit
|
commitdiff
|
tree
2017-09-27
Martin Brain
Improve FP rewriter: const folding, other (#1126)
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-24
Andres Noetzli
Add include to fix build
commit
|
commitdiff
|
tree
2017-08-24
Andres Noetzli
Fix typos
commit
|
commitdiff
|
tree
2017-08-14
Mark Laws
Build and test suite fixes for Windows (#186)
commit
|
commitdiff
|
tree
2017-08-10
Andres Noetzli
Fix line numbers in options_template
commit
|
commitdiff
|
tree
2017-08-09
Andres Noetzli
Fix compiler warning in sat_proof_implementation
commit
|
commitdiff
|
tree
2017-06-19
Andres Noetzli
Better configuration for QF_NRA
commit
|
commitdiff
|
tree
2017-06-16
Andres Noetzli
Parse 'is', 'match' differently for non-DT input
commit
|
commitdiff
|
tree
2017-06-14
Andres Noetzli
Remove UdivSelf rewrite, add UdivZero rewrite
commit
|
commitdiff
|
tree
2017-06-14
Andres Noetzli
Fix uninitialized value
commit
|
commitdiff
|
tree
2017-05-28
Andres Noetzli
[Competition] Fix ABC, fix CryptoMiniSat req
commit
|
commitdiff
|
tree
2017-05-16
Andres Noetzli
Avoid tokenizing FP tokens in non-FP input
commit
|
commitdiff
|
tree
2017-05-16
Andres Noetzli
Fix error in Windows build
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Minor fix in safe_print function
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix type checks for relation operators
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix minor bug in sets rewriter
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix condition in upwards closure check for sets
commit
|
commitdiff
|
tree
2017-04-21
Andres Noetzli
Move assertion out of loop for better performance
commit
|
commitdiff
|
tree