summaryrefslogtreecommitdiff
path: root/src/util/command.h
AgeCommit message (Expand)Author
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2010-02-03ELSEIF support and parser debugging with '-d parser'Dejan Jovanović
2009-12-18Lots of parser changes to make Chris happy. Yet more to come later. Dejan Jovanović
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-11Extracted the public Expr and ExprManager interface to encapsulate the optimi...Dejan Jovanović
2009-12-10killing expr into node...Dejan Jovanović
2009-12-09A mess of changes in the expression manager, simple example still failing due...Dejan Jovanović
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
2009-12-06Big chunk of changes:Dejan Jovanović
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-28Added an EmptyCommand and a CommandSequence commands and changed the parser a...Dejan Jovanović
2009-11-26Commands and the eclipse C++ project settings.Dejan Jovanović
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24Stubbing commandsChristopher L. Conway
2009-11-24Stubbing commandsmakeChristopher L. Conway
2009-11-24Partial parser for booleansChristopher L. Conway
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17from meetingMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback