Age | Commit message (Expand) | Author |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-06-22 | TPTP: add parser for cnf and fof | François Bobot |
2012-06-22 | parser: add some acces function and recover the original nextToken from antlr3 | François Bobot |
2012-06-07 | LogicInfo locking implemented, and some initialization-order issues in SmtEng... | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters |
2011-10-04 | more fixes for libantlr3c v3.4 | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-10-12 | fix some leaks in parser, add debug code to node manager to find more | Morgan Deters |
2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
2010-07-06 | merge from CC work: pieces of the parser need to be declared to throw Asserti... | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-04 | Reimplementing AntlrInputStream::newStreamInputStream | Christopher L. Conway |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-06-03 | Implementing input from stdin (Fixes: #144) | Christopher L. Conway |
2010-05-26 | Prevent lexer errors being raised if a parser error is pending. | Christopher L. Conway |
2010-05-12 | true and false are only defined if the core theory is loaded in SMT v2 strict... | Christopher L. Conway |
2010-05-04 | Adding general support for SMT2 set-info command | Christopher L. Conway |
2010-05-03 | Small mistake in previous commit | Christopher L. Conway |
2010-05-03 | Importing ANTLR3 lexer nextToken function to avoid escaped exceptions. | Christopher L. Conway |
2010-05-01 | Adding missed antlr_input files | Christopher L. Conway |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-04-27 | Adding Integer and Rational constants to SMT | Christopher L. Conway |
2010-04-05 | Simplifying ANTLR3 overrides | Christopher L. Conway |
2010-04-05 | Moving sources copied from libantlr3c to separate file | Christopher L. Conway |
2010-04-05 | Moving code imported from libantlr3c to separate file and adding copyright ex... | Christopher L. Conway |
2010-04-05 | Adding match override to AntlrInput, in attempt to workaround Bug #76 | Christopher L. Conway |
2010-04-05 | Minor refactorings, in response to code review (Bug #73) | Christopher L. Conway |
2010-04-02 | Overriding ANTLR3 error recovery routine | Christopher L. Conway |
2010-04-01 | Parser tweaks to address review | Christopher L. Conway |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-31 | Code cleanup in parser | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |