Age | Commit message (Expand) | Author |
2015-06-30 | fix sets-translate | Kshitij Bansal |
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
2014-12-09 | Cleanup. | Morgan Deters |
2014-12-06 | Added string constant in java api example. | Tianyi Liang |
2014-12-06 | Added C++/Java api examples; | Tianyi Liang |
2014-08-24 | fix type in sets_translate | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-30 | Use FS as the set-logic string for theory of sets | Kshitij Bansal |
2014-06-25 | sets api example | Kshitij Bansal |
2014-06-25 | rename subseteq to subset in smtlib, all kinds and smt operator names are now... | Kshitij Bansal |
2014-06-22 | Renaming of SMT2 operator names, kinds for set theory | Kshitij Bansal |
2014-06-19 | Fix make install-examples. | Morgan Deters |
2014-06-19 | basic fixes for sets translator, separate binaries | Kshitij Bansal |
2014-06-19 | New translator features: expand define-funs and combine assertions. | Morgan Deters |
2014-06-08 | sets translate: a different translation using axioms | Kshitij Bansal |
2014-06-06 | sets translator: fix for dags | Kshitij Bansal |
2014-06-06 | rm warning from helloworld example | Kshitij Bansal |
2014-06-06 | Sets translate, and other short fixes | Kshitij Bansal |
2014-06-05 | Add --default-dag-thresh to translator, build translator with other examples. | Morgan Deters |
2014-05-09 | Fix for example installation. | Morgan Deters |
2014-05-07 | Adding encoding of sha1 collision for the hashing example | Dejan Jovanovic |
2014-05-02 | Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue. | Morgan Deters |
2014-03-19 | Move the translator binary from src/main to examples, no longer built by defa... | Morgan Deters |
2013-12-24 | Cleanup related to output language fix. | Morgan Deters |
2013-12-24 | Java datatype API fixups, datatype API examples | Morgan Deters |
2013-12-13 | Another fix for clang. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-06-17 | Java streams example I forgot to add a long time ago | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2012-12-01 | updated examples | Morgan Deters |
2012-12-01 | added a new example for the combination of bit-vectors and arrays (includes m... | Liana Hadarean |
2012-12-01 | Polishing API examples. | Tim King |
2012-11-30 | all API examples now have java versions too; bitvectors gets built; also upda... | Morgan Deters |
2012-11-30 | Updating the combination.cpp example. | Tim King |
2012-11-30 | change detection/handling of output language more reasonably; fixes a nagging... | Morgan Deters |
2012-11-30 | added a simple API example example showing how to use the bit-vector theory. | Liana Hadarean |
2012-11-30 | Changes to SExpr to accept autoconversion from bool and const char*. Adding a... | Tim King |
2012-11-28 | Adding the helloworld.cpp example. | Tim King |
2012-11-27 | Adding an example to show how to use arithmetic. | Tim King |
2012-11-26 | some fixes to language bindings and function visibility | Morgan Deters |
2012-10-22 | fix misleading comment in example | Morgan Deters |
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-10-05 | BoolExpr removed and replaced with Expr | Dejan Jovanović |
2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |