| 2012-11-27 |
Morgan Deters | more mac fixes
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | fix for some Mac builds
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | give warning at configure-time about unsupported language...
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | do not turn on BV for QF_SAT
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | First chunk of boolean-terms support.
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | Tuples and records merge. Resolves bug 270.
|
commit | commitdiff | tree |
| 2012-11-26 |
Morgan Deters | include new regression directories in summary test...
|
commit | commitdiff | tree |
| 2012-11-26 |
Morgan Deters | rolling back r4625 for now (closes bug 464), Andy we...
|
commit | commitdiff | tree |
| 2012-11-26 |
Morgan Deters | don't include internal variables in model output
|
commit | commitdiff | tree |
| 2012-11-26 |
Morgan Deters | some fixes to language bindings and function visibility
|
commit | commitdiff | tree |
| 2012-11-26 |
Morgan Deters | Makefile fix for new versions of Make (thanks Clark...
|
commit | commitdiff | tree |
| 2012-11-18 |
Morgan Deters | Disable predicate subtyping:
|
commit | commitdiff | tree |
| 2012-11-17 |
Morgan Deters | * enable previously-failing (now succeeding) datatype...
|
commit | commitdiff | tree |
| 2012-11-17 |
Morgan Deters | fix for language bindings (fixes debian build fail...
|
commit | commitdiff | tree |
| 2012-11-17 |
Morgan Deters | * Fix for bug 445 agreed to in meeting 11/13/2012:...
|
commit | commitdiff | tree |
| 2012-11-16 |
Morgan Deters | Fix dumping of array-select expressions in CVC native...
|
commit | commitdiff | tree |
| 2012-11-16 |
Morgan Deters | fix a compiler warning in models
|
commit | commitdiff | tree |
| 2012-11-15 |
Morgan Deters | fix for "make examples"
|
commit | commitdiff | tree |
| 2012-11-15 |
Morgan Deters | d_incomplete is context-dependent; we shouldn't be...
|
commit | commitdiff | tree |
| 2012-11-12 |
Morgan Deters | Fix for bug 444, dealing with the placing of set-logic...
|
commit | commitdiff | tree |
| 2012-11-12 |
Morgan Deters | * Fix language bindings: various issues
|
commit | commitdiff | tree |
| 2012-11-10 |
Morgan Deters | Change run-regression script to *additionally* run...
|
commit | commitdiff | tree |
| 2012-11-10 |
Morgan Deters | Updates to Clark's commit r4540:
|
commit | commitdiff | tree |
| 2012-11-10 |
Morgan Deters | fix typo in language bindings
|
commit | commitdiff | tree |
| 2012-11-09 |
Morgan Deters | TheoryEngineModelBuilder::buildModel() is only called...
|
commit | commitdiff | tree |
| 2012-11-09 |
Morgan Deters | Bug-fix for a crash involving improperly-thrown exceptions...
|
commit | commitdiff | tree |
| 2012-11-09 |
Morgan Deters | In non-linear logics, rewrite DIVISION, INTS_DIVISION...
|
commit | commitdiff | tree |
| 2012-11-09 |
Morgan Deters | another DISTCLEANFILES entry, for proper "make distclean...
|
commit | commitdiff | tree |
| 2012-11-08 |
Morgan Deters | fix "make distcheck"
|
commit | commitdiff | tree |
| 2012-11-08 |
Morgan Deters | Review of trunk r4525 (TypeNode::getBaseType()):
|
commit | commitdiff | tree |
| 2012-11-08 |
Morgan Deters | exception fix
|
commit | commitdiff | tree |
| 2012-11-07 |
Morgan Deters | * Type ascription bug fixed (resolves bug 432), but...
|
commit | commitdiff | tree |
| 2012-11-06 |
Morgan Deters | fix issue in compatibility layer that could segfault
|
commit | commitdiff | tree |
| 2012-11-05 |
Morgan Deters | fixes for replacement function library
|
commit | commitdiff | tree |
| 2012-11-05 |
Morgan Deters | fixes for mac os
|
commit | commitdiff | tree |
| 2012-11-05 |
Morgan Deters | fix for tarball building (fixes debian and distcheck...
|
commit | commitdiff | tree |
| 2012-10-26 |
Morgan Deters | Fix to subrange type enumerator, and its unit test...
|
commit | commitdiff | tree |
| 2012-10-26 |
Morgan Deters | build options sources into distribution tarballs (in...
|
commit | commitdiff | tree |
| 2012-10-26 |
Morgan Deters | new boost.m4 makes boost-thread require boost-system...
|
commit | commitdiff | tree |
| 2012-10-26 |
Morgan Deters | better parametric datatype arity checking; fixes bug 433
|
commit | commitdiff | tree |
| 2012-10-25 |
Morgan Deters | extra quoting for special character
|
commit | commitdiff | tree |
| 2012-10-25 |
Morgan Deters | One of my changes to the build system yesterday broke...
|
commit | commitdiff | tree |
| 2012-10-24 |
Morgan Deters | Includes many fixes to build system for Solaris (thanks...
|
commit | commitdiff | tree |
| 2012-10-23 |
Morgan Deters | some fixes for "make examples" and "make install-examples...
|
commit | commitdiff | tree |
| 2012-10-22 |
Morgan Deters | fix parser generation in distributed tarballs (should...
|
commit | commitdiff | tree |
| 2012-10-22 |
Morgan Deters | one more incorrect #line fixed
|
commit | commitdiff | tree |
| 2012-10-22 |
Morgan Deters | fix misleading comment in example
|
commit | commitdiff | tree |
| 2012-10-22 |
Morgan Deters | fix installation of certain header files
|
commit | commitdiff | tree |
| 2012-10-22 |
Morgan Deters | add bug 425 models regression; fix mac-build execute...
|
commit | commitdiff | tree |
| 2012-10-14 |
Morgan Deters | fix #line number warnings (sorry!)
|
commit | commitdiff | tree |
| 2012-10-11 |
Morgan Deters | Fix bug 421, again, and add a second, independent test...
|
commit | commitdiff | tree |
| 2012-10-11 |
Morgan Deters | minor changes in wording for "cvc4 --version", and...
|
commit | commitdiff | tree |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** sources...
|
commit | commitdiff | tree |
| 2012-10-11 |
Morgan Deters | Fix wording on GPL in legal notices; also remove an...
|
commit | commitdiff | tree |
| 2012-10-11 |
Morgan Deters | compliance note
|
commit | commitdiff | tree |
| 2012-10-10 |
Morgan Deters | Abstract values for SMT-LIB.
|
commit | commitdiff | tree |
| 2012-10-09 |
Morgan Deters | * make Model class private (as discussed at meeting...
|
commit | commitdiff | tree |
| 2012-10-09 |
Morgan Deters | usability: remove --no-interactive from --smtlib option
|
commit | commitdiff | tree |
| 2012-10-09 |
Morgan Deters | * Add assertion in TheoryModel code to ensure we don...
|
commit | commitdiff | tree |
| 2012-10-09 |
Morgan Deters | fix beta reduction in both preRewrite() *and* postRewrite...
|
commit | commitdiff | tree |
| 2012-10-09 |
Morgan Deters | some documentation fixes
|
commit | commitdiff | tree |
| 2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the...
|
commit | commitdiff | tree |
| 2012-10-08 |
Morgan Deters | small fix for compat JNI library installation
|
commit | commitdiff | tree |
| 2012-10-08 |
Morgan Deters | fix SMT-LIBv2 compliance mode for bitvectors (was completely...
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | turn off cudd by default in configure script
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | * more complete support for --dump assertions:{pre...
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | * Clean up some options documentation
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | * Some documentation about building compatibility and...
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | * Include a few bug testcases for resolved bugs.
|
commit | commitdiff | tree |
| 2012-10-06 |
Morgan Deters | * Fix some regressions' expected outputs.
|
commit | commitdiff | tree |
| 2012-10-05 |
Morgan Deters | fix \file
|
commit | commitdiff | tree |
| 2012-10-05 |
Morgan Deters | Bug-related:
|
commit | commitdiff | tree |
| 2012-10-04 |
Morgan Deters | disable model-generation by default in cvc3 compatibility...
|
commit | commitdiff | tree |
| 2012-10-04 |
Morgan Deters | IllegalArgumentException in java needs to be named...
|
commit | commitdiff | tree |
| 2012-10-03 |
Morgan Deters | updates to contrib scripts to match docs
|
commit | commitdiff | tree |
| 2012-10-03 |
Morgan Deters | better documentation, allow examples to be installed...
|
commit | commitdiff | tree |
| 2012-10-03 |
Morgan Deters | new README and INSTALL files
|
commit | commitdiff | tree |
| 2012-10-02 |
Morgan Deters | * re-enable some Z3 extended commands:
|
commit | commitdiff | tree |
| 2012-10-02 |
Morgan Deters | workaround for a nasty CLN bug
|
commit | commitdiff | tree |
| 2012-10-01 |
Morgan Deters | make sure to mark LogicInfo as CVC4_PUBLIC
|
commit | commitdiff | tree |
| 2012-10-01 |
Morgan Deters | fix for dejan: term ITEs now dumped correctly
|
commit | commitdiff | tree |
| 2012-09-30 |
Morgan Deters | minor changes to arithmetic assertions involving nonlinearit...
|
commit | commitdiff | tree |
| 2012-09-30 |
Morgan Deters | minor fixes to pickler (hopefully fixes Debian build...
|
commit | commitdiff | tree |
| 2012-09-30 |
Morgan Deters | release notes
|
commit | commitdiff | tree |
| 2012-09-29 |
Morgan Deters | Fix a few segfaults in driver.
|
commit | commitdiff | tree |
| 2012-09-29 |
Morgan Deters | draft RELEASE-NOTES file, and minor release stuff
|
commit | commitdiff | tree |
| 2012-09-29 |
Morgan Deters | fixes to "make distclean" and C compatibility bindings...
|
commit | commitdiff | tree |
| 2012-09-29 |
Morgan Deters | fixes to "make distclean" and C compatibility bindings...
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | fix distribution of cvc4_assert.i
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | fixes for compatibility (i.e., CVC3) Java bindings
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | some fixes to build system
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | fix production-build linking error
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | Public interface review items:
|
commit | commitdiff | tree |
| 2012-09-28 |
Morgan Deters | * fix compatibility library naming for SMT-LIBv1
|
commit | commitdiff | tree |
| 2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1
|
commit | commitdiff | tree |
| 2012-09-27 |
Morgan Deters | finally, a portable solution
|
commit | commitdiff | tree |
| 2012-09-27 |
Morgan Deters | fix for non-Mac
|
commit | commitdiff | tree |
| 2012-09-27 |
Morgan Deters | speed up mkoptions script (esp. on Macs)
|
commit | commitdiff | tree |
| 2012-09-27 |
Morgan Deters | better progress indicator for mkoptions
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search