summaryrefslogtreecommitdiff
path: root/src/expr/expr.i
AgeCommit message (Expand)Author
2020-05-27Add the Expr-level sequence datatype (#4526)Andrew Reynolds
2020-02-12Rename Java package to edu.stanford.CVC4 (#3752)Andres Noetzli
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-07-12Fix .i files from last commit.ajreynol
2016-11-01Working memory leak free version, changes interface to pointers.ajreynol
2016-04-20update from the masterPaulMeng
2014-05-27Some fixes to GC order in Java.Morgan Deters
2014-05-24Some cleanup, fix warnings raised by Debian packager.Morgan Deters
2013-05-16minor changes to language bindingsMorgan Deters
2013-03-27some Java bindings fixes (fixes Debian build problems)Morgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-06-09Dagification of output expressions.Morgan Deters
2012-02-21language bindings fixes for yesterday's portfolio mergeMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback