| 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 |
| 2012-09-26 |
Morgan Deters | disable building of cvc3_george system-test object...
|
commit | commitdiff | tree |
| 2012-09-26 |
Morgan Deters | Finish off SEXPR kind work.
|
commit | commitdiff | tree |
| 2012-09-26 |
Morgan Deters | Fix a handful of things for Mac, and Java bindings.
|
commit | commitdiff | tree |
| 2012-09-26 |
Morgan Deters | bug #398 test (bug was resolved last night), and a...
|
commit | commitdiff | tree |
| 2012-09-26 |
Morgan Deters | Fix type checking for define-funs (resolves bug 398).
|
commit | commitdiff | tree |
| 2012-09-26 |
Morgan Deters | The Tuesday Afternoon Catch-All Commit (TACAC):
|
commit | commitdiff | tree |
| 2012-09-25 |
Morgan Deters | fix
|
commit | commitdiff | tree |
| 2012-09-25 |
Morgan Deters | fix some Mac issues
|
commit | commitdiff | tree |
| 2012-09-25 |
Morgan Deters | some buggy examples for incrementality, and make bug326...
|
commit | commitdiff | tree |
| 2012-09-24 |
Morgan Deters | Fix the memout issue seen in recent nightly regressions...
|
commit | commitdiff | tree |
| 2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces...
|
commit | commitdiff | tree |
| 2012-09-21 |
Morgan Deters | Fixes for datatype dumping and printing. Add a new...
|
commit | commitdiff | tree |
| 2012-09-21 |
Morgan Deters | SMT-LIBv2 compliance updates:
|
commit | commitdiff | tree |
| 2012-09-21 |
Morgan Deters | better verbosity support (so it's sensible when the...
|
commit | commitdiff | tree |
| 2012-09-20 |
Morgan Deters | map C++ exceptions to Java exceptions correctly when...
|
commit | commitdiff | tree |
| 2012-09-20 |
Morgan Deters | some bugfixes that come as a result of debugging some...
|
commit | commitdiff | tree |
| 2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,...
|
commit | commitdiff | tree |
| 2012-09-19 |
Morgan Deters | fix subtle bug in NodeValue::toStream()
|
commit | commitdiff | tree |
| 2012-09-18 |
Morgan Deters | SMT-LIBv2 compliance regarding outputting "unknown".
|
commit | commitdiff | tree |
| 2012-09-17 |
Morgan Deters | speed up option-file generation on Mac OS by an order...
|
commit | commitdiff | tree |
| 2012-09-17 |
Morgan Deters | more bindings fixes
|
commit | commitdiff | tree |
| 2012-09-16 |
Morgan Deters | enable bug regression for bug 382
|
commit | commitdiff | tree |
| 2012-09-15 |
Morgan Deters | minor interface improvements, compliance fixes
|
commit | commitdiff | tree |
| 2012-09-15 |
Morgan Deters | another bindings fix (should fix debian build)
|
commit | commitdiff | tree |
| 2012-09-15 |
Morgan Deters | bug testcase for model generation
|
commit | commitdiff | tree |
| 2012-09-14 |
Morgan Deters | a fix for the java bindings for wei
|
commit | commitdiff | tree |
| 2012-09-14 |
Morgan Deters | Fix a soundness bug reported by Matthias Weiler (had...
|
commit | commitdiff | tree |
| 2012-09-14 |
Morgan Deters | Fix a few minor issues in options processing, improving...
|
commit | commitdiff | tree |
| 2012-09-12 |
Morgan Deters | Adding model assertions after SAT responses.
|
commit | commitdiff | tree |
| 2012-09-10 |
Morgan Deters | list portfolio_util.h in Makefile, so it gets distributed...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search