| 2012-07-31 |
Morgan Deters | Moving some instantiation-related stuff from src/theory...
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | fix some file documentation
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | Options merge. This commit:
|
commit | commitdiff | tree |
| 2012-07-27 |
Morgan Deters | Minor cleanup after today's commits:
|
commit | commitdiff | tree |
| 2012-07-26 |
Morgan Deters | Datatype enumerator work. This version is not a "fair...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | more compliance fixes for SMT-LIBv2
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | a few fixes for java system test
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | small change to model-generation function, after discussion...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | removing an obsolete assertion in model-generation...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | removing output operator for SExprTypes, which is never...
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | SMT-LIBv2 compliance updates:
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | fix for --produce-models with CVC4 presentation language
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | fix an obvious oversight: "distinct" wasn't part of...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | now passes "make distcheck", which does important checks...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | fix compiler warning in unit test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | stronger two_smt_engines test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | fix inadvertent change to system test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | Support for having two SmtEngines with the same ExprManager.
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | found a bug in the initialization order of UF, EqualityEngin...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | reverse the order of link arguments to -lcln -lgmp...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | Type enumerator infrastructure and uninterpreted constant...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | Applying Dejan's patch for bug #369, which resolves...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | fixing make dist
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | fix a warning in unit test compilation
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | svn ignore
|
commit | commitdiff | tree |
| 2012-07-10 |
Morgan Deters | svn ingore
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | minor fix-ups
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | fix portfolio build
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | fix eXecutable bit on a script
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | minor SMT-LIBv2 compliance issues
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | remove a debugging line from configure script that...
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | another signed-ness warning fix for newer GCC
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | Minor changes to avoid some warnings on GCC 4.7.1 ...
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364...
|
commit | commitdiff | tree |
| 2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete...
|
commit | commitdiff | tree |
| 2012-07-01 |
Morgan Deters | Some changes to configure.ac:
|
commit | commitdiff | tree |
| 2012-06-28 |
Morgan Deters | svn:ignore
|
commit | commitdiff | tree |
| 2012-06-28 |
Morgan Deters | fix a link error on church, due to Antlr #defining...
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | qf_lra strategy
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | another qf_lra strategy update
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | unnecessary ^ in regular expression; warning produced...
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | QF_LRA strategy in run script, now final (?) for smt...
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | final sources (?) for competition
|
commit | commitdiff | tree |
| 2012-06-18 |
Morgan Deters | Fixing bug 360. The driver wasn't exiting when there...
|
commit | commitdiff | tree |
| 2012-06-16 |
Morgan Deters | updated build script for smt-comp submission
|
commit | commitdiff | tree |
| 2012-06-14 |
Morgan Deters | don't run rewriterules regressions by default; fixes...
|
commit | commitdiff | tree |
| 2012-06-14 |
Morgan Deters | some changes to make CVC4 work nicely with trace executor...
|
commit | commitdiff | tree |
| 2012-06-14 |
Morgan Deters | making --simplification=none the default for quantified...
|
commit | commitdiff | tree |
| 2012-06-14 |
Morgan Deters | The "no-tears-in-competition-mode" commit. Change...
|
commit | commitdiff | tree |
| 2012-06-14 |
Morgan Deters | bug 346 resolved
|
commit | commitdiff | tree |
| 2012-06-13 |
Morgan Deters | adding some regressions to the usual regressions runs...
|
commit | commitdiff | tree |
| 2012-06-13 |
Morgan Deters | revisions to the "make submission" target
|
commit | commitdiff | tree |
| 2012-06-13 |
Morgan Deters | Don't use the "inlined" feature of ANTLR 3.2, which...
|
commit | commitdiff | tree |
| 2012-06-12 |
Morgan Deters | Fix some compile warnings (but they never showed up...
|
commit | commitdiff | tree |
| 2012-06-12 |
Morgan Deters | Fix to SMT-LIBv1 parser: QF_UF declares sort "U", but...
|
commit | commitdiff | tree |
| 2012-06-12 |
Morgan Deters | minor cleanup, and replace a "private:" in equality...
|
commit | commitdiff | tree |
| 2012-06-12 |
Morgan Deters | fix a few compatibility bindings issues
|
commit | commitdiff | tree |
| 2012-06-12 |
Morgan Deters | fix ordering issue of --dump-to and --default-dag-thresh...
|
commit | commitdiff | tree |
| 2012-06-11 |
Morgan Deters | mark a quantifiers global var as "static" so we can...
|
commit | commitdiff | tree |
| 2012-06-11 |
Morgan Deters | distribute an .expect file. fixes a "make check" failure...
|
commit | commitdiff | tree |
| 2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch.
|
commit | commitdiff | tree |
| 2012-06-11 |
Morgan Deters | fix issue referred to in bug 352 regarding infinite...
|
commit | commitdiff | tree |
| 2012-06-09 |
Morgan Deters | Cleanup and comments for the dag-ifier. Also some...
|
commit | commitdiff | tree |
| 2012-06-09 |
Morgan Deters | Dagification of output expressions.
|
commit | commitdiff | tree |
| 2012-06-08 |
Morgan Deters | The option --arith-presolve-lemmas had previously been...
|
commit | commitdiff | tree |
| 2012-06-08 |
Morgan Deters | Extend Printer infrastructure also to the "Result"...
|
commit | commitdiff | tree |
| 2012-06-08 |
Morgan Deters | minor fixes, for Mac OS
|
commit | commitdiff | tree |
| 2012-06-08 |
Morgan Deters | Fix SMT-LIBv2 ALL_SUPPORTED logic inference (by inferring...
|
commit | commitdiff | tree |
| 2012-06-07 |
Morgan Deters | LogicInfo locking implemented, and some initialization...
|
commit | commitdiff | tree |
| 2012-06-07 |
Morgan Deters | Adding EchoCommand and associated printer and parser...
|
commit | commitdiff | tree |
| 2012-06-06 |
Morgan Deters | removing std::cout from trunk
|
commit | commitdiff | tree |
| 2012-06-06 |
Morgan Deters | also remove now-incorrect comment from makefile
|
commit | commitdiff | tree |
| 2012-06-06 |
Morgan Deters | unconstrained regressions are now run with "make check...
|
commit | commitdiff | tree |
| 2012-06-06 |
Morgan Deters | Fixing numerous issues with tests and "make dist":
|
commit | commitdiff | tree |
| 2012-06-01 |
Morgan Deters | add a global user-context push/pop in smt engine, just...
|
commit | commitdiff | tree |
| 2012-05-31 |
Morgan Deters | svn:ignore a parallel-tests driver file that automake...
|
commit | commitdiff | tree |
| 2012-05-31 |
Morgan Deters | pass JAVA_CPPFLAGS properly
|
commit | commitdiff | tree |
| 2012-05-30 |
Morgan Deters | remove unused/broken check build target
|
commit | commitdiff | tree |
| 2012-05-29 |
Morgan Deters | removing now-unused TheoryEngine::setLogic() interface...
|
commit | commitdiff | tree |
| 2012-05-21 |
Morgan Deters | main() no longer catches non-CVC4 exceptions. This...
|
commit | commitdiff | tree |
| 2012-05-17 |
Morgan Deters | Fixing an issue with LogicInfo::isPure() that turned...
|
commit | commitdiff | tree |
| 2012-05-16 |
Morgan Deters | Fixing C compatibility library (it still had a reference...
|
commit | commitdiff | tree |
| 2012-05-15 |
Morgan Deters | Implement TypeNode::isComparableTo() and add a unit...
|
commit | commitdiff | tree |
| 2012-05-15 |
Morgan Deters | removing all extended commands (as inspired by the...
|
commit | commitdiff | tree |
| 2012-05-15 |
Morgan Deters | Fix QF_AUFLIA (resolves bug #331).
|
commit | commitdiff | tree |
| 2012-05-14 |
Morgan Deters | in debug builds, -d can be used for trace tags that...
|
commit | commitdiff | tree |
| 2012-05-11 |
Morgan Deters | fix regex in Debug_tags and Trace_tags generation for...
|
commit | commitdiff | tree |
| 2012-05-11 |
Morgan Deters | fix typo in sed line
|
commit | commitdiff | tree |
| 2012-05-11 |
Morgan Deters | output a warning message when a function type (or datatype...
|
commit | commitdiff | tree |
| 2012-05-09 |
Morgan Deters | fix an issue which breaks language bindings (so this...
|
commit | commitdiff | tree |
| 2012-05-09 |
Morgan Deters | --disable-tracing at configure time now disables Trace...
|
commit | commitdiff | tree |
| 2012-04-28 |
Morgan Deters | New LogicInfo functionality.
|
commit | commitdiff | tree |
| 2012-04-28 |
Morgan Deters | require boost library (but not the threading support...
|
commit | commitdiff | tree |
| 2012-04-28 |
Morgan Deters | undo, again
|
commit | commitdiff | tree |
| 2012-04-28 |
Morgan Deters | adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to...
|
commit | commitdiff | tree |
| 2012-04-27 |
Morgan Deters | undo previous commit (as it will break a number of...
|
commit | commitdiff | tree |
| 2012-04-27 |
Morgan Deters | adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to...
|
commit | commitdiff | tree |
| 2012-04-27 |
Morgan Deters | fix parser logic-handling oversights: QF_UFBV should...
|
commit | commitdiff | tree |
| 2012-04-27 |
Morgan Deters | break dependence on zlib-dev for now
|
commit | commitdiff | tree |
| 2012-04-13 |
Morgan Deters | Fix SExpr name qualification for swig, and #include...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search