summaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)Author
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-02-22Re-committing revision 232 properly:Morgan Deters
2010-02-22undoing improperly-committed revision 232; will re-commit to get "svn blame" ...Morgan Deters
2010-02-22* Add virtual destructors to CnfStream, Theory, OutputChannel, andCesare Tinelli
2010-02-19* Attribute infrastructure -- static design. Documentation is coming.Morgan Deters
2010-02-18Adding doxygen configuration parameters and doxygen-doc Makefile targetChristopher L. Conway
2010-02-09removing other pieces of autotools stuff to fix bug #24Morgan Deters
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2009-12-17making config/mkbuilddir executableMorgan Deters
2009-12-17support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...Morgan Deters
2009-12-16+ refactoring fixes for expr package based on code review (see bug #4)Morgan Deters
2009-12-16Standardizing configure arguments for ANTLR/CxxTestChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-11build fixes, configuration simplificationsMorgan Deters
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan Deters
2009-12-04more build system workMorgan Deters
2009-12-04Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting ...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback