summaryrefslogtreecommitdiff
path: root/src/theory/arith/Makefile.am
AgeCommit message (Expand)Author
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