| 2012-12-06 |
Morgan Deters | * tuple and record support in compatibility library
|
commit | commitdiff | tree |
| 2012-12-06 |
Morgan Deters | * some build fixes; thanks; thanks to Kunal Ganeshpure...
|
commit | commitdiff | tree |
| 2012-12-03 |
Morgan Deters | distribute the find_public_interface.sh script
|
commit | commitdiff | tree |
| 2012-12-03 |
Morgan Deters | version numbering
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | Cutting release 1.0.
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | fix cut-release sanity checks
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | fix to TNode assertion (which is too strict, given...
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | remove instantiator framework
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | Fix the way abstract values are typed; fixes some compliance...
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | fix memory corruption issue in debug builds that led...
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | remove an obsolete (and incorrect) assertion in boolean...
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | fix java system test dependences
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | Some fixes for boolean arrays
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | fix #line annotation warning
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | updated examples
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | another part of last commit
|
commit | commitdiff | tree |
| 2012-12-01 |
Morgan Deters | definition-expansion fixed for get-model, resolves...
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | all API examples now have java versions too; bitvectors...
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | incorporating some comments from Clark
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | renaming --smtlib to --smtlib-strict; removing --smtlib2...
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | internal variables (skolems) aren't printed as part...
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | change detection/handling of output language more reasonably...
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | Partial fix for bug 435; still needs some effort.
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | Add some regressions for bug 438.
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | fix rewrite-rules syntax in regression
|
commit | commitdiff | tree |
| 2012-11-30 |
Morgan Deters | minor fix to release script
|
commit | commitdiff | tree |
| 2012-11-29 |
Morgan Deters | Fix for hidden symbols in library on Mac. It's a strange...
|
commit | commitdiff | tree |
| 2012-11-29 |
Morgan Deters | fix for andy: boolean terms stuff really shouldn't...
|
commit | commitdiff | tree |
| 2012-11-29 |
Morgan Deters | minor documentation fix
|
commit | commitdiff | tree |
| 2012-11-29 |
Morgan Deters | svn:ignore property
|
commit | commitdiff | tree |
| 2012-11-28 |
Morgan Deters | Attempted "quick-fix" for QF_UF performance regression...
|
commit | commitdiff | tree |
| 2012-11-28 |
Morgan Deters | update to release notes
|
commit | commitdiff | tree |
| 2012-11-28 |
Morgan Deters | Bug fix:
|
commit | commitdiff | tree |
| 2012-11-28 |
Morgan Deters | fix: correct misleading comment in dump output
|
commit | commitdiff | tree |
| 2012-11-27 |
Morgan Deters | Functions and predicates over Boolean now work with...
|
commit | commitdiff | tree |
| 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 |
| next |
projects / cvc5.git / search