summaryrefslogtreecommitdiff
path: root/src/theory/arith/Makefile.am
AgeCommit message (Expand)Author
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-05-03Adding a smarter technique for pivoting in solutions for glpk.Tim King
2013-05-03More misc. arithmetic cleanup. Removing unused files and functions. Also remo...Tim King
2013-05-03Merge branch 'fcexplanations'Tim King
2013-04-30Adding has bound counts and tracking for rows.Tim King
2013-04-28Fixing the failure for make distcheck.Tim King
2013-04-26FCSimplex branch mergeTim King
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-12-05Improved garbage collection for TheoryArith. The merges all of the code over...Tim King
2012-12-01drastic simplification of quantifiers code regarding equality queries, instan...Andrew Reynolds
2012-07-31Options merge. This commit:Morgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-04-27This merges in the branch cvc4/branches/arithmetic/matrix into trunk.Tim King
2012-04-24This commit merges in the branch branches/arithmetic/congruence into trunk. H...Tim King
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-03-02This commit merges in the changes from branches/arithmetic/refactor0Tim King
2012-02-28This commit merges in branches/arithmetic/internalbb up to revision 2831. Th...Tim King
2011-11-29Merging the branch branches/arithmetic/shared-terms into trunk. Arithmetic no...Tim King
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
2011-05-31This commit contains the code for allowing arbitrary equalities in the theory...Tim King
2011-04-18This commit merges the branch arithmetic/propagation-again into trunk.Tim King
2011-03-30Merged the branch sparse-tableau into trunk.Tim King
2011-03-17- Removes arith_constants.hTim King
2011-02-21- Adds the ArithPriorityQueue class. The ArithPriorityQueue class provides an...Tim King
2011-02-17Removed vestigial normal form notes file from src/theory/arith/Makefile.am. S...Tim King
2011-02-17Updates based on the group code review of arithmetic on 2011-02-15. The only...Tim King
2011-02-16Overview of the changes:Tim King
2010-11-15cleanup from today's commits: delegate as-yet-unimplemented prettyprinters in...Morgan Deters
2010-11-15This commit merges the arith-prop-opt branch into the main trunk. This was do...Tim King
2010-10-29Factors out the QF_LRA decision procedure from TheoryArith and puts this into...Tim King
2010-10-28The Row implementation has no been replaced by RowVector and ReducedRowVector...Tim King
2010-10-23Removed slack.h, and arith_activity.h. Replaced IsBasicManager with the more ...Tim King
2010-10-02branches/arith-indexed-variables merged into the main trunk.Tim King
2010-09-13* New normal form for arithmetic is in place.Tim King
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-29This commit merges the decaying-rows branch into the main trunk.Tim King
2010-06-29Merging the unate-propagator branch into the trunk. This is a big update so ...Tim King
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-05-19Significant revision to theory/arith. The new draft has a lot of small bug f...Tim King
2010-05-04Type-checking classes and hooks (not tested yet).Dejan Jovanović
2010-04-28Merging the arithmetic theory draft (lra-init) back into the main trunk. Thi...Tim King
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-04Added theory output channel interfaces and "Interrupted" exception.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback