summaryrefslogtreecommitdiff
path: root/src/parser/parser_builder.cpp
AgeCommit message (Expand)Author
2010-10-26Cleaning up some header filesChristopher L. Conway
2010-10-23Adding Parser::setInput and using it in InteractiveShell (Fixes: #225)Christopher L. Conway
2010-10-22fix valgrind-reported errors in parser builder; a non-SMT parser was always u...Morgan Deters
2010-10-22Saving state between lines in interactive mode (Fixes: #223)Christopher L. Conway
2010-10-22Using Options in ParserBuilder and InteractiveShellChristopher L. Conway
2010-10-20Enabling semantic checks in ParserBuilderChristopher L. Conway
2010-10-20Adding support for interactive modeChristopher L. Conway
2010-10-08* (define-fun...) now has proper type checking in non-debug buildsMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-04Enabling RDL/IDL in SMT v1 and adding some simple testsChristopher L. Conway
2010-06-03Implementing input from stdin (Fixes: #144)Christopher L. Conway
2010-05-12Adding ParserBuilder, reducing visibility of Parser and Input constructorsChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback