projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Initialize inputAssertions only when proofRecipe is non-null (#2325)
2018-08-17 Tim King Initialize inputAssertions only when proofRecipe is...
commit | commitdiff | tree
2018-08-17 Tim KingRemoving coverity warnings from theory_sep.cpp (#2320)
 commit | commitdiff | tree
2018-08-16 Tim KingSwitching an Assert to a CVC4_CHECK to test if it resolves...
commit | commitdiff | tree
2018-08-15 Tim KingRemoving attribute cleanups. (#2300)
 commit | commitdiff | tree
2018-08-13 Tim KingRemoving support for T* and const T* attributes. (...
commit | commitdiff | tree
2018-08-09 Tim KingFixing documentation nit from PR#2232. (#2289)
 commit | commitdiff | tree
2018-08-08 Tim King Proposal for adding map utility functions to CVC4...
commit | commitdiff | tree
2018-07-30 Tim KingStoring a std::pair<Key,Data> on CDOhash_map.
 commit | commitdiff | tree
2018-07-26 Tim KingRemoving unused CDTrailHashmap. (#2221)
 commit | commitdiff | tree
2018-07-26 Tim KingChanging CDInsertHashMap to store <const Key, const...
commit | commitdiff | tree
2018-07-26 Tim KingChanging the arithmetic static learner to use CDHashMap...
commit | commitdiff | tree
2018-07-25 Tim KingChanging ArithIteUtils to use CDInsertHashMap. (#2206)
 commit | commitdiff | tree
2018-07-25 Tim KingRemoving support for CDHashMap::iterator's postfix...
commit | commitdiff | tree
2018-02-09 Tim KingRemoving an always true comparison (unsigned) >= 0u...
commit | commitdiff | tree
2018-02-09 Tim KingRenaming CHECK to CVC4_CHECK. This avoids name collisions...
commit | commitdiff | tree
2018-02-09 Tim KingReplacing an incorrect reference to an injected class...
commit | commitdiff | tree
2018-02-09 Tim KingInlining line_buffered_input to avoid warning about...
commit | commitdiff | tree
2018-02-08 Tim KingAdding virtual destructors on classes with virtual...
commit | commitdiff | tree
2018-02-08 Tim KingInitializing Timer::d_wall_limit (CID 1362899). (#1573)
 commit | commitdiff | tree
2018-02-08 Tim KingRemoving an unused variable. (#1576)
 commit | commitdiff | tree
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575)
 commit | commitdiff | tree
2018-02-08 Tim KingFixing line numbers on type_checker_template.cpp (...
commit | commitdiff | tree
2018-02-07 Tim KingAdds a new CHECK macro that abort()s on failure. (...
commit | commitdiff | tree
2018-02-07 Tim KingFixes two memory leaks coming from Transf. (#1564)
 commit | commitdiff | tree
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override...
commit | commitdiff | tree
2018-02-06 Tim KingUsing getOperator() directly instead of using -1. CID...
commit | commitdiff | tree
2018-02-06 Tim KingAborting on errors in StatisticsRegistry::unregisterStat...
commit | commitdiff | tree
2018-02-05 Tim KingCleaning up the printing of theory model representative...
commit | commitdiff | tree
2018-02-05 Tim KingRemoving references to __gnu_cxx. (#1541)
 commit | commitdiff | tree
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780...
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-25 Tim KingCommenting out throw specifiers on SmtEngine. These...
commit | commitdiff | tree
2018-01-23 Tim KingCommenting out throw specifiers for DeltaRationExceptions...
commit | commitdiff | tree
2018-01-17 Tim KingRemoves yet more throw specifiers. Updating the documentatio...
commit | commitdiff | tree
2018-01-16 Tim KingRemoving more miscellaneous throw specifiers. (#1509)
 commit | commitdiff | tree
2018-01-15 Tim KingRemoving throw specifiers from Type. (#1511)
 commit | commitdiff | tree
2018-01-14 Tim KingRemoving throw specifiers from OptionsHandler. (#1510)
 commit | commitdiff | tree
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501)
 commit | commitdiff | tree
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (...
commit | commitdiff | tree
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasses...
commit | commitdiff | tree
2018-01-09 Tim KingRemoving throw specifiers from miscellaneous src/expr...
commit | commitdiff | tree
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488)
 commit | commitdiff | tree
2018-01-09 Tim KingRemove throw specifiers from symbol table. (#1490)
 commit | commitdiff | tree
2018-01-08 Tim KingRemoves throw specifiers from command.{h,cpp}. (#1485)
 commit | commitdiff | tree
2018-01-08 Tim KingRemove throw specifiers from datatype. (#1489)
 commit | commitdiff | tree
2018-01-08 Tim KingRe-ordering field initialization in QuantInfo to remove...
commit | commitdiff | tree
2018-01-08 Tim KingRemoves RationalFromDoubleException. Replaces this...
commit | commitdiff | tree
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486)
 commit | commitdiff | tree
2018-01-04 Tim KingRemoving miscellaneous throw specifiers. (#1474)
 commit | commitdiff | tree
2018-01-04 Tim KingRemoving throw specifiers from context/. (#1473)
 commit | commitdiff | tree
2017-11-29 Tim KingAdding missing break statements. CID 1362756. (#1394)
 commit | commitdiff | tree
2017-11-29 Tim KingSimplifying the conditions in checkLetBinding to avoid...
commit | commitdiff | tree
2017-11-28 Tim KingRemoving throw specifiers from internal Printer hierarchy...
commit | commitdiff | tree
2017-11-20 Tim KingInitializes members of QuantInfo. Resolves CID 1362929...
commit | commitdiff | tree
2017-11-20 Tim KingRemoving an unused variable from SygusInput. Resolves...
commit | commitdiff | tree
2017-11-19 Tim KingNames the Effort enum of QuantConflictFind class. ...
commit | commitdiff | tree
2017-11-16 Tim KingInitializes BitVectorProof::d_isAssumptionConflict...
commit | commitdiff | tree
2017-11-15 Tim KingRemoves an unused variable from Theory. (#1375)
 commit | commitdiff | tree
2017-11-15 Tim KingInitializing members of Datatype. Addresses CIDs 1362897...
commit | commitdiff | tree
2017-11-15 Tim KingAdding garbage collection for Proof objects. (#1294)
 commit | commitdiff | tree
2017-11-14 Tim KingCleaning up exporting vectors within commands. Resolves...
commit | commitdiff | tree
2017-11-14 Tim KingInitializes InstPropagator::d_has_relevant_inst. Resolves...
commit | commitdiff | tree
2017-11-14 Tim KingInitializes RegExpOpr::d_char_start and d_char_end...
commit | commitdiff | tree
2017-11-14 Tim KingInitializes TriggerInfo::polarity. Resolves CID 1172054...
commit | commitdiff | tree
2017-11-14 Tim KingInitializes NodeTheoryPair::timestamp in the default...
commit | commitdiff | tree
2017-11-13 Tim KingInitializing SharedTermsDatabase::d_conflictPolarity...
commit | commitdiff | tree
2017-11-13 Tim KingInitializes CegConjectureSingleInvSol::d_root_id. ...
commit | commitdiff | tree
2017-11-13 Tim KingInitializing SortInference::initialSortCount. Resolves...
commit | commitdiff | tree
2017-11-08 Tim KingInitializing QModelBuilder members. (#1334)
 commit | commitdiff | tree
2017-11-08 Tim KingCombining d_conflictHasBeenRaised and d_conflictIndex...
commit | commitdiff | tree
2017-11-08 Tim KingInitializing TrailHashMap::d_uniqueKeys. (#1331)
 commit | commitdiff | tree
2017-11-07 Tim King Initialize TimerStat::d_start. (#1330)
 commit | commitdiff | tree
2017-11-07 Tim KingInitializing Smt1::d_logic in all cases. This was resolved...
commit | commitdiff | tree
2017-11-07 Tim King Removing an unused member from Tptp. Initializing...
commit | commitdiff | tree
2017-11-07 Tim KingMoving the enum ArithType to partial_model. Adding...
commit | commitdiff | tree
2017-11-07 Tim KingInitializing EquivSygusInvarianceTest::d_conj in the...
commit | commitdiff | tree
2017-11-07 Tim KingInitializing NegContainsSygusInvarianceTest::d_cpbe...
commit | commitdiff | tree
2017-11-07 Tim KingUsing unique_ptr's for members of CegConjecture. (...
commit | commitdiff | tree
2017-10-31 Tim KingCID 1459592: Always checking whether rd is null or...
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-25 Tim KingSwitching EqProof to use shared_ptr everywhere. (...
commit | commitdiff | tree
2017-10-17 Tim KingMaking the values argument const in the SetUserAttributeComm...
commit | commitdiff | tree
2017-10-17 Tim KingFixing 2 instances of an unused variable. (#1253)
 commit | commitdiff | tree
2017-10-16 Tim KingAdds unit test that show Node and TNode work with for...
commit | commitdiff | tree
2017-10-11 Tim KingCleaning up ProofArray class. (#1208)
 commit | commitdiff | tree
2017-10-04 Tim KingRemoving the throw specifier from ArrayStoreAll constructor...
commit | commitdiff | tree
2017-10-02 Tim KingRemoving throw specifiers from SymbolTable::Implementation...
commit | commitdiff | tree
2017-10-02 Tim KingRemoving throw specifiers from TypeEnumeratorBase's...
commit | commitdiff | tree
2017-10-02 Tim KingCID 1457268: Initializing CegConjecture::d_syntax_guided...
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-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-25 Tim KingFixing CID 1362895: Initializing d_bvp to nullptr....
commit | commitdiff | tree
next