2014-10-06 |
Morgan Deters | Fix native language parsing of chained-store expression... |
blob | commitdiff | raw |
2014-10-03 |
Morgan Deters | Improve error in CVC parser in presence of unrecognized... |
blob | commitdiff | raw | diff to current |
2014-07-11 |
Kshitij Bansal | Merge pull request #48 from kbansal/segfaultfix |
blob | commitdiff | raw | diff to current |
2014-07-11 |
Kshitij Bansal | Merge pull request #49 from kbansal/cvcparser |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | membership cvc token changed to `IS_IN' to avoid confli... |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-09 |
Kshitij Bansal | sets cvc parser |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-04 |
Morgan Deters | Add operator support (resolves bug #563). |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-14 |
Andrew Reynolds | Add initial support for co-datatypes. |
blob | commitdiff | raw | diff to current |
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-02-26 |
Tianyi Liang | smt-lib syntax change: str.contain -> str.contains... |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Tianyi Liang | smt-lib syntax change: str.contain -> str.contains... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Morgan Deters | String parsing example in CVC parser |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Morgan Deters | String parsing example in CVC parser |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tianyi Liang | add negative int2str |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Morgan Deters | String parsing example in CVC parser |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Update copyright year. |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-14 |
Morgan Deters | Allow empty record literals (fixing an oversight in... |
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-09 |
Morgan Deters | Support empty (and 1-ary) tuples and records. |
blob | commitdiff | raw | diff to current |
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 |
next |