| 2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
tree | commitdiff |
| 2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
tree | commitdiff |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-08-24 |
Kshitij Bansal | fix type in sets_translate |
tree | commitdiff |
| 2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Update copyrights. |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Use FS as the set-logic string for theory of sets |
tree | commitdiff |
| 2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | sets api example |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and... |
tree | commitdiff |
| 2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
tree | commitdiff |
| 2014-06-19 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | New translator features: expand define-funs and combine... |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
tree | commitdiff |
| 2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
| 2014-06-18 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
tree | commitdiff |
| 2014-06-17 |
Morgan Deters | New translator features: expand define-funs and combine... |
tree | commitdiff |
| 2014-06-09 |
Kshitij Bansal | Merge pull request #29 from kbansal/alternatefix |
tree | commitdiff |
| 2014-06-08 |
Kshitij Bansal | sets translate: a different translation using axioms |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | sets translator: fix for dags |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | rm warning from helloworld example |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | Sets translate, and other short fixes |
tree | commitdiff |
| 2014-06-05 |
Morgan Deters | Add --default-dag-thresh to translator, build translato... |
tree | commitdiff |
| 2014-05-10 |
Morgan Deters | Fix for example installation. |
tree | commitdiff |
| 2014-05-08 |
Dejan Jovanovic | Adding encoding of sha1 collision for the hashing example |
tree | commitdiff |
| 2014-05-02 |
Morgan Deters | Fix typo in bitvectors example; thanks to Adam Gashlin... |
tree | commitdiff |
| 2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
tree | commitdiff |
| 2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-19 |
Morgan Deters | Move the translator binary from src/main to examples... |
tree | commitdiff |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Cleanup related to output language fix. |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Java datatype API fixups, datatype API examples |
tree | commitdiff |
| 2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Another fix for clang. |
tree | commitdiff |
| 2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-27 |
Morgan Deters | Incremental is now on by default when using from API... |
tree | commitdiff |
| 2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-17 |
Morgan Deters | Java streams example I forgot to add a long time ago |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
| 2013-03-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
| 2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
tree | commitdiff |
| 2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
| 2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
tree | commitdiff |
| 2013-02-16 |
Morgan Deters | Some cleanup and copyright updating |
tree | commitdiff |
| 2012-12-01 |
Morgan Deters | updated examples |
tree | commitdiff |
| 2012-12-01 |
Liana Hadarean | added a new example for the combination of bit-vectors... |
tree | commitdiff |
| 2012-12-01 |
Tim King | Polishing API examples. |
tree | commitdiff |
| 2012-11-30 |
Morgan Deters | all API examples now have java versions too; bitvectors... |
tree | commitdiff |
| 2012-11-30 |
Tim King | Updating the combination.cpp example. |
tree | commitdiff |
| 2012-11-30 |
Morgan Deters | change detection/handling of output language more reaso... |
tree | commitdiff |
| 2012-11-30 |
Liana Hadarean | added a simple API example example showing how to use... |
tree | commitdiff |
| 2012-11-30 |
Tim King | Changes to SExpr to accept autoconversion from bool... |
tree | commitdiff |
| 2012-11-28 |
Tim King | Adding the helloworld.cpp example. |
tree | commitdiff |
| 2012-11-27 |
Tim King | Adding an example to show how to use arithmetic. |
tree | commitdiff |
| 2012-11-26 |
Morgan Deters | some fixes to language bindings and function visibility |
tree | commitdiff |
| 2012-10-22 |
Morgan Deters | fix misleading comment in example |
tree | commitdiff |
| 2012-10-06 |
Morgan Deters | * Some documentation about building compatibility and... |
tree | commitdiff |
| 2012-10-05 |
Morgan Deters | Bug-related: |
tree | commitdiff |
| next |
projects / cvc5.git / history