summaryrefslogtreecommitdiff
path: root/src/bindings/java/CMakeLists.txt
AgeCommit message (Expand)Author
2020-02-26Remove portfolio leftovers (#3821)Andres Noetzli
2020-02-20Remove parser from bindings (#3779)Andres Noetzli
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-02-14Remove quantifiers rewrite rules infrastructure (#3754)Andrew Reynolds
2020-02-13Update sygus v1 parser to use ParseOp utility (#3756)Andrew Reynolds
2020-02-12Rename Java package to edu.stanford.CVC4 (#3752)Andres Noetzli
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-07-29Model blocker feature (#3112)Andrew Reynolds
2019-07-29Support get-abduct smt2 command (#3122)Andrew Reynolds
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-06-11Fix compilation issue for Java bindings + CLN (#3045)Andres Noetzli
2019-06-05Add support for SWIG 4 (#3041)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-05-15cmake: Install JAR and JNI files for Java bindings. (#3002)Mathias Preiner
2018-10-18Introducing internal commands for SyGuS commands (#2627)Haniel Barbosa
2018-09-22cmake: Add SWIG support + Python and Java bindings.Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback