| 2011-09-18 |
Morgan Deters | cleaned up the mechanism for library versioning
|
commit | commitdiff | tree |
| 2011-09-17 |
Morgan Deters | --show-debug-tags and --show-trace-tags now supported...
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | dump define-funs correctly with "--dump declarations...
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | include example theory (former "UF-Tim") that's included...
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | final(?) documentation fixes
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix up more documentation
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | some minor fixes to the cvc3 compatibility library...
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | new, improved doxygen config file
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix serious issue with copyright-updating script
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix numerous documentation issues; doxygen complains...
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix an oversight in the language printers
|
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope)
|
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | this should fix the build; doxygen documentation now...
|
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | Disable a warning to address bug 277. (This doesn...
|
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes:
|
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Ensure that assignment gestures through CDMap iterators...
|
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B...
|
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | forgot to reflect naming change in makefile. fixed
|
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | fix bug 272, array unsoundness, and some array cleanup
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | remove some array regressions from "make check" so...
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | status of examples
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | new array bugs ?
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | fixing out of place typename (error on g++ 4.4.3-4ubuntu5)
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | submission script
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | fix some confusing debug output (bogus counter)
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | mark the new minimized benchmark as unsat
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | if running in QF_AX, equalities over terms of uninterpreted...
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | minimized example
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | array benchmarks
|
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | merge from symmetry branch
|
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | fix submission makefile
|
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | minor fixups
|
commit | commitdiff | tree |
| 2011-07-07 |
Morgan Deters | cudd-building prefs with --with-cudd / --without-cudd
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | Allow (- x) for unary minus in SMT-LIBv1, in addition...
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | only use theory registration if (1) a theory requests...
|
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | some things I had laying around in a directory but...
|
commit | commitdiff | tree |
| 2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15:
|
commit | commitdiff | tree |
| 2011-06-06 |
Morgan Deters | compilation fix for x86 (from previous commit)
|
commit | commitdiff | tree |
| 2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably...
|
commit | commitdiff | tree |
| 2011-06-03 |
Morgan Deters | datatypes work
|
commit | commitdiff | tree |
| 2011-06-02 |
Morgan Deters | minor fix to build system for system tests
|
commit | commitdiff | tree |
| 2011-06-01 |
Morgan Deters | minor fix, and better output for type errors
|
commit | commitdiff | tree |
| 2011-06-01 |
Morgan Deters | type ascriptions (casts) for parameterized datatypes...
|
commit | commitdiff | tree |
| 2011-05-28 |
Morgan Deters | fix unit test linking issue
|
commit | commitdiff | tree |
| 2011-05-28 |
Morgan Deters | include subversion information used for each build...
|
commit | commitdiff | tree |
| 2011-05-26 |
Morgan Deters | apply arithmetic static learner's miplibtrick in a...
|
commit | commitdiff | tree |
| 2011-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups
|
commit | commitdiff | tree |
| 2011-05-23 |
Morgan Deters | Merge from arrays2 branch.
|
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | fix production-build compiler warning
|
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | re-add a removed Datatype constructor that was causing...
|
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | reverting node manager change from 1881; also part...
|
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameterized...
|
commit | commitdiff | tree |
| 2011-05-13 |
Morgan Deters | * fix for Mac OS (includes some ThreadLocal stuff copied...
|
commit | commitdiff | tree |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch:
|
commit | commitdiff | tree |
| 2011-05-05 |
Morgan Deters | luby sequence generator; can use to plot MiniSat's...
|
commit | commitdiff | tree |
| 2011-05-04 |
Morgan Deters | Stronger support for zero-performance-penalty output...
|
commit | commitdiff | tree |
| 2011-05-03 |
Morgan Deters | output fixes for performance
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | fix for configure
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | adding some previously-failing "bug" test cases for...
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | more minor fixes related to last few commits
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | another small fix
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | fix broken build; sorry, all!
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | fix a performance issue from last commit
|
commit | commitdiff | tree |
| 2011-05-02 |
Morgan Deters | Minor fixes to various parts of CVC4, including the...
|
commit | commitdiff | tree |
| 2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in...
|
commit | commitdiff | tree |
| 2011-04-25 |
Morgan Deters | Monday tasks:
|
commit | commitdiff | tree |
| 2011-04-25 |
Morgan Deters | small unit test fix; was broken only in non-assertion...
|
commit | commitdiff | tree |
| 2011-04-25 |
Morgan Deters | Weekend work. The main points:
|
commit | commitdiff | tree |
| 2011-04-23 |
Morgan Deters | fix for parser/tests for ANTLR 3.2 (it was working...
|
commit | commitdiff | tree |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation...
|
commit | commitdiff | tree |
| 2011-04-23 |
Morgan Deters | make run_regression script robust to DOS newlines :(
|
commit | commitdiff | tree |
| 2011-04-22 |
Morgan Deters | fix to last commit
|
commit | commitdiff | tree |
| 2011-04-22 |
Morgan Deters | Fixing SmtEngine::getValue() by adding a NodeManagerScope...
|
commit | commitdiff | tree |
| 2011-04-20 |
Morgan Deters | numerous bugfixes
|
commit | commitdiff | tree |
| 2011-04-20 |
Morgan Deters | incorrect usage of C++ std::string caused a test to...
|
commit | commitdiff | tree |
| 2011-04-20 |
Morgan Deters | Minor mixed-bag commit. Expected performance impact...
|
commit | commitdiff | tree |
| 2011-04-20 |
Morgan Deters | Tuesday end-of-day commit.
|
commit | commitdiff | tree |
| 2011-04-18 |
Morgan Deters | more work on CVC language
|
commit | commitdiff | tree |
| 2011-04-18 |
Morgan Deters | mostly CVC presentation language parsing and printing
|
commit | commitdiff | tree |
| 2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch:
|
commit | commitdiff | tree |
| 2011-04-16 |
Morgan Deters | also a fix for a system test related to ParserBuilder
|
commit | commitdiff | tree |
| 2011-04-16 |
Morgan Deters | unit test fixes for new NodeManager constructor (related...
|
commit | commitdiff | tree |
| 2011-04-15 |
Morgan Deters | parser/driver fixes for last commit
|
commit | commitdiff | tree |
| 2011-04-15 |
Morgan Deters | partial merge from portfolio branch, adding conversions...
|
commit | commitdiff | tree |
| 2011-04-14 |
Morgan Deters | Three things:
|
commit | commitdiff | tree |
| 2011-04-13 |
Morgan Deters | fix compiler warning in non-replay builds
|
commit | commitdiff | tree |
| 2011-04-13 |
Morgan Deters | cache the LET rewriting (and defined-function expansion...
|
commit | commitdiff | tree |
| 2011-04-13 |
Morgan Deters | add disequality token ("/=") and rules to CVC parser
|
commit | commitdiff | tree |
| 2011-04-12 |
Morgan Deters | another small fix to "make dist" that can lead to a...
|
commit | commitdiff | tree |
| 2011-04-11 |
Morgan Deters | fix "make dist" issues in makefiles
|
commit | commitdiff | tree |
| 2011-04-10 |
Morgan Deters | merge from replay branch
|
commit | commitdiff | tree |
| 2011-04-10 |
Morgan Deters | Add -lprofiler when --with-google-perftools is offered...
|
commit | commitdiff | tree |
| 2011-04-05 |
Morgan Deters | Memory fix for congruence closure; affects many UF...
|
commit | commitdiff | tree |
| 2011-04-05 |
Morgan Deters | Minor adjustments to the Registrar commit in 1644,...
|
commit | commitdiff | tree |
| 2011-04-04 |
Morgan Deters | Add documentation to Node and TNode (closes bug #201).
|
commit | commitdiff | tree |
| 2011-04-02 |
Morgan Deters | with --with-google-perftools, don't just take it on...
|
commit | commitdiff | tree |
| 2011-04-02 |
Morgan Deters | minor fixes
|
commit | commitdiff | tree |
| 2011-04-01 |
Morgan Deters | minor bugfixes (fixes broken dynamic-library build...
|
commit | commitdiff | tree |
| 2011-04-01 |
Morgan Deters | documentation fix
|
commit | commitdiff | tree |
| 2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search