summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2010-04-01PARSER STUFF:Morgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2009-12-17more build system fix-upsMorgan Deters
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan 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-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-17ignored itemsMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-17fixes and additionsMorgan Deters
2009-11-12minor fixesMorgan Deters
2009-11-12parser, minisat, other things..Morgan 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