summaryrefslogtreecommitdiff
path: root/Makefile.builds.in
AgeCommit message (Expand)Author
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-27make dist-building more pleasant (put .tar.gz in builds/ directory)Morgan Deters
2010-09-30fixed a number of problems with mac os x builds. build now works on mac os x...Morgan Deters
2010-09-13link TAGS file into builds/ directory, when built. Resolves bug #195Morgan Deters
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-09-01"make check" now places binaries in the proper place before doing the checks;...Morgan Deters
2010-04-08A handful of build system fixes:Morgan Deters
2010-03-08This fixes regressions at levels >= 1 which were failingMorgan Deters
2010-02-22fix bug 33 (statically link the "cvc4" binary); also main driver cleanupMorgan Deters
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2009-12-17coding standard fix on SmtEngine; fix recursive makeMorgan Deters
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-05more build system workMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback