summaryrefslogtreecommitdiff
path: root/examples/api/java
AgeCommit message (Expand)Author
2020-02-11Rename Java package to edu.stanford.CVC4Andres Noetzli
2019-12-06Add ExprManager as argument to Datatype (#3535)Andrew Reynolds
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-03-26Update copyright headers.Aina Niemetz
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-22cmake: Add target runexamples.Aina Niemetz
2018-09-22cmake: examples: Configure output directory per target.Aina Niemetz
2018-09-22cmake: Added java examplesAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-07Update copyright headers.Mathias Preiner
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