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