projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding garbage collection for Proof objects. (#1294)
2017-11-15 Tim KingAdding garbage collection for Proof objects. (#1294)
 commit | commitdiff | tree
2017-11-04 Andrew ReynoldsFix bv help message. (#1315)
 commit | commitdiff | tree
2017-10-27 Tim KingAdds a macro to SWIG to ignore the override and final...
commit | commitdiff | tree
2017-10-26 Tim KingRemoving throw specifiers from OutputChannel and subclasses...
commit | commitdiff | tree
2017-10-10 MartinAdd skeleton of the FP theory solver (#1130)
 commit | commitdiff | tree
2017-10-05 MartinAllow CDHashMaps for objects without default constructors...
commit | commitdiff | tree
2017-10-03 MartinAdd 5 FP kinds for partial to total fn conversion ...
commit | commitdiff | tree
2017-10-02 Tim KingRemoving throw specifiers from SymbolTable::Implementation...
commit | commitdiff | tree
2017-10-02 Tim KingCID 1457268: Initializing CegConjecture::d_syntax_guided...
commit | commitdiff | tree
2017-09-29 Andres NoetzliAdd license information for GMP
 commit | commitdiff | tree
2017-09-29 Andrew ReynoldsUpdate symbol table to support operator overloading...
commit | commitdiff | tree
2017-09-29 Mathias PreinerFix output of --show-config for readline. (#1159)
 commit | commitdiff | tree
2017-09-27 Andrew ReynoldsMinor fixes for partial quantifier elimination. (#1147)
 commit | commitdiff | tree
2017-09-27 Martin BrainFix type checking of to_real (#1127)
 commit | commitdiff | tree
2017-09-27 Martin BrainImprove FP rewriter: const folding, other (#1126)
 commit | commitdiff | tree
2017-09-26 Tim KingFixing CIDs 1172014 and 1172013: Initializing members...
commit | commitdiff | tree
2017-09-26 Tim KingFixing Cid 1172009 (#1141)
 commit | commitdiff | tree
2017-09-26 Tim KingFixing CID 1172020: Initializing CDHashMap::iterator...
commit | commitdiff | tree
2017-09-26 Tim KingFixing CID 1362903: Initializing d_bvp to nullptr....
commit | commitdiff | tree
2017-09-26 Tim KingCID 1362904: Initializing GetInstantiationsCommand...
commit | commitdiff | tree
2017-09-26 Tim KingFixing CIDs 1172012 and 1172011: Initiallzing d_exprManager...
commit | commitdiff | tree
2017-09-26 Andrew ReynoldsCegqi refactor substitutions (#1129)
 commit | commitdiff | tree
2017-09-25 Tim KingInitializing BVMinisat Solver::notify to nullptr. ...
commit | commitdiff | tree
2017-09-25 Tim KingFixing CID 1362917: There was a branch where d_issup...
commit | commitdiff | tree
2017-09-20 MartinAdd FP type enumerator and cardinality computer (#1104)
 commit | commitdiff | tree
2017-09-19 Tim KingFixing a null pointer dereference in the cvc3 compatibility...
commit | commitdiff | tree
2017-09-19 Tim KingRemoving a potentially invalid comparison in the TPTP...
commit | commitdiff | tree
2017-09-19 Andrew ReynoldsFix issue #1105 involving string to int (#1112)
 commit | commitdiff | tree
2017-09-19 MartinFloating point symfpu support (#1103)
 commit | commitdiff | tree
2017-09-15 MartinMake floating-point comparison operators chainable...
commit | commitdiff | tree
2017-09-15 makaimannAdd missing CVC4_PUBLIC in kind_template (#1078)
 commit | commitdiff | tree
2017-08-24 Andres NoetzliAdd include to fix build
 commit | commitdiff | tree
2017-08-24 Andres NoetzliFix typos
 commit | commitdiff | tree
2017-08-14 Mark LawsBuild and test suite fixes for Windows (#186)
 commit | commitdiff | tree
2017-08-10 Andres NoetzliFix line numbers in options_template
 commit | commitdiff | tree
2017-08-09 Andres NoetzliFix compiler warning in sat_proof_implementation
 commit | commitdiff | tree
2017-06-19 Andres NoetzliBetter configuration for QF_NRA
 commit | commitdiff | tree
2017-06-16 Andres NoetzliParse 'is', 'match' differently for non-DT input
 commit | commitdiff | tree
2017-06-14 Andres NoetzliRemove UdivSelf rewrite, add UdivZero rewrite
 commit | commitdiff | tree
2017-06-14 Andres NoetzliFix uninitialized value
 commit | commitdiff | tree
2017-05-28 Andres Noetzli[Competition] Fix ABC, fix CryptoMiniSat req
 commit | commitdiff | tree
2017-05-16 Andres NoetzliAvoid tokenizing FP tokens in non-FP input
 commit | commitdiff | tree
2017-05-16 Andres NoetzliFix error in Windows build
 commit | commitdiff | tree
2017-05-15 Andres NoetzliMinor fix in safe_print function
 commit | commitdiff | tree
2017-05-15 Andres NoetzliFix type checks for relation operators
 commit | commitdiff | tree
2017-05-15 Andres NoetzliFix minor bug in sets rewriter
 commit | commitdiff | tree
2017-05-15 Andres NoetzliFix condition in upwards closure check for sets
 commit | commitdiff | tree
2017-04-21 Andres NoetzliMove assertion out of loop for better performance
 commit | commitdiff | tree