summaryrefslogtreecommitdiff
path: root/src/parser/parser_builder.cpp
AgeCommit message (Expand)Author
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-09-02* Changing pre-registration to be context dependent -- it is called from the ...Dejan Jovanović
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-04-15parser/driver fixes for last commitMorgan Deters
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