projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regression option (#4680)
[cvc5.git] / src / expr / expr.i
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) blob | commitdiff | raw
2020-05-27 Andrew ReynoldsAdd the Expr-level sequence datatype (#4526) blob | commitdiff | raw | diff to current
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752) blob | commitdiff | raw | diff to current
2019-06-22 Andres NoetzliAdd floating-point support in the Java API (#3063) blob | commitdiff | raw | diff to current
2019-05-16 Andres NoetzliFix iterators in Java API (#3000) blob | commitdiff | raw | diff to current
2018-03-23 Andrew ReynoldsRemove abstract regular expression constant (#1698) blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221) blob | commitdiff | raw | diff to current
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 blob | commitdiff | raw | diff to current
2017-07-12 ajreynolFix .i files from last commit. blob | commitdiff | raw | diff to current
2016-11-01 ajreynolWorking memory leak free version, changes interface... blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-19 Clark BarrettFixed typo blob | commitdiff | raw | diff to current
2016-04-18 Clark BarrettMore fixes for python interface blob | commitdiff | raw | diff to current
2014-05-28 Morgan DetersSome fixes to GC order in Java. blob | commitdiff | raw | diff to current
2014-05-25 Morgan DetersSome cleanup, fix warnings raised by Debian packager. blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-20 Morgan Detersminor changes to language bindings blob | commitdiff | raw | diff to current
2013-05-16 Morgan Detersminor changes to language bindings blob | commitdiff | raw | diff to current
2013-03-29 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-03-28 Morgan Deterssome Java bindings fixes (fixes Debian build problems) blob | commitdiff | raw | diff to current
2013-03-27 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... blob | commitdiff | raw | diff to current
2012-08-20 Morgan Detersfixes for java bindings blob | commitdiff | raw | diff to current
2012-06-09 Morgan DetersDagification of output expressions. blob | commitdiff | raw | diff to current
2012-02-21 Morgan Deterslanguage bindings fixes for yesterday's portfolio merge blob | commitdiff | raw | diff to current
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... blob | commitdiff | raw | diff to current