projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor sygus eval unfold (#1946)
2018-05-21 Andrew ReynoldsRefactor sygus eval unfold (#1946)
 commit | commitdiff | tree
2018-05-21 Caleb DonovickFix file extension (#1919)
 commit | commitdiff | tree
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-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 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-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-14 Mark LawsBuild and test suite fixes for Windows (#186)
 commit | commitdiff | tree
2017-06-21 Clément Pit-ClaudelCheck for sigaltstack in configure (#172)
 commit | commitdiff | tree
2017-06-20 Andres NoetzliFix SIGILL handler
 commit | commitdiff | tree
2017-06-15 Andres NoetzliMake comp script more robust
 commit | commitdiff | tree
2017-05-26 Andres NoetzliFix use-after-free with ResChains
 commit | commitdiff | tree
2017-05-13 Andres NotzliFix out-of-bounds access in test
 commit | commitdiff | tree
2017-05-12 Andres NotzliMake signal handlers safer
 commit | commitdiff | tree
2017-04-21 Andres NotzliAdd 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 NotzliRemove 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 NotzliRemove throw qualifiers in type enumerators
 commit | commitdiff | tree
2017-03-15 Andres NotzliFix win-build script to use MinGW-w64 by default
 commit | commitdiff | tree
2017-03-14 Andres Notzlifix uninitialized variable
 commit | commitdiff | tree
2017-03-08 Andres NotzliFix MinGW-w64 build
 commit | commitdiff | tree
2017-01-18 Andres NoetzliFix 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 NotzliFix dependency tracing for fewerPreprocessingHoles
 commit | commitdiff | tree
2016-12-14 Andres NotzliSwitch from SMT-LIB v2.0 to v2.5 for smt2 files
 commit | commitdiff | tree
2016-12-12 Andres NotzliFix split-find-unsat-w-emp test
 commit | commitdiff | tree
2016-12-09 Andres NotzliFix initialization order
 commit | commitdiff | tree
2016-12-09 Andres NotzliFix (inactive) `MultSlice` rewrite
 commit | commitdiff | tree
2016-12-02 Andres NotzliFix build on macOS Sierra
 commit | commitdiff | tree
2016-11-30 Andres NotzliRemove wrong `ExtractMultLeadingBit` rule
 commit | commitdiff | tree
2016-11-30 Andres NotzliFix parsing of BVROTR by CVC parser
 commit | commitdiff | tree
2016-11-30 Andres NotzliAdd unit test for `MultDistrib` rule
 commit | commitdiff | tree
2016-11-22 Andres NotzliFix `MultDistrib` rewrite rule
 commit | commitdiff | tree
2016-11-22 Andres NotzliRemove unused, libstdc++-exclusive include
 commit | commitdiff | tree
2016-11-18 Andres NotzliFix Makefiles in test
 commit | commitdiff | tree
2016-11-05 Andres NotzliFix three leaks in unit tests
 commit | commitdiff | tree
2016-11-03 Andres NotzliFix back() of empty deque in context_mm_black test
 commit | commitdiff | tree
2016-10-27 Andres NotzliFix typo in Makefile that makes distcheck fail
 commit | commitdiff | tree
2016-10-24 Andres NotzliFix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
 commit | commitdiff | tree
2016-10-19 Andres NotzliFix minor bug and typo in boolean rewriter
 commit | commitdiff | tree
2016-08-12 Andres NotzliAdd support for fewer preprocessing holes
 commit | commitdiff | tree
2016-08-09 Andres NotzliFix missing/redundant spaces in proofs
 commit | commitdiff | tree
2016-08-05 Andres NotzliMinor: add/fix comments, remove redundant includes
 commit | commitdiff | tree
2016-07-28 Andres NotzliFix out-of-bounds access in ExprManager
 commit | commitdiff | tree
2016-07-27 Andres NotzliFix warnings in src/proof
 commit | commitdiff | tree