Age | Commit message (Expand) | Author |
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ć |
2009-12-18 | More fixes fot the parser tests. | Dejan Jovanović |
2009-12-18 | Changing some deatils on the parser. Now we know we are done if command is nu... | 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-08 | parser build fixes | Morgan Deters |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not found... | Morgan Deters |
2009-12-08 | work on propositional layer, expression builder support for large expressions... | 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-05 | more build system work | Morgan Deters |
2009-12-03 | parsing/expr/command/result/various other fixes | Morgan Deters |
2009-11-26 | Enough parsing for tonight. Added: | Dejan Jovanović |