summaryrefslogtreecommitdiff
path: root/src/context/Makefile.am
AgeCommit message (Expand)Author
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-09-27- This update adds DynamicArray<T>. This is a bare bones heap allocated arra...Tim King
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-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-15Added context_mm (haven't tested compilation yet...)Clark Barrett
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-11-23fixups, file commentsMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17ignored itemsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback