2013-09-09 |
Morgan Deters | Support empty (and 1-ary) tuples and records. |
blob | commitdiff | raw |
2013-09-05 |
Morgan Deters | Fix FLOOR and DISTINCT in CVC language 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-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 | Disallow construction of (_ BitVec 0). |
blob | commitdiff | raw | diff to current |
2013-05-17 |
Morgan Deters | Disallow construction of (_ BitVec 0). |
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-21 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-20 |
Morgan Deters | Interactive mode support for multiline input |
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-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' of https://github.com/CVC4/CVC4... |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Some cleanup and copyright updating |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Fix ECHO command in CVC language parser to not output... |
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-11-18 |
Morgan Deters | Disable predicate subtyping: |
blob | commitdiff | raw | diff to current |
2012-10-26 |
Morgan Deters | better parametric datatype arity checking; fixes bug 433 |
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-10 |
Dejan Jovanović | fixing the cvc bv parser and typechecker |
blob | commitdiff | raw | diff to current |
2012-10-09 |
Morgan Deters | * make Model class private (as discussed at meeting... |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the... |
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-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
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-16 |
Morgan Deters | The SmtEngine now ensures that setLogicInternal() is... |
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-12 |
Andrew Reynolds | merged fmf-devel branch, includes support for SMT2... |
blob | commitdiff | raw | diff to current |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
blob | commitdiff | raw | diff to current |
2012-06-13 |
Morgan Deters | Don't use the "inlined" feature of ANTLR 3.2, which... |
blob | commitdiff | raw | diff to current |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
blob | commitdiff | raw | diff to current |
2012-06-07 |
Morgan Deters | Adding EchoCommand and associated printer and parser... |
blob | commitdiff | raw | diff to current |
2012-05-15 |
Tim King | This commit removes the CONST_INTEGER kind from nodes... |
blob | commitdiff | raw | diff to current |
2012-05-03 |
Dejan Jovanović | Some cleanup starting off from trying to understand... |
blob | commitdiff | raw | diff to current |
2012-04-06 |
Morgan Deters | * Fix ITEs and functions in CVC language printer. |
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-12-14 |
Morgan Deters | minor fixes to printing and parsing of CVC-language... |
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-10-29 |
Morgan Deters | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... |
blob | commitdiff | raw | diff to current |
2011-10-04 |
Morgan Deters | cvc3 compatibility layer; and another libantlr3c v3... |
blob | commitdiff | raw | diff to current |
2011-10-04 |
Morgan Deters | Oh, here's another cute compatibility fix for libantlr3... |
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-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B... |
blob | commitdiff | raw | diff to current |
2011-06-03 |
Andrew Reynolds | fixed various bugs related to ambiguous parametric... |
blob | commitdiff | raw | diff to current |
2011-06-03 |
Morgan Deters | datatypes work |
blob | commitdiff | raw | diff to current |
2011-06-01 |
Morgan Deters | type ascriptions (casts) for parameterized datatypes... |
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-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
2011-05-03 |
Morgan Deters | output fixes for performance |
blob | commitdiff | raw | diff to current |
2011-05-02 |
Morgan Deters | Minor fixes to various parts of CVC4, including the... |
blob | commitdiff | raw | diff to current |
2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
2011-04-23 |
Morgan Deters | fix for parser/tests for ANTLR 3.2 (it was working... |
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 | Minor mixed-bag commit. Expected performance impact... |
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 | more work on CVC language |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | mostly CVC presentation language parsing and printing |
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-13 |
Morgan Deters | add disequality token ("/=") and rules to CVC parser |
blob | commitdiff | raw | diff to current |
2011-03-05 |
Morgan Deters | adding three features to CVC parser that drastically... |
blob | commitdiff | raw | diff to current |
2010-10-20 |
Christopher L. Conway | Fixing minor whitespace bug in the parser |
blob | commitdiff | raw | diff to current |
2010-07-06 |
Christopher L. Conway | Adding arithmetic symbols to CVC parser (Fixes: #176) |
blob | commitdiff | raw | diff to current |
2010-07-06 |
Morgan Deters | Fixes for doubled-statistics (bug 171), a fix to muzzle... |
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-01 |
Christopher L. Conway | Fixing private/public header warnings in parser library |
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-04-14 |
Dejan Jovanović | Marging from types 404:415, changes: Massive |
blob | commitdiff | raw | diff to current |
2010-04-05 |
Christopher L. Conway | Minor refactorings, in response to code review (Bug... |
blob | commitdiff | raw | diff to current |
2010-04-02 |
Christopher L. Conway | Overriding ANTLR3 error recovery routine |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Christopher L. Conway | Parser tweaks to address review |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
2010-03-31 |
Christopher L. Conway | Finishing parser cleanup. Code is now review-ready. |
blob | commitdiff | raw | diff to current |
2010-03-31 |
Christopher L. Conway | More parser cleanup. Should fix problems with last... |
blob | commitdiff | raw | diff to current |
2010-03-31 |
Christopher L. Conway | Code cleanup in parser |
blob | commitdiff | raw | diff to current |
2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
blob | commitdiff | raw | diff to current |
|