projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regression option (#4680)
[cvc5.git] / src / bindings /
2013-04-29 Morgan DetersSome fixes for GCC 4.2, and for Java on Mac tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... tree | commitdiff
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... tree | commitdiff
2013-03-26 Dejan JovanovićMerge branch 'master' of git@github.com:CVC4/CVC4.git tree | commitdiff
2013-03-26 Morgan Detersjava input stream adapters working tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-15 Morgan Detersfix up build system for swig (d242c30 introduced a... tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2012-11-17 Morgan Deters* enable previously-failing (now succeeding) datatype... tree | commitdiff
2012-11-17 Morgan Deters* Fix for bug 445 agreed to in meeting 11/13/2012:... tree | commitdiff
2012-11-12 Morgan Deters* Fix language bindings: various issues tree | commitdiff
2012-10-25 ACSYSmore minor fixes to build system tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-10-08 Morgan Deterssmall fix for compat JNI library installation tree | commitdiff
2012-10-06 Morgan Deters* Some documentation about building compatibility and... tree | commitdiff
2012-09-29 Morgan Detersfixes to "make distclean" and C compatibility bindings... tree | commitdiff
2012-09-28 Morgan Detersfixes for compatibility (i.e., CVC3) Java bindings tree | commitdiff
2012-09-28 Morgan Deters* fix compatibility library naming for SMT-LIBv1 tree | commitdiff
2012-09-26 Morgan DetersFix a handful of things for Mac, and Java bindings. tree | commitdiff
2012-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... tree | commitdiff
2012-06-12 Morgan Detersfix a few compatibility bindings issues tree | commitdiff
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. tree | commitdiff
2012-06-08 Morgan Detersminor fixes, for Mac OS tree | commitdiff
2012-05-31 Morgan Deterspass JAVA_CPPFLAGS properly tree | commitdiff
2012-05-16 Morgan DetersFixing C compatibility library (it still had a referenc... tree | commitdiff
2012-03-08 Morgan Detersfix "make dist" tree | commitdiff
2012-03-07 Morgan Detersfix some Java compatibility-layer interface problems... tree | commitdiff
2012-02-03 Dejan Jovanovićupdating configure to use python-config for building... tree | commitdiff
2012-01-27 Morgan Deterseffecting the same change in the compat Java binding... tree | commitdiff
2011-11-26 Morgan DetersFix Java JNI installation path tree | commitdiff
2011-11-22 Morgan Detersfix module name for CVC4 jar file; part of the fix... tree | commitdiff
2011-11-22 Morgan DetersMore language bindings work: tree | commitdiff
2011-11-16 Morgan DetersFix "make dist". Fixes to python and ruby bindings... tree | commitdiff
2011-11-16 Morgan Detersfix to build system for java bindings tree | commitdiff
2011-11-15 Morgan DetersBindings work (ocaml bindings are now sort of working... tree | commitdiff
2011-11-01 Morgan DetersImprovements to header installation on user machines... tree | commitdiff
2011-10-31 Morgan Detersfix to "make install" tree | commitdiff
2011-10-06 Morgan Detersdon't build language bindings unless expressly requeste... tree | commitdiff
2011-10-04 Morgan Deterscvc3 compatibility layer; and another libantlr3c v3... tree | commitdiff
2011-10-03 Morgan Detersuser push/pop support in minisat and simplification... tree | commitdiff
2011-09-30 Morgan Detersinterfaces fixes and cleanups...and examples of each... tree | commitdiff
2011-09-29 Morgan Detersbuild system fixes tree | commitdiff
2011-09-28 Morgan Detersanother make dist fix for java compat bindings tree | commitdiff
2011-09-28 Morgan Detersfixes for make dist ; make install tree | commitdiff
2011-09-27 Morgan Detersmore interface work; adding legacy C interface tree | commitdiff
2011-09-25 Morgan Detersfirst crack at compatibility java interface (not built... tree | commitdiff
2011-09-23 Morgan Detersinterface cleanup, java bindings work tree | commitdiff
2011-09-21 Morgan Detersconsiderable bindings interface work, some improvements... tree | commitdiff
2011-09-20 Morgan Detersfix build tree | commitdiff
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff