| 2013-06-07 |
Morgan Deters | Allow disabling include-file feature |
blob | commitdiff | raw |
| 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-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-05-20 |
Morgan Deters | Fix parsing of SMT-LIBv2 |quoted| symbols that span... |
blob | commitdiff | raw | diff to current |
| 2013-05-20 |
Morgan Deters | Better error on illegal (pop N); also more compliant... |
blob | commitdiff | raw | diff to current |
| 2013-05-17 |
Morgan Deters | Better error on illegal (pop N); also more compliant... |
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-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 | Tuples and records merge. Resolves bug 270. |
blob | commitdiff | raw | diff to current |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
| 2012-09-28 |
Morgan Deters | Public interface review items: |
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-06-22 |
François Bobot | Parser: add the possibility to bind at level 0. |
blob | commitdiff | raw | diff to current |
| 2012-06-07 |
Morgan Deters | LogicInfo locking implemented, and some initialization... |
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-10-04 |
Morgan Deters | compat layer cleanup |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
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-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups |
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-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
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-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
blob | commitdiff | raw | diff to current |
| 2010-10-26 |
Christopher L. Conway | Cleaning up some header files |
blob | commitdiff | raw | diff to current |
| 2010-10-23 |
Christopher L. Conway | Adding Parser::setInput and using it in InteractiveShel... |
blob | commitdiff | raw | diff to current |
| 2010-10-20 |
Christopher L. Conway | Adding support for interactive mode |
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-02 |
Morgan Deters | re-generated comment headers of source files |
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 | Adding ParserBuilder, reducing visibility of Parser... |
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-06 |
Christopher L. Conway | Adding --strict-parsing option |
blob | commitdiff | raw | diff to current |
| 2010-04-29 |
Dejan Jovanović | Added the capability to construct expressions by passin... |
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-02-27 |
Christopher L. Conway | Adding --mmap option to use memory-mapped file input... |
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 | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
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 |
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-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-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-24 |
Morgan Deters | various fixes and updates to use and support parser |
blob | commitdiff | raw | diff to current |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | from meeting |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history