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

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-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	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-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-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	This switches the ZombieSet in the NodeManager to use...	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
2016-10-03	Tim King	Removing the throw specifiers from theory_datatypes_type_rul...	commit \| commitdiff \| tree
2016-10-03	Tim King	Removing an unused member from TreeLog.	commit \| commitdiff \| tree
2016-10-03	Tim King	Removing the throw specifiers from theory_bv_type_rules.h.	commit \| commitdiff \| tree
2016-10-03	Tim King	Removing the throw specifiers from Cardinality.	commit \| commitdiff \| tree
2016-10-01	Tim King	Removing the throw specifiers from Result.	commit \| commitdiff \| tree
2016-10-01	Tim King	Removing the throw specifiers from SExpr.	commit \| commitdiff \| tree
2016-10-01	Tim King	Removing the throw specifiers from SubrangeBounds.	commit \| commitdiff \| tree
2016-09-27	Tim King	Removing an unused iterator.	commit \| commitdiff \| tree
2016-09-27	Tim King	Reverting part of the previous changes to unconstrained...	commit \| commitdiff \| tree
2016-09-26	Tim King	Simplifying control flow to avoid goto's in unconstrained_si...	commit \| commitdiff \| tree
2016-09-26	Tim King	Adding missing break statements.	commit \| commitdiff \| tree
2016-09-26	Tim King	Closing an open file descriptor in MemoryMapFile.	commit \| commitdiff \| tree
2016-09-26	Tim King	Freeing memory in error handling code for bounded_token_buffer.	commit \| commitdiff \| tree
2016-09-26	Tim King	Deleting the eager bitblasting solver if present in...	commit \| commitdiff \| tree
2016-09-26	Tim King	Adding a destructor to QuantAntiSkolem.	commit \| commitdiff \| tree
2016-09-26	Tim King	Adding a destructor to TermDb.	commit \| commitdiff \| tree
2016-09-26	Tim King	Adding a destructor to CegqiOutputSingleInv.	commit \| commitdiff \| tree
2016-09-26	Tim King	Deleting optional members of StrongSolverTheoryUF.	commit \| commitdiff \| tree
2016-09-26	Tim King	Disambiguating a vector insert warning coming from...	commit \| commitdiff \| tree
2016-09-26	Tim King	Deleting a temporary in theory sets enumerator.	commit \| commitdiff \| tree
2016-09-26	Tim King	Deleting the intermediate command singleton.	commit \| commitdiff \| tree
2016-09-26	Tim King	Disambiguating a type issue. Coverity scan reported...	commit \| commitdiff \| tree
2016-09-25	Tim King	Adding virtual destructors to several classes in expr.h .	commit \| commitdiff \| tree
2016-09-25	Tim King	Removing an unused iterator.	commit \| commitdiff \| tree
2016-09-25	Tim King	Fixing a potential use after free coming from a pop_back...	commit \| commitdiff \| tree
2016-09-25	Tim King	Integrating a working coverity_scan travis rule back...	commit \| commitdiff \| tree
2016-09-21	Tim King	Fixing an error in the previous travis commit.	commit \| commitdiff \| tree
2016-09-21	Tim King	Updating the travis file for coverity scan.	commit \| commitdiff \| tree
2016-09-18	Tim King	Adding a clang format file for the project.	commit \| commitdiff \| tree
2016-09-18	Tim King	Adding a gnu++11 rule to travis.	commit \| commitdiff \| tree
2016-09-01	Tim King	Relaxing the throw specifiers for the destructors for...	commit \| commitdiff \| tree
2016-09-01	Tim King	Removing the forward declaration of QuantInfo from...	commit \| commitdiff \| tree
2016-08-31	Tim King	Cleaning up the dead FORIT macros.	commit \| commitdiff \| tree
2016-08-31	Tim King	Removing the usage of typeof from theory_sets_private.	commit \| commitdiff \| tree
2016-08-31	Tim King	Beautifying theory_model.h.	commit \| commitdiff \| tree
2016-08-31	Tim King	Removing BOOST_FOREACH from theory/sets/scrutinize.h.	commit \| commitdiff \| tree
2016-08-31	Tim King	Removing typeof from sets normal form and beautifying...	commit \| commitdiff \| tree
2016-08-31	Tim King	Removing typeof from command_executor_portfolio.cpp.	commit \| commitdiff \| tree
2016-08-31	Tim King	Removing typeof from didyoumean.cpp.	commit \| commitdiff \| tree
2016-05-05	Tim King	Removing a null pointer reference that was found by...	commit \| commitdiff \| tree
2016-04-27	Tim King	Adding an example lsan supression file.	commit \| commitdiff \| tree
2016-04-26	Tim King	Fixing memory leaks for garbage collection of ResChains...	commit \| commitdiff \| tree
2016-04-26	Tim King	Fixing a memory leak of the ProofManager.	commit \| commitdiff \| tree
2016-04-04	Tim King	Updating the copyright headers and scripts.	commit \| commitdiff \| tree
2016-03-30	Tim King	Updating the mailmap for git.	commit \| commitdiff \| tree
2016-03-24	Tim King	Fixing a garbage collection issue in simplifyWithCare...	commit \| commitdiff \| tree
2016-03-24	Tim King	Deleting allocated NodeVecs in ITESimplifier.	commit \| commitdiff \| tree
2016-03-24	Tim King	Freeing CegConjecture::d_ceg_si. Also making d_ceg_si...	commit \| commitdiff \| tree
2016-03-24	Tim King	Fixing a memory leak in CDInstMatchTrie::d_data.	commit \| commitdiff \| tree
2016-03-24	Tim King	Fix for a memory leak in InstStrategyCegqi.	commit \| commitdiff \| tree
2016-03-24	Tim King	Fixing a memory leak in QuantInfo::d_var_mg.	commit \| commitdiff \| tree
2016-03-23	Tim King	Fixing memory leaks in Trigger and TriggerTrie.	commit \| commitdiff \| tree
2016-03-23	Tim King	Deleting the CDInstMatchTries in QuantifiersEngine...	commit \| commitdiff \| tree
next

RSS Atom