summaryrefslogtreecommitdiff
path: root/src/bindings
AgeCommit message (Expand)Author
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
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-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
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
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-10-22Fail for SWIG 3.0.8 (#2656)makaimann
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-18Introducing internal commands for SyGuS commands (#2627)Haniel Barbosa
2018-09-22cmake: Add python3 option.Mathias Preiner
2018-09-22cmake: Add make install rule.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Add SWIG support + Python and Java bindings.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-26Make Java bindings work with newer build envs (#1709)Andres Noetzli
2017-10-27Modify LDFLAGS to support shared libraries for Win (#1280)Andres Noetzli
2017-09-19Fixing a null pointer dereference in the cvc3 compatibility layer. (#1089)Tim King
2017-09-13Remove unused RecordSelect and TupleSelect (#1087)Andres Noetzli
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-08-06First crack at fixing double-linking issues in build system.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-21Fix compat-Java layer, should fix build.Morgan Deters
2014-06-21Lower the Java JRE version requirement.Morgan Deters
2014-06-21Adjust library dependencies to be more correct (fixes lintian warnings).Morgan Deters
2013-12-03Work around a swig segfault issue when building on Mac OSMorgan Deters
2013-11-26Fix Java output stream adapter.Morgan Deters
2013-11-13Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ...Morgan Deters
2013-11-10Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti...Morgan Deters
2013-07-30Minor fixes to build system.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback