summaryrefslogtreecommitdiff
path: root/examples/api/java
AgeCommit message (Expand)Author
2016-04-20update from the masterPaulMeng
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-07-01Update copyrights.Morgan Deters
2014-05-02Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.Morgan Deters
2013-12-24Cleanup related to output language fix.Morgan Deters
2013-12-24Java datatype API fixups, datatype API examplesMorgan 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-11-30all API examples now have java versions too; bitvectors gets built; also upda...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback