Age | Commit message (Expand) | Author |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-26 | Merged my changes from experimental branch (new array decision procedure, | Clark Barrett |
2015-12-23 | Added extract.cpp example | Clark Barrett |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
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 |