Age | Commit message (Expand) | Author |
2012-12-11 | Ignore unknown term annotations (giving a warning). Resolves bug 479. | Morgan Deters |
2012-11-28 | Bug fix: | Morgan Deters |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-06-22 | Parser: add the possibility to bind at level 0. | 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-10-04 | compat layer cleanup | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-23 | fixes for "make dist" and "make doc", minor cleanups | Morgan Deters |
2011-05-14 | add AscriptionType stuff to support nullary parameterized datatypes; also, re... | Morgan Deters |
2011-05-13 | added support for parametric datatypes, updated cvc parser to handle parametr... | Andrew Reynolds |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-04-20 | numerous bugfixes | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
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ć |