projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-ground...
[cvc5.git] / src / theory / arith / arith_static_learner.cpp
2014-03-08 Morgan DetersRe-fix bug 551 by adding a check to the arith ITE simpl... blob | commitdiff | raw
2014-03-08 Tim KingMerge pull request #18 from timothy-king/master blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' blob | commitdiff | raw | diff to current
2014-03-07 Tim KingMerging a squash of the branch timothy-king/CVC4/glpkne... blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw | diff to current
2013-04-26 Tim KingFCSimplex branch merge blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902... blob | commitdiff | raw | diff to current
2013-02-03 Morgan DetersRemove old miplibtrick from arith static learner blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-02-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-23 Tim KingAdding miplibtrick option. blob | commitdiff | raw | diff to current
2013-01-23 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-19 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-22 Dejan JovanovićMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-18 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-15 Tim KingMerging in patch from branch '1.0.x'. blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x', getting fix for bug 480 blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479) blob | commitdiff | raw | diff to current
2012-12-11 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). blob | commitdiff | raw | diff to current
2012-12-07 François BobotMerge release branch '1.0.x' blob | commitdiff | raw | diff to current
2012-12-06 François BobotMerge branch 'release-1.0.x' blob | commitdiff | raw | diff to current
2012-12-05 Tim KingThis commit merges in CDTrailHashMap and CDInsertHashMa... blob | commitdiff | raw | diff to current
2012-11-05 Tim KingFix to the context dependent static learning code. blob | commitdiff | raw | diff to current
2012-10-24 Tim KingUpdated the ArithStaticLearner to be user context depen... blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-08-03 Morgan Detersfix uses of getMetaKind() from outside the expr package... blob | commitdiff | raw | diff to current
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... blob | commitdiff | raw | diff to current
2012-05-18 Tim KingThis commit removes the dead psuedoboolean code. blob | commitdiff | raw | diff to current
2012-05-15 Tim KingThis commit removes the CONST_INTEGER kind from nodes... blob | commitdiff | raw | diff to current
2012-04-17 Tim KingMerges branches/arithmetic/atom-database r2979 through... blob | commitdiff | raw | diff to current
2012-03-02 Tim KingThis commit merges in the changes from branches/arithme... blob | commitdiff | raw | diff to current
2011-10-23 Morgan DetersImplement changes from yesterday morning's meeting... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersPartial merge of integers work; this is simple B&B... blob | commitdiff | raw | diff to current
2011-07-05 Dejan Jovanovićupdated preprocessing and rewriting input equalities... blob | commitdiff | raw | diff to current
2011-05-26 Morgan Detersapply arithmetic static learner's miplibtrick in a... blob | commitdiff | raw | diff to current
2011-03-18 Tim King- The learned clauses from the miplib trick were being... blob | commitdiff | raw | diff to current
2011-03-17 Tim King- Removes arith_constants.h blob | commitdiff | raw | diff to current