2014-04-29 |
Morgan Deters | Fix for --force-logic to extend its reach to the parser. |
blob | commitdiff | raw |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-03-05 |
Kshitij Bansal | Merge pull request #14 from kbansal/sets-parserchanges |
blob | commitdiff | raw | diff to current |
2014-03-05 |
Kshitij Bansal | Don't tokenize SET_THEORY operators in smt2 parser |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-09 |
Morgan Deters | Fix declare-datatypes dumping bug (bug 385). |
blob | commitdiff | raw | diff to current |
2013-09-05 |
Morgan Deters | Fix lambda handling in CVC parser |
blob | commitdiff | raw | diff to current |
2013-09-05 |
Morgan Deters | Fix declare-fun/define-fun in dumps; resolves bugs... |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Morgan Deters | Give a more useful parse error message for "undeclared... |
blob | commitdiff | raw | diff to current |
2013-06-07 |
Morgan Deters | Allow disabling include-file feature |
blob | commitdiff | raw | diff to current |
2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
blob | commitdiff | raw | diff to current |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Fix an error that valgrind found. |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Detect multiply-defined :named annotations and issue... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Dejan Jovanović | Merge branch 'master' of git@github.com:CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Morgan Deters | java input stream adapters working |
blob | commitdiff | raw | diff to current |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-09 |
Morgan Deters | Disallow overflow in bitvector literals (parser only) |
blob | commitdiff | raw | diff to current |
2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Ignore unknown term annotations (giving a warning)... |
blob | commitdiff | raw | diff to current |
2012-11-28 |
Morgan Deters | Bug fix: |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | First chunk of boolean-terms support. |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | Tuples and records merge. Resolves bug 270. |
blob | commitdiff | raw | diff to current |
2012-11-14 |
Tim King | Fix for bug 407. mkAnonymousFunction() in the parser... |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Morgan Deters | Bug-related: |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
blob | commitdiff | raw | diff to current |
2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkol... |
blob | commitdiff | raw | diff to current |
2012-08-07 |
Morgan Deters | Some items from the CVC4 public interface review: |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-06-22 |
François Bobot | Parser: add the possibility to bind at level 0. |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2011-11-16 |
Morgan Deters | Addressed many of the concerns raised in the public... |
blob | commitdiff | raw | diff to current |
2011-11-01 |
Morgan Deters | Improvements to header installation on user machines... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-05-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameteriz... |
blob | commitdiff | raw | diff to current |
2011-05-13 |
Andrew Reynolds | added support for parametric datatypes, updated cvc... |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | numerous bugfixes |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit. |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
2011-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
2010-10-09 |
Morgan Deters | reverting some changes to parser from last commit |
blob | commitdiff | raw | diff to current |
2010-10-09 |
Morgan Deters | support for SMT-LIBv2 :named attributes, and attributes... |
blob | commitdiff | raw | diff to current |
2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
blob | commitdiff | raw | diff to current |
2010-07-28 |
Christopher L. Conway | Forcing a type check on Node construction in debug... |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
2010-05-12 |
Christopher L. Conway | true and false are only defined if the core theory... |
blob | commitdiff | raw | diff to current |
2010-05-12 |
Christopher L. Conway | Adding class Smt2 to handle declaration of logic and... |
blob | commitdiff | raw | diff to current |
2010-05-07 |
Christopher L. Conway | Tightening lexer rules for numerals in SMT v2 |
blob | commitdiff | raw | diff to current |
2010-05-06 |
Christopher L. Conway | Adding --strict-parsing option |
blob | commitdiff | raw | diff to current |
2010-05-06 |
Christopher L. Conway | Adding bit-vector constants in SMT2 |
blob | commitdiff | raw | diff to current |
2010-04-28 |
Christopher L. Conway | Refactoring Input/Parser code to support external manip... |
blob | commitdiff | raw | diff to current |
2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
blob | commitdiff | raw |
2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
2010-02-27 |
Christopher L. Conway | Adding --mmap option to use memory-mapped file input... |
blob | commitdiff | raw | diff to current |
2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
2010-02-18 |
Christopher L. Conway | Adding --no-checking option to disable semantic checks... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
2010-02-03 |
Dejan Jovanović | ELSEIF support and parser debugging with '-d parser' |
blob | commitdiff | raw | diff to current |
2010-02-01 |
Dejan Jovanović | Fixing the CVC grammar for parsing Boolean expressions... |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Dejan Jovanović | More fixes fot the parser tests. |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Dejan Jovanović | Changing some deatils on the parser. Now we know we... |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Morgan Deters | more build system fix-ups |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Dejan Jovanović | Lots of parser changes to make Chris happy. Yet more... |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
2009-12-11 |
Dejan Jovanović | Extracted the public Expr and ExprManager interface... |
blob | commitdiff | raw | diff to current |
2009-12-10 |
Dejan Jovanović | killing expr into node... |
blob | commitdiff | raw | diff to current |
2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
blob | commitdiff | raw | diff to current |
2009-12-08 |
Morgan Deters | parser build fixes |
blob | commitdiff | raw | diff to current |
2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
blob | commitdiff | raw | diff to current |
2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
blob | commitdiff | raw | diff to current |
2009-12-07 |
Dejan Jovanović | antlr parser for the cvc4 language (boolean only) |
blob | commitdiff | raw | diff to current |
2009-12-06 |
Dejan Jovanović | Big chunk of changes: |
blob | commitdiff | raw | diff to current |
2009-12-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
2009-12-03 |
Morgan Deters | parsing/expr/command/result/various other fixes |
blob | commitdiff | raw | diff to current |
2009-11-26 |
Dejan Jovanović | Enough parsing for tonight. Added: |
blob | commitdiff | raw | diff to current |
2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
2009-11-17 |
Morgan Deters | another pass |
blob | commitdiff | raw | diff to current |
next |