| 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 |
| 2012-09-08 |
Morgan Deters | Add [*] footnotes to --help output indicating for many...
|
commit | commitdiff | tree |
| 2012-09-08 |
Morgan Deters | Some minor changes after reviewing the portfolio "unified...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | allow SmtEngine::setOption() for trace and debug tags
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | fixes to the compatibility layer; this fixes the broken...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | Remove SmtEngine::getStackLevel(), which exposed implementat...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | add --incremental to --smtlib2 compliance mode (thanks...
|
commit | commitdiff | tree |
| 2012-09-05 |
Morgan Deters | add a THANKS file for listing external source code...
|
commit | commitdiff | tree |
| 2012-09-04 |
Morgan Deters | Accepted some patches from the Multicore Programming...
|
commit | commitdiff | tree |
| 2012-08-30 |
Morgan Deters | set the default expression-printing depth to "unlimited"
|
commit | commitdiff | tree |
| 2012-08-29 |
Morgan Deters | * Numerous documentation fixes (fix doxygen warnings...
|
commit | commitdiff | tree |
| 2012-08-29 |
Morgan Deters | To the build system:
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | test summaries for automake 1.12 test harness
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fix a bug in CLN rational printing where the base was...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fix regression tests for automake 1.11 and automake...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | Improved compatibility layer, now supports quantifiers...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fixes for Mac and automake 1.12 detection
|
commit | commitdiff | tree |
| 2012-08-27 |
Morgan Deters | fix a destruction-order issue that was (1) causing...
|
commit | commitdiff | tree |
| 2012-08-27 |
Morgan Deters | * Reversing commit r4258 (which disabled failing regressions...
|
commit | commitdiff | tree |
| 2012-08-25 |
Morgan Deters | fix unit tests
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkolem())
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | disallow assertions to inactive theories.
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix TheoryEngine::collectModelInfo() to only call collectMod...
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix warning in arrays rewriter
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix get-value output in a couple ways; this fixes bug...
|
commit | commitdiff | tree |
| 2012-08-23 |
Morgan Deters | attribute stuff for Clark's array constants
|
commit | commitdiff | tree |
| 2012-08-22 |
Morgan Deters | Cap finite cardinalities at 2^64, as discussed in the...
|
commit | commitdiff | tree |
| 2012-08-22 |
Morgan Deters | fix some build dependencies in options-building; should...
|
commit | commitdiff | tree |
| 2012-08-21 |
Morgan Deters | add some incremental in-tree regressions
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | remove duplicate function TheoryEngine::getTheory(TheoryId...
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | removing v1l20009.cvc, a datatypes benchmark where...
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | minor cleanup
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | fixes for java bindings
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | The SmtEngine now ensures that setLogicInternal() is...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | Replace propagateAsDecision() with Theory::getNextDecisionRe...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | ArrayStoreAll should (for now) only allow constant...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | fix exceptions and mkConst() in java binding
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | some fixes for language bindings
|
commit | commitdiff | tree |
| 2012-08-14 |
Morgan Deters | Fixes to integer wrapper classes:
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | fix integer parsing error.. thanks dejan for the report...
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | Make a few functions in TheoryEngine (like theoryOf...
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | Minor cleanup. No performance difference expected.
|
commit | commitdiff | tree |
| 2012-08-09 |
Morgan Deters | minor isConst()-related fixes to printing; also add...
|
commit | commitdiff | tree |
| 2012-08-08 |
Morgan Deters | Fix --no-checking option.
|
commit | commitdiff | tree |
| 2012-08-08 |
Morgan Deters | Public interface review items:
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search