projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix handling of TO_REAL in cvc printer (#1876)
2018-05-05 Andrew ReynoldsFix handling of TO_REAL in cvc printer (#1876)
 commit | commitdiff | tree
2018-05-04 Andrew ReynoldsDo not print tuples. (#1874)
 commit | commitdiff | tree
2018-05-04 Mathias PreinerRefactor bv-intro-pow2 preprocessing pass. (#1851)
 commit | commitdiff | tree
2018-05-04 Andrew ReynoldsSets subtypes (#1095)
 commit | commitdiff | tree
2018-05-03 Mathias PreinerFix redundant internalPush calls. (#1865)
 commit | commitdiff | tree
2018-05-03 Andrew ReynoldsFix cvc printer for nullary constructors (#1856)
 commit | commitdiff | tree
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6...
commit | commitdiff | tree
2018-04-30 Andrew ReynoldsRemove subsort symmetry breaking (#1807)
 commit | commitdiff | tree
2018-04-20 yoni206Allow metadata lines in test files to have leading...
commit | commitdiff | tree
2018-04-15 Andrew ReynoldsFix mk type const (#1776)
 commit | commitdiff | tree
2018-04-04 Andrew ReynoldsProper initialization and destruction of sygus unif...
commit | commitdiff | tree
2018-04-04 Andrew ReynoldsOption to turn arbitrary input into sygus (#1704)
 commit | commitdiff | tree
2018-03-26 Andrew ReynoldsCheck model only when sat (#1694)
 commit | commitdiff | tree
2018-03-25 Andrew ReynoldsCleanup various exit calls (#1692)
 commit | commitdiff | tree
2018-03-25 Mathias PreinerRemove doc/libcvc4.3 from options/Makefile.am. (#1696)
 commit | commitdiff | tree
2018-03-20 Andrew ReynoldsFix datatype dump regression. (#1672)
 commit | commitdiff | tree
2018-02-10 Aina NiemetzRemove mkNode from bv::utils (#1587)
 commit | commitdiff | tree
2018-01-27 Tim KingRemoving an unused variable. Resolves CID 1172257....
commit | commitdiff | tree
2018-01-27 Tim KingRemoving structurally dead code. (#1540)
 commit | commitdiff | tree
2018-01-14 Tim KingRemoving throw specifiers from OptionsHandler. (#1510)
 commit | commitdiff | tree
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasses...
commit | commitdiff | tree
2017-12-11 justinxu421Add new infrastructure for preprocessing passes (#1053)
 commit | commitdiff | tree
2017-12-01 Andres NoetzliFix build when Valgrind instrumentation enabled
 commit | commitdiff | tree
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