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