| 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 |
| 2009-11-17 |
Morgan Deters | fixes/redesign of source layout from meeting
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | another pass
|
commit | commitdiff | tree |
| 2009-11-17 |
Morgan Deters | fixes and additions
|
commit | commitdiff | tree |
| 2009-11-12 |
Morgan Deters | minor fixes
|
commit | commitdiff | tree |
| 2009-11-12 |
Morgan Deters | parser, minisat, other things..
|
commit | commitdiff | tree |
| 2009-11-09 |
Morgan Deters | minor fixes, added contrib directory
|
commit | commitdiff | tree |
| 2009-11-03 |
Morgan Deters | additional headers and modifications; now passes syntax...
|
commit | commitdiff | tree |
| 2009-11-03 |
Morgan Deters | additional headers
|
commit | commitdiff | tree |
| 2009-11-03 |
Morgan Deters | commit of project structure including autotools support
|
commit | commitdiff | tree |
| 2009-09-26 |
Morgan Deters | Initial setup of the cvc4 repository
|
commit | commitdiff | tree |
|
projects / cvc5.git / search