summaryrefslogtreecommitdiff
path: root/src/parser/cvc
AgeCommit message (Expand)Author
2009-12-17build system cleanup; test system separation into white-box, black-box, and p...Morgan Deters
2009-12-17support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...Morgan Deters
2009-12-16Spelling correction in commentsChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-15Minor changes to parser files from code review.Christopher L. Conway
2009-12-11Extracted the public Expr and ExprManager interface to encapsulate the optimi...Dejan Jovanović
2009-12-11build fixes, configuration simplificationsMorgan Deters
2009-12-10killing expr into node...Dejan Jovanović
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-08final (?) fixes to parser/generated build directory modificationsMorgan Deters
2009-12-08parser build fixesMorgan Deters
2009-12-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan Deters
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-07fixing a few broken build-related items, adding test casesMorgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback