summaryrefslogtreecommitdiff
path: root/src/theory/uf/Makefile.am
AgeCommit message (Expand)Author
2012-07-31Options merge. This commit:Morgan Deters
2012-07-27merging fmf-devel branch, includes refactored datatype theory, updates to mod...Andrew Reynolds
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-05-24Significant changes to the internals of the equality engine. Equality is not ...Dejan Jovanović
2012-05-09* simplifying equality engine interfaceDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-11merge from symmetry branchMorgan Deters
2011-07-09minor fixupsMorgan Deters
2011-07-09surprize surprizeDejan Jovanović
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
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-04Type-checking classes and hooks (not tested yet).Dejan Jovanović
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-17Initial draft of TheoryUF. Should compile without problems. A decent amount o...Tim King
2010-02-04Added theory output channel interfaces and "Interrupted" exception.Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback