git.libre-soc.org Git - cvc5.git/search

2017-10-25	Tim King	Switching EqProof to use shared_ptr everywhere. (...	commit \| commitdiff \| tree
2017-10-17	Tim King	Making the values argument const in the SetUserAttributeComm...	commit \| commitdiff \| tree
2017-10-17	Tim King	Fixing 2 instances of an unused variable. (#1253)	commit \| commitdiff \| tree
2017-10-16	Tim King	Adds unit test that show Node and TNode work with for...	commit \| commitdiff \| tree
2017-10-11	Tim King	Cleaning up ProofArray class. (#1208)	commit \| commitdiff \| tree
2017-10-04	Tim King	Removing the throw specifier from ArrayStoreAll constructor...	commit \| commitdiff \| tree
2017-10-02	Tim King	Removing throw specifiers from SymbolTable::Implementation...	commit \| commitdiff \| tree
2017-10-02	Tim King	Removing throw specifiers from TypeEnumeratorBase's...	commit \| commitdiff \| tree
2017-10-02	Tim King	CID 1457268: Initializing CegConjecture::d_syntax_guided...	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-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-25	Tim King	Fixing CID 1362895: Initializing d_bvp to nullptr....	commit \| commitdiff \| tree
2017-09-25	Tim King	CID 1362907: Initializing d_smtEngine to nullptr. ...	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-18	Tim King	Moving the CVC4_PUBLIC attribute to the beginning of...	commit \| commitdiff \| tree
2017-09-14	Tim King	Simplifying the throw specifier of SmtEngine::checkSat...	commit \| commitdiff \| tree
2017-09-12	Tim King	Adding reasonable breaks in switch statement in TheoryString...	commit \| commitdiff \| tree
2017-09-11	Tim King	Addressing a coverity scan complaint in theory_strings...	commit \| commitdiff \| tree
2017-08-23	Tim King	Removing TODO for 'Optimize via the iterator'. Not...	commit \| commitdiff \| tree
2017-07-23	Tim King	Disabling compiling unit tests with coverity scan for...	commit \| commitdiff \| tree
2017-07-23	Tim King	Deprecating the unused convenience_node_builders.h...	commit \| commitdiff \| tree
2017-07-23	Tim King	Consolidating the opaque pointers in SymbolTable. ...	commit \| commitdiff \| tree
2017-07-21	Tim King	Merge branch 'master' into cleanup-regexp	commit \| commitdiff \| tree
2017-07-21	Tim King	Moving from the gnu extensions for hash maps to the...	commit \| commitdiff \| tree
2017-07-20	Tim King	Removing the unused CDAttribute. This makes CDHashMap...	commit \| commitdiff \| tree
2017-07-18	Tim King	Adding a garbage list that get collected during the...	commit \| commitdiff \| tree
2017-07-17	Tim King	Fixing the order of the comparison operation.	commit \| commitdiff \| tree
2017-07-17	Tim King	Merge branch 'master' into cleanup-regexp	commit \| commitdiff \| tree
2017-07-17	Tim King	Moving to static_assert now that c++11 is available.	commit \| commitdiff \| tree
2017-07-14	Tim King	Removing BOOST_FOREACH usage.	commit \| commitdiff \| tree
2017-07-14	Tim King	Cleaning up the CVC4::String class.	commit \| commitdiff \| tree
2017-05-26	Tim King	Checking that equalities belong to the arithmetic theory...	commit \| commitdiff \| tree
2017-04-23	Tim King	Changing spaces to tabs in Makefile.	commit \| commitdiff \| tree
2017-04-22	Tim King	Updating TheoryArithPrivate::getDeltaValue() to eagerly...	commit \| commitdiff \| tree
2017-04-03	Tim King	Adding a model based axiom instantiation scheme for...	commit \| commitdiff \| tree
2017-03-28	Tim King	Fixing a bug for checking whether a node was visited.	commit \| commitdiff \| tree
2017-03-28	Tim King	Minor cleanups to ExtTheory.	commit \| commitdiff \| tree
2017-03-28	Tim King	Removing the friend class modifier from ExtTheory to...	commit \| commitdiff \| tree
2017-03-27	Tim King	Making the ExtTheory object a private member of Theory.	commit \| commitdiff \| tree
2017-03-27	Tim King	Making ppNotifyAssertions take a const vector.	commit \| commitdiff \| tree
2017-03-27	Tim King	Moving the CareGraph into its own file.	commit \| commitdiff \| tree
2017-03-27	Tim King	Moving the theory::Assertion struct into its own file.	commit \| commitdiff \| tree
2017-03-27	Tim King	Alphabetizing libcvc4_la_SOURCES.	commit \| commitdiff \| tree
2017-03-16	Tim King	Fixes bug 781. Copy constructor for Expr needed to...	commit \| commitdiff \| tree
2017-01-11	Tim King	Adding regression test scrubbing.	commit \| commitdiff \| tree
2017-01-05	Tim King	Disabling a regression test that assumes CVC4 is configured...	commit \| commitdiff \| tree
2017-01-04	Tim King	Marking regression test files as non-executable.	commit \| commitdiff \| tree
2017-01-04	Tim King	Marking the proof signature files as non-executable.	commit \| commitdiff \| tree
2017-01-04	Tim King	Setting the executable bit for the newer run scripts...	commit \| commitdiff \| tree
2017-01-04	Tim King	Reverting two files encoding with DOS linebreaks back...	commit \| commitdiff \| tree
2016-12-29	Tim King	Changing a set of TNodes to a set of Nodes in the BV...	commit \| commitdiff \| tree
2016-12-29	Tim King	Eliminating a signed vs. unsigned comparison.	commit \| commitdiff \| tree
2016-12-29	Tim King	Changing getTearDownIncremental() to return the type...	commit \| commitdiff \| tree
2016-12-29	Tim King	Adding a destructor to InstantiationNotify.	commit \| commitdiff \| tree
2016-12-29	Tim King	Adding a destructor to RepBoundExt.	commit \| commitdiff \| tree
2016-12-29	Tim King	Reordering sep and sets in Makefile.theories.	commit \| commitdiff \| tree
2016-12-09	Tim King	Fixing a use after free bug in Polynomial::denominatorLCM.	commit \| commitdiff \| tree
2016-12-02	Tim King	Cleaning up Statistics::copyFrom to avoid casts.	commit \| commitdiff \| tree
2016-12-02	Tim King	Initializing the d_pivots variable.	commit \| commitdiff \| tree
2016-12-02	Tim King	Merge pull request #95 from 4tXJ7f/fix_sierra_build	commit \| commitdiff \| tree
2016-11-22	Tim King	Merge pull request #111 from 4tXJ7f/fix_test_includes	commit \| commitdiff \| tree
2016-11-18	Tim King	Removing some throw specifiers from OutputChannel....	commit \| commitdiff \| tree
2016-11-14	Tim King	Adding garbage collection for the Smt2 Parser for Commands...	commit \| commitdiff \| tree
2016-11-13	Tim King	Switching a large allocation to be heap allocated.	commit \| commitdiff \| tree
2016-11-13	Tim King	Deleting a parsed Command in the interactive_shell_black...	commit \| commitdiff \| tree
2016-11-12	Tim King	Adding garbage collection for the Smt1 Parser for Commands...	commit \| commitdiff \| tree
2016-11-12	Tim King	Adding garbage collection for the CVC Parser for Commands...	commit \| commitdiff \| tree
2016-11-12	Tim King	Merge pull request #105 from timothy-king/delete-maxed-out	commit \| commitdiff \| tree
2016-11-12	Tim King	Deleting successfully parsed commands in the parser_black...	commit \| commitdiff \| tree
2016-11-12	Tim King	Deleting the remaining commands in the Parser's queue...	commit \| commitdiff \| tree
2016-11-11	Tim King	Applying clang-format to parser.cpp.	commit \| commitdiff \| tree
2016-11-11	Tim King	Speeding up the common branches for inc().	commit \| commitdiff \| tree
2016-11-10	Tim King	Fixing a delete vs free mismatch in parser_builder_black.h.	commit \| commitdiff \| tree
2016-11-10	Tim King	Adding garbage collection of nodes with maxed out reference...	commit \| commitdiff \| tree
2016-11-10	Tim King	Added PtrCloser guards for constructNodePtr. This ensures...	commit \| commitdiff \| tree
2016-11-10	Tim King	Merge pull request #103 from timothy-king/uniq-ptr	commit \| commitdiff \| tree
2016-11-09	Tim King	Renaming the class PtrCloser to not cause confusion...	commit \| commitdiff \| tree
2016-11-09	Tim King	Merge branch 'master' into uniq-ptr	commit \| commitdiff \| tree
2016-11-08	Tim King	Merge pull request #104 from timothy-king/disabling...	commit \| commitdiff \| tree
2016-11-07	Tim King	Disabling out of memory tests unit tests when ASAN...	commit \| commitdiff \| tree
2016-11-07	Tim King	Changing ArrayStoreAll's constructor to delay allocation...	commit \| commitdiff \| tree
2016-11-07	Tim King	Fixing a memory leak in the CnfStream unit tests.	commit \| commitdiff \| tree
2016-11-07	Tim King	Fixing a memory leak in the eager bitblaster.	commit \| commitdiff \| tree
2016-11-07	Tim King	Adds a C++05 version of unique_ptr. Used this to solve...	commit \| commitdiff \| tree
2016-11-07	Tim King	Merge pull request #102 from timothy-king/node-id-eq	commit \| commitdiff \| tree
2016-11-07	Tim King	This switches the ZombieSet in the NodeManager to use...	commit \| commitdiff \| tree
2016-11-03	Tim King	Merge pull request #100 from 4tXJ7f/fix_context_mm_black	commit \| commitdiff \| tree
2016-10-19	Tim King	Merge pull request #97 from 4tXJ7f/fix_rewrite	commit \| commitdiff \| tree
2016-10-13	Tim King	Initializes RoundingMode::roundNearestTiesToAway to...	commit \| commitdiff \| tree
2016-10-13	Tim King	Revert "Merge branch 'origin' of https://github.com...	commit \| commitdiff \| tree
2016-10-09	Tim King	Adding initializers for structs internal to ite_utilities.	commit \| commitdiff \| tree
2016-10-03	Tim King	Removing the throw specifiers from theory_uf_type_rules.h.	commit \| commitdiff \| tree
2016-10-03	Tim King	Removing the throw specifiers from theory_fp_type_rules.h.	commit \| commitdiff \| tree
next

RSS Atom