Age | Commit message (Expand) | Author |
2018-05-21 | Fix compiler warning in hashsmt example (#1927) | Andres Noetzli |
2018-04-05 | Make Python bindings example compatible w/ Python3 (#1751) | Andres Noetzli |
2018-04-02 | Remove references to nyu (#1721) | Clark Barrett |
2018-03-21 | Add bit-vector extract example. (#1681) | Aina Niemetz |
2018-03-20 | Add parameterized datatypes example. (#1676) | Aina Niemetz |
2018-03-06 | Make statistics output consistent. (#1647) | Mathias Preiner |
2018-03-05 | Add support for check-sat-assuming. (#1637) | Aina Niemetz |
2017-09-27 | Add quantifiers API example, fixes #879 (#1146) | Andrew Reynolds |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-16 | Moving to static_assert now that c++11 is available. | Tim King |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-01-11 | Proposed fix for bug 702. Checks to make sure the Expr's operator is not of k... | makaimann |
2016-04-20 | update from the master | PaulMeng |
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 |