summaryrefslogtreecommitdiff
path: root/src/theory/Makefile.subdirs
AgeCommit message (Collapse)Author
2010-05-03theory detection fixes; fixes build breakage when you delete build directoriesMorgan Deters
2010-04-14* Better dependency tracking for unit test building and linking, andMorgan Deters
auto-generated headers (metakind.h etc.), so they don't have to be recompiled every time. This drastically improves build time when only small updates are made. * Added "memory.h" unit test header for checking out-of-memory conditions. cdlist_black uses it. * Added helpful output when you "make lcov" in a non-coverage-enabled build. * Removed strict aliasing warning when compiling metakind.h header with optimization on. * Removed const version of NodeBuilder::operator Node()---it was poorly performing, better to not permit it---and fixed the convenience builders to use the non-const version (re: code review #63) * Color-coded test output on capable terminals. * Fixed some warnings in unit tests.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback