projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix term database for non-equal, congruent terms in master equality engine. Disable...
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Removing the CVC4_PUBLIC attribute from the forward...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Generalizing lib/strtok_r.c so that it can always be...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Generalizing the implementation of lib/clock_gettime...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Fixing a potentially malformed template expansion when...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Fixing a memory leak in bv_subtheory_algebraic.cpp...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Adding an virtual destructor to OstreamUpdate.
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Making the ManagedOstream::defaultSource() a const...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Adding a destructor to ProofOutputChannel.
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Fixing white spaces in sat_proof.h.
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Making the references to std more explicit in didyoumean...
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Fixing a memory leak in array info.
commit
|
commitdiff
|
tree
2016-02-01
Tim King
Deleting the dead code in proof/sat_proof.cpp.
commit
|
commitdiff
|
tree
2016-01-28
Tim King
Adding listeners to Options.
commit
|
commitdiff
|
tree
2016-01-09
Tim King
Adding a new Listener utility class. Changing the ResourceMa...
commit
|
commitdiff
|
tree
2016-01-09
Tim King
Removing StatisticsRegistry's static functions current...
commit
|
commitdiff
|
tree
2016-01-08
Tim King
Disabling the RESTART command.
commit
|
commitdiff
|
tree
2016-01-06
Tim King
Fixing a SWIG ordering issue between bitvector and...
commit
|
commitdiff
|
tree
2016-01-06
Tim King
Improving the documentation of the CVC command CONTINUE.
commit
|
commitdiff
|
tree
2016-01-06
Tim King
Removing dead code. StackingMap only appeared in unit...
commit
|
commitdiff
|
tree
2016-01-06
Tim King
Moving sexpr.{cpp,h,i} from expr/ back into util/.
commit
|
commitdiff
|
tree
2016-01-06
Tim King
Add SmtGlobals Class
commit
|
commitdiff
|
tree
2016-01-05
Tim King
Adding a new class LastExceptionBuffer for the purpose...
commit
|
commitdiff
|
tree
2015-12-30
Tim King
Shuffling around public vs. private headers
commit
|
commitdiff
|
tree
2015-12-29
Tim King
Adding a missing header include for cvc4_assert.h in...
commit
|
commitdiff
|
tree
2015-12-24
Tim King
Changing the attribute on the forward declaration of...
commit
|
commitdiff
|
tree
2015-12-24
Tim King
Adding a missing return on the new ArrayStoreAll::operator= .
commit
|
commitdiff
|
tree
2015-12-24
Tim King
Miscellaneous fixes
commit
|
commitdiff
|
tree
2015-12-19
Tim King
Modifying emptyset.h and sexpr. Adding SetLanguage.
commit
|
commitdiff
|
tree
2015-12-16
Tim King
Removing the Record iterator from the swig interface...
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Breaking the include cycle between Record and Expr.
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Adding destructors for CDO an CDOhash_map in the restore...
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Removing the build cycle for predicate.
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Moving SExpr(bool) out of the header into sexpr.cpp...
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Making logic_info_forward.h a public header for now.
commit
|
commitdiff
|
tree
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
commit
|
commitdiff
|
tree
2015-12-04
Tim King
Reverting a previous change to the options_handlers...
commit
|
commitdiff
|
tree
2015-12-03
Tim King
Removing the generated directory from the parsers.
commit
|
commitdiff
|
tree
2015-12-03
Tim King
Modifying the src/options/Makefile.am for travis.
commit
|
commitdiff
|
tree
2015-12-03
Tim King
Modifying options/Makefile.am to pass distcheck. There...
commit
|
commitdiff
|
tree
2015-12-02
Tim King
Separating the steps of the old mkoptions script into...
commit
|
commitdiff
|
tree
2015-12-02
Tim King
Guarding the destruction of the a linux specific variable...
commit
|
commitdiff
|
tree
2015-12-02
Tim King
Merge pull request #79 from CVC4/fix-mac-build-script
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Adding a missing delete to smt2_compliance.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Adding a missing delete to InstStrategyCegqi destructor.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STREAM...
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Switching travis over to using the containers infrastructure.
commit
|
commitdiff
|
tree
2015-11-24
Tim King
Freeing memory allocated for signal handling.
commit
|
commitdiff
|
tree
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
commit
|
commitdiff
|
tree
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
commit
|
commitdiff
|
tree
2015-11-09
Tim King
Replacing an inefficient use of std::find(...) to use...
commit
|
commitdiff
|
tree
2015-11-07
Tim King
Changing file permissions to add or remove executable...
commit
|
commitdiff
|
tree
2015-11-05
Tim King
Merging the google branch back into master.
commit
|
commitdiff
|
tree
2015-11-05
Tim King
Fixes some initialization and desctruction problems...
commit
|
commitdiff
|
tree
2015-11-05
Tim King
This commit slightly generalizes the scripts for generating...
commit
|
commitdiff
|
tree
2015-11-04
Tim King
Fixing typo.
commit
|
commitdiff
|
tree
2015-11-03
Tim King
Adding a test to ensure the <build>/src/theory directory...
commit
|
commitdiff
|
tree
2015-10-30
Tim King
Removes an extra dollar sign from src/options/mktagheaders...
commit
|
commitdiff
|
tree
2015-10-27
Tim King
Adding the new mkdirs script to EXTRA_DIST. This should...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit fixes a bug related to a public header...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit removes using absolute paths in the generation...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This commit moves the scripts for building the Debug_tags...
commit
|
commitdiff
|
tree
2015-10-26
Tim King
This fixes a one definition rule violation for reduceDB_lt...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
This removes a bug for reading data that has been popped...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Specify that the default initialization must always...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Switching Options::current() to return a pointer. This...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
Changes configure.ac so that the single recurisve invocation...
commit
|
commitdiff
|
tree
2015-10-24
Tim King
This patch slightly generalizes how the std::isfinite...
commit
|
commitdiff
|
tree
2015-07-20
Tim King
Fix for BOOST_SED_CPP for gcc-5.
commit
|
commitdiff
|
tree
2015-06-14
Tim King
Fixing an assertion Constraint::assertionFringe(.....
commit
|
commitdiff
|
tree
2015-06-14
Tim King
Handing the case in replay where a cut is directly...
commit
|
commitdiff
|
tree
2015-06-14
Tim King
Fixes for shared term normalization in replay for constraint...
commit
|
commitdiff
|
tree
2015-06-13
Tim King
Turning off aggressive arith ite simplifications during...
commit
|
commitdiff
|
tree
2015-06-13
Tim King
Changing the run script for master for the application...
commit
|
commitdiff
|
tree
2015-06-13
Tim King
Restricting TheoryArith to computeRelevantTerms.
commit
|
commitdiff
|
tree
2015-06-13
Tim King
A return value for an ApproxGLPK::loadVB() failure...
commit
|
commitdiff
|
tree
2015-06-12
Tim King
In TheoryArithPrivate::vectorToIntHoleConflict, adding...
commit
|
commitdiff
|
tree
2015-04-27
Tim King
Updating failing unit tests.
commit
|
commitdiff
|
tree
2015-04-21
Tim King
Adding an example of a tester in SMT2.
commit
|
commitdiff
|
tree
2015-04-18
Tim King
Farkas proof coefficients.
commit
|
commitdiff
|
tree
2015-04-15
Tim King
Enabling the regression test: test/regress/regress0...
commit
|
commitdiff
|
tree
2015-04-15
Tim King
Adding an example that violates an assertion during...
commit
|
commitdiff
|
tree
2015-04-13
Tim King
Making CVC4::theory::quantifiers::PrenexQuantMode public...
commit
|
commitdiff
|
tree
2015-02-12
Tim King
Changing CXXFLAGS for custom cln installation in configure.ac.
commit
|
commitdiff
|
tree
2015-01-19
Tim King
Adding tests for get-value output for arithmetic.
commit
|
commitdiff
|
tree
2015-01-19
Tim King
Adding an additional search path to configure.ac for...
commit
|
commitdiff
|
tree
2014-06-25
Tim King
Fixing the previous bugfix.
commit
|
commitdiff
|
tree
2014-06-25
Tim King
Merge branch 'master' of github.com:CVC3/CVC4
commit
|
commitdiff
|
tree
2014-06-25
Tim King
Fixing the previous bugfix.
commit
|
commitdiff
|
tree
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
commit
|
commitdiff
|
tree
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
commit
|
commitdiff
|
tree
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
commit
|
commitdiff
|
tree
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
commit
|
commitdiff
|
tree
2014-06-19
Tim King
This commit adds a priority queue implementation. ...
commit
|
commitdiff
|
tree
2014-06-17
Tim King
Merge pull request #33 from mdeters/arith-proposal
commit
|
commitdiff
|
tree
2014-06-17
Tim King
This commit adds a priority queue implementation. ...
commit
|
commitdiff
|
tree
2014-06-10
Tim King
Merging Tim's pseudoboolean work from his fmcad14 branch.
commit
|
commitdiff
|
tree
2014-06-06
Tim King
Patch for the subtype theoryof mode to make the equalities...
commit
|
commitdiff
|
tree
2014-05-26
Tim King
Separating an implicit inclusion of smt_engine.h from...
commit
|
commitdiff
|
tree
next