summaryrefslogtreecommitdiff
path: root/src/context/Makefile.am
AgeCommit message (Expand)Author
2012-08-07Some items from the CVC4 public interface review: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-03Fix for make dist.Tim King
2012-03-02CDMap -> CDHashMapDejan Jovanović
2012-03-02Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue. Small changes to fun...Tim King
2012-03-01cdqueue2 : cdlist that can be used like queue and can delete element that wil...François Bobot
2012-02-28Adds the CDQueue class. This is a wrapper for combining a CDList<T> and a CD...Tim King
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