summaryrefslogtreecommitdiff
path: root/Makefile.am
AgeCommit message (Expand)Author
2010-03-08This fixes regressions at levels >= 1 which were failingMorgan Deters
2010-02-18Rm'ing doc from SUBDIRSChristopher L. Conway
2010-02-18Adding doxygen configuration parameters and doxygen-doc Makefile targetChristopher L. Conway
2010-02-05remove the last vestiges of support for "make build-profile" without first co...Morgan Deters
2010-02-04build system for multi-level regressionsMorgan Deters
2009-12-17coding standard fix on SmtEngine; fix recursive makeMorgan Deters
2009-12-17support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...Morgan Deters
2009-12-05more build system workMorgan Deters
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-12parser, minisat, other things..Morgan Deters
2009-11-09minor fixes, added contrib directoryMorgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback