summaryrefslogtreecommitdiff
path: root/src/main/Makefile.am
AgeCommit message (Expand)Author
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-02-22fix bug 33 (statically link the "cvc4" binary); also main driver cleanupMorgan Deters
2010-02-22fix bug 22 (remove tracing from non-trace builds; remove all outputMorgan Deters
2009-12-17more build system fix-upsMorgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan Deters
2009-12-05more build system workMorgan Deters
2009-12-03parsing/expr/command/result/various other fixesMorgan 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-18work on exprs, driver, utilMorgan Deters
2009-11-17ignored itemsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback