Age | Commit message (Expand) | Author |
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
2010-10-26 | Cleaning up some header files | Christopher L. Conway |
2010-10-23 | Adding Parser::setInput and using it in InteractiveShell (Fixes: #225) | Christopher L. Conway |
2010-10-20 | Adding support for interactive mode | Christopher L. Conway |
2010-10-09 | reverting some changes to parser from last commit | Morgan Deters |
2010-10-09 | support for SMT-LIBv2 :named attributes, and attributes in general; zero-ary ... | Morgan Deters |
2010-10-06 | declare-sort, define-sort working but not thoroughly tested; define-fun half ... | Morgan Deters |
2010-10-05 | parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti... | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-05-12 | Adding ParserBuilder, reducing visibility of Parser and Input constructors | 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-12 | Adding class Smt2 to handle declaration of logic and theory symbols | Christopher L. Conway |
2010-05-06 | Adding --strict-parsing option | Christopher L. Conway |
2010-04-29 | Added the capability to construct expressions by passing the operator instead... | Dejan Jovanović |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-02-27 | Adding --mmap option to use memory-mapped file input, which provides a margin... | Christopher L. Conway |
2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
2010-02-18 | Adding --no-checking option to disable semantic checks in parser | Christopher L. Conway |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
2010-02-03 | Addressed many of the concerns of bug 10 (build system code review). | Morgan Deters |
2010-02-01 | Fixing the CVC grammar for parsing Boolean expressions. All the associativity... | Dejan Jovanović |
2009-12-18 | more build system fix-ups | Morgan Deters |
2009-12-18 | Lots of parser changes to make Chris happy. Yet more to come later. | Dejan Jovanović |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-11 | Extracted the public Expr and ExprManager interface to encapsulate the optimi... | Dejan Jovanović |
2009-12-10 | killing expr into node... | Dejan Jovanović |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-07 | antlr parser for the cvc4 language (boolean only) | Dejan Jovanović |
2009-12-06 | Big chunk of changes: | Dejan Jovanović |
2009-12-03 | parsing/expr/command/result/various other fixes | Morgan Deters |
2009-11-26 | Enough parsing for tonight. Added: | Dejan Jovanović |
2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters |
2009-11-24 | various fixes and updates to use and support parser | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |