projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Making the ExtTheory object a private member of Theory.
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