| 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 |
Andrew Reynolds | updates to model generation : do not modify equality... |
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 |
Dejan Jovanović | some api changes |
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-22 |
Dejan Jovanović | another fix for the equality class iterator |
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-19 |
Dejan Jovanović | fix for bug 370. |
commit | commitdiff | tree |
| 2012-09-19 |
Dejan Jovanović | Changing the equality engines's euivalence class iterat... |
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-17 |
Andrew Reynolds | minor fix for models, added simple cliques option for... |
commit | commitdiff | tree |
| 2012-09-16 |
Morgan Deters | enable bug regression for bug 382 |
commit | commitdiff | tree |
| 2012-09-16 |
Andrew Reynolds | store values returned by get-value in TheoryModel:... |
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-13 |
Andrew Reynolds | ensure that get-value and get-model are consistent... |
commit | commitdiff | tree |
| 2012-09-12 |
Morgan Deters | Adding model assertions after SAT responses. |
commit | commitdiff | tree |
| 2012-09-11 |
Andrew Reynolds | added getCardinality to model |
commit | commitdiff | tree |
| 2012-09-11 |
Tim King | Partially reverting the changes made in 4308. There... |
commit | commitdiff | tree |
| 2012-09-10 |
Andrew Reynolds | modified getValue to return Expr instead of Node |
commit | commitdiff | tree |
| 2012-09-10 |
Tim King | Fixed an error in the rewriter Pascal pointed out.... |
commit | commitdiff | tree |
| 2012-09-10 |
Morgan Deters | list portfolio_util.h in Makefile, so it gets distribut... |
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 "unifi... |
commit | commitdiff | tree |
| 2012-09-08 |
Kshitij Bansal | Single driver for both sequential and portfolio |
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 implem... |
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-09-03 |
Andrew Reynolds | minor cleanup leftover from fmf-devel |
commit | commitdiff | tree |
| 2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
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 regres... |
commit | commitdiff | tree |
| 2012-08-26 |
Kshitij Bansal | minor, lying around in a wd (related to investigating... |
commit | commitdiff | tree |
| 2012-08-26 |
Kshitij Bansal | disabling failing regressions |
commit | commitdiff | tree |
| 2012-08-26 |
Clark Barrett | Array constants finished and working. Unit tests for... |
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 mkSkol... |
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 colle... |
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-23 |
Clark Barrett | Array constant coding done except for the attributes... |
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-22 |
Clark Barrett | More progress on array constants. |
commit | commitdiff | tree |
| 2012-08-21 |
Morgan Deters | add some incremental in-tree regressions |
commit | commitdiff | tree |
| 2012-08-21 |
François Bobot | rewriterules: fix a correction bug with --simplificatio... |
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | remove duplicate function TheoryEngine::getTheory(Theor... |
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-19 |
Clark Barrett | 1. Fix for inst_match.cpp to allow compilation on fedora |
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | The SmtEngine now ensures that setLogicInternal() is... |
commit | commitdiff | tree |
| 2012-08-16 |
Kshitij Bansal | bug 374 (was found through fuzzing 2012-07-18) |
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | Replace propagateAsDecision() with Theory::getNextDecis... |
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-14 |
Tim King | Implements TheoryArith::collectModelInfo(). The curren... |
commit | commitdiff | tree |
| 2012-08-14 |
Tim King | Adds substituteDelta() to DeltaRational which given... |
commit | commitdiff | tree |
| 2012-08-14 |
Tim King | Switched TheoryModel assertEqualityEngine to use const... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog