| Age | Commit message (Expand) | Author |
|---|
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-03-25 | java input stream adapters working | Morgan Deters |
| 2013-03-08 | Disallow overflow in bitvector literals (parser only) | Morgan Deters |
| 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 | First chunk of boolean-terms support. | Morgan Deters |
| 2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
| 2012-11-14 | Fix for bug 407. mkAnonymousFunction() in the parser no longer uses ':'. CVC ... | Tim King |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-10-05 | Bug-related: | Morgan Deters |
| 2012-09-28 | Public interface review items: | Morgan Deters |
| 2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | 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-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-06-22 | Parser: add the possibility to bind at level 0. | François Bobot |
| 2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
| 2011-11-16 | Addressed many of the concerns raised in the public interface review of CVC4 ... | Morgan Deters |
| 2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | 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-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-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-28 | Forcing a type check on Node construction in debug mode (Fixes: #188) | Christopher L. Conway |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 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-07 | Tightening lexer rules for numerals in SMT v2 | Christopher L. Conway |
| 2010-05-06 | Adding --strict-parsing option | Christopher L. Conway |
| 2010-05-06 | Adding bit-vector constants in SMT2 | Christopher L. Conway |
| 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-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-27 | Adding --mmap option to use memory-mapped file input, which provides a margin... | Christopher L. Conway |
| 2010-02-25 | * src/expr/node.h: add a copy constructor. Apparently GCC doesn't | Morgan Deters |
| 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 | src/expr/kind.h is now automatically generated. | Morgan Deters |
| 2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
| 2010-02-03 | ELSEIF support and parser debugging with '-d parser' | Dejan Jovanović |
| 2010-02-01 | Fixing the CVC grammar for parsing Boolean expressions. All the associativity... | Dejan Jovanović |
