| 2010-03-15 |
Morgan Deters | This checkin resolves bug #57.
|
commit | commitdiff | tree |
| 2010-03-14 |
Morgan Deters | * test/unit/context/context_black.h: added a test for...
|
commit | commitdiff | tree |
| 2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterator...
|
commit | commitdiff | tree |
| 2010-03-12 |
Morgan Deters | * Added shutdown() functions to SmtEngine, TheoryEngine...
|
commit | commitdiff | tree |
| 2010-03-11 |
Morgan Deters | naive rewriting to fix minisat invariant; rewrite ...
|
commit | commitdiff | tree |
| 2010-03-10 |
Morgan Deters | fix production-build unit testing errors (they assumed...
|
commit | commitdiff | tree |
| 2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing
|
commit | commitdiff | tree |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no...
|
commit | commitdiff | tree |
| 2010-03-02 |
Morgan Deters | * NodeBuilder work: specifically, convenience builders...
|
commit | commitdiff | tree |
| 2010-02-27 |
Morgan Deters | fix compile error in black parser unit test after today...
|
commit | commitdiff | tree |
| 2010-02-27 |
Morgan Deters | A bag of unrelated fixes to bring trunk more in-line...
|
commit | commitdiff | tree |
| 2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>...
|
commit | commitdiff | tree |
| 2010-02-25 |
Morgan Deters | * src/expr/node_builder.h: fixed some overly-aggressive...
|
commit | commitdiff | tree |
| 2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | * src/expr/attribute.h: fixed an issue with "const...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefile.ams
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly:
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | resolve bug 32; public-facing interface functions in...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | fix bug 33 (statically link the "cvc4" binary); also...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | fix bug 22 (remove tracing from non-trace builds; remove...
|
commit | commitdiff | tree |
| 2010-02-19 |
Morgan Deters | specialized implementation for boolean node attributes...
|
commit | commitdiff | tree |
| 2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documentation...
|
commit | commitdiff | tree |
| 2010-02-17 |
Morgan Deters | fix bug 27: --with-cxxtest-dir=(relative-path) now...
|
commit | commitdiff | tree |
| 2010-02-10 |
Morgan Deters | note on setup(); for discussion at 2010.02.11 meeting
|
commit | commitdiff | tree |
| 2010-02-10 |
Morgan Deters | svn:ignore for build stuff; add Liana to AUTHORS
|
commit | commitdiff | tree |
| 2010-02-09 |
Morgan Deters | removing other pieces of autotools stuff to fix bug #24
|
commit | commitdiff | tree |
| 2010-02-09 |
Morgan Deters | moving built-in kinds out of the kind.h prologue/middle...
|
commit | commitdiff | tree |
| 2010-02-06 |
Morgan Deters | force sorting of AC_CONFIG_FILES, otherwise different...
|
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | final fixes to addsourcedir source-directory-Makefile...
|
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | auto-generated list of AC_CONFIG_FILES so that you...
|
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | automatic generator script for sourcedir Makefiles...
|
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | remove the last vestiges of support for "make build...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor interface changes to TheoryEngine/Theory after...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | fix run_regression script
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | assign expected-status to regressions
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | build system for multi-level regressions
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | remove warnings from use of __gnu_cxx::hash_map<>;...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | test infrastructure updated for multiple-level regressions
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor cleanup; give the main driver a different exit...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated.
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | added bool and arith theory makefiles to AC_CONFIG_FILES...
|
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | Added theory output channel interfaces and "Interrupted...
|
commit | commitdiff | tree |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system...
|
commit | commitdiff | tree |
| 2010-02-01 |
Morgan Deters | fix node manager code (bugzilla #15, comment #2) in...
|
commit | commitdiff | tree |
| 2010-01-30 |
Morgan Deters | cnf conversion (variable-introducing), cleanups, fixes...
|
commit | commitdiff | tree |
| 2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion...
|
commit | commitdiff | tree |
| 2010-01-27 |
Morgan Deters | support "make check" in src/ subdirs for unit-testing...
|
commit | commitdiff | tree |
| 2010-01-27 |
Morgan Deters | test framework fixes; bug 13 closed
|
commit | commitdiff | tree |
| 2010-01-26 |
Morgan Deters | cnf conversion
|
commit | commitdiff | tree |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes...
|
commit | commitdiff | tree |
| 2010-01-25 |
Morgan Deters | minor fixes to scoped-context node manager
|
commit | commitdiff | tree |
| 2010-01-25 |
Morgan Deters | scoped node managers
|
commit | commitdiff | tree |
| 2010-01-19 |
Morgan Deters | minor changes to Theory
|
commit | commitdiff | tree |
| 2009-12-18 |
Morgan Deters | numerous fixes to nodes; more coming
|
commit | commitdiff | tree |
| 2009-12-18 |
Morgan Deters | more build system fix-ups
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | more build system fix-ups
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates...
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | coding standard fix on SmtEngine; fix recursive make
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | + test infrastructure fixes
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | add system regression testing infrastructure
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | fix typos in Makefile.am for unit testing
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | addressed some concerns raised by Clark in bug #6 ...
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | making config/mkbuilddir executable
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | build system cleanup; test system separation into white...
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | testing infrastructure fixes
|
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., "....
|
commit | commitdiff | tree |
| 2009-12-16 |
Morgan Deters | + refactoring fixes for expr package based on code...
|
commit | commitdiff | tree |
| 2009-12-16 |
Morgan Deters | Fixes to the build system:
|
commit | commitdiff | tree |
| 2009-12-15 |
Morgan Deters | minor: fixing typos
|
commit | commitdiff | tree |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications
|
commit | commitdiff | tree |
| 2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix...
|
commit | commitdiff | tree |
| 2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert...
|
commit | commitdiff | tree |
| 2009-12-08 |
Morgan Deters | final (?) fixes to parser/generated build directory...
|
commit | commitdiff | tree |
| 2009-12-08 |
Morgan Deters | parser build fixes
|
commit | commitdiff | tree |
| 2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files...
|
commit | commitdiff | tree |
| 2009-12-08 |
Morgan Deters | broken formula
|
commit | commitdiff | tree |
| 2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support...
|
commit | commitdiff | tree |
| 2009-12-07 |
Morgan Deters | fixing a few broken build-related items, adding test...
|
commit | commitdiff | tree |
| 2009-12-07 |
Morgan Deters | big check-in of various fixes and adjustments
|
commit | commitdiff | tree |
| 2009-12-05 |
Morgan Deters | more build system work
|
commit | commitdiff | tree |
| 2009-12-04 |
Morgan Deters | more build system work
|
commit | commitdiff | tree |
| 2009-12-03 |
Morgan Deters | additional build system fixes
|
commit | commitdiff | tree |
| 2009-12-03 |
Morgan Deters | first attempt at new build system
|
commit | commitdiff | tree |
| 2009-12-03 |
Morgan Deters | parsing/expr/command/result/various other fixes
|
commit | commitdiff | tree |
| 2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build
|
commit | commitdiff | tree |
| 2009-11-24 |
Morgan Deters | oops, missed a file
|
commit | commitdiff | tree |
| 2009-11-24 |
Morgan Deters | various fixes and updates to use and support parser
|
commit | commitdiff | tree |
| 2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;...
|
commit | commitdiff | tree |
| 2009-11-23 |
Morgan Deters | fixups, file comments
|
commit | commitdiff | tree |
| 2009-11-20 |
Morgan Deters | fixes to build/test system
|
commit | commitdiff | tree |
| 2009-11-20 |
Morgan Deters | fix to expr #includes; better test-environment configuration
|
commit | commitdiff | tree |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations...
|
commit | commitdiff | tree |
| 2009-11-18 |
Morgan Deters | work on exprs, driver, util
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | ignored items
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | from meeting
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | from meeting
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | from meeting
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search