summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2011-04-10merge from replay branchMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-29portability updates to build systemMorgan Deters
2010-09-02neglected build system update from r848 (last commit)Morgan Deters
2010-07-07competition submission should be fully staticMorgan Deters
2010-07-07fixed submission targetMorgan Deters
2010-07-07things for competition upload: new "make submission" targetMorgan Deters
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2009-12-17coding standard fix on SmtEngine; fix recursive makeMorgan Deters
2009-12-17build system cleanup; test system separation into white-box, black-box, and p...Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-05more build system workMorgan Deters
2009-12-04more build system workMorgan Deters
2009-12-03first attempt at new build systemMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback