projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Adding a missing delete to smt2_compliance.
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
2014-05-26
Tim King
Fixing a soundness bug due to the default implmentation...
commit
|
commitdiff
|
tree
2014-05-19
Tim King
More documentation fixes. Apologies for multiple commits.
commit
|
commitdiff
|
tree
2014-05-19
Tim King
Fixing documentation for glpk configuration.
commit
|
commitdiff
|
tree
2014-05-12
Tim King
Merge remote-tracking branch 'timothy-king/master'
commit
|
commitdiff
|
tree
2014-05-12
Tim King
Merging in additional glpk options and statistics from...
commit
|
commitdiff
|
tree
2014-05-05
Tim King
Improving documentation for glpk-cut-log switch.
commit
|
commitdiff
|
tree
2014-04-30
Tim King
T-entailment work, and QCF (quant conflict find) work...
commit
|
commitdiff
|
tree
2014-04-06
Tim King
Reduced example from pcc's bug report.
commit
|
commitdiff
|
tree
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
commit
|
commitdiff
|
tree
2014-04-01
Tim King
Merge branch '1.3.x'
commit
|
commitdiff
|
tree
2014-04-01
Tim King
Fixing bug 552. There was a bug when integers are...
commit
|
commitdiff
|
tree
2014-03-26
Tim King
Merging in a fix from 1.3.x.
commit
|
commitdiff
|
tree
2014-03-26
Tim King
Fixes an idempotency issue for non-linear multiplication...
commit
|
commitdiff
|
tree
2014-03-08
Tim King
Merge pull request #18 from timothy-king/master
commit
|
commitdiff
|
tree
2014-03-08
Tim King
Fixing name changes that cam in from the merge.
commit
|
commitdiff
|
tree
2014-03-08
Tim King
Merge remote-tracking branch 'CVC4root/master'
commit
|
commitdiff
|
tree
2014-03-08
Tim King
Fixing a SWIG problem for RationalFromDoubleException.
commit
|
commitdiff
|
tree
2014-03-07
Tim King
Merging a squash of the branch timothy-king/CVC4/glpknecfix...
commit
|
commitdiff
|
tree
2014-03-05
Tim King
Improving support for POW in arithmetic. Resolves bug...
commit
|
commitdiff
|
tree
2014-02-19
Tim King
Merge branch 'master' of github.com:CVC4/CVC4
commit
|
commitdiff
|
tree
2014-02-19
Tim King
Merge branch '1.3.x'
commit
|
commitdiff
|
tree
2014-02-19
Tim King
Stopping non-linear terms from entering the dio solver...
commit
|
commitdiff
|
tree
2013-11-25
Tim King
Merge remote-tracking branch 'CVC4root/master'
commit
|
commitdiff
|
tree
2013-11-25
Tim King
Substantial Changes:
commit
|
commitdiff
|
tree
2013-11-21
Tim King
Adding the changes needed to delete rewriter attributes...
commit
|
commitdiff
|
tree
2013-11-20
Tim King
Changing the number of bits allocated per field in...
commit
|
commitdiff
|
tree
2013-05-09
Tim King
Changing the integer normal form to increase matching.
commit
|
commitdiff
|
tree
2013-05-07
Tim King
Fixes a bug with arithmetic's new attempt solution...
commit
|
commitdiff
|
tree
2013-05-07
Tim King
Improving arithmetic debugging output.
commit
|
commitdiff
|
tree
2013-05-07
Tim King
Disabling an incorrect prototyping line from the simplex...
commit
|
commitdiff
|
tree
2013-05-06
Tim King
Adding a heuristic for guessing an optimization function...
commit
|
commitdiff
|
tree
2013-05-06
Tim King
Disables justification stop only for LRA if the problem...
commit
|
commitdiff
|
tree
2013-05-05
Tim King
Adding cut offs for likely integer infeasible paths.
commit
|
commitdiff
|
tree
2013-05-04
Tim King
Adding a smarter technique for pivoting in solutions...
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Fixing compilation of unit tests. These problems were...
commit
|
commitdiff
|
tree
2013-05-03
Tim King
More misc. arithmetic cleanup. Removing unused files...
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Code cleanup. Reducing misc. warnings in arithmetic.
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Removing arithmetic legacy code and unifying functions.
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Fixing a debug typo.
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Merging branch 'soiquickexplain'.
commit
|
commitdiff
|
tree
2013-05-03
Tim King
Merge branch 'fcexplanations'
commit
|
commitdiff
|
tree
2013-05-02
Tim King
Adding quick explain for soi simplex.
commit
|
commitdiff
|
tree
2013-05-01
Tim King
Working on the new explanation system.
commit
|
commitdiff
|
tree
2013-04-30
Tim King
Making propagation more conversative.
commit
|
commitdiff
|
tree
next