This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".
The branch, master has been updated
via 2d338fbbb79cf8a06f8ca9af84ef552d094d223e (commit)
from d27d5b0729f50dad8647ec3b5f31b83ce279525c (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 2d338fbbb79cf8a06f8ca9af84ef552d094d223e
Author: T. Dahlgren <dah...@ll...>
Date: Fri Aug 3 18:58:32 2012 -0700
More ROSE example/background work.
Introduced a VERY preliminary contracts instrumentation example. At this
point it indiscriminately inserts the call to a macro check (but not with
valid arguments yet) for each possible clause at each possible instrumentation
site.
In addition, performed some refactoring of existing examples and fixed a
couple of minor bugs.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 6 +
pcontracts/examples/ContractAssertionPrinter.cpp | 3 +-
pcontracts/examples/ContractInstrumenter.cpp | 314 ++++++++++++++++++++
pcontracts/examples/ContractPrinter.cpp | 32 +--
pcontracts/examples/ContractPrinter.hpp | 21 +--
pcontracts/examples/Makefile | 68 ++++-
pcontracts/examples/RoseHelpers.cpp | 186 ++++++++++++
pcontracts/examples/RoseHelpers.hpp | 89 ++++++
pcontracts/examples/knapsack.c | 2 +-
pcontracts/examples/unlabeledknapsack.c | 2 +-
.../src/runtime/contracts/ContractsEnforcer.h | 24 ++
pcontracts/src/runtime/contracts/contracts.h | 13 +-
12 files changed, 700 insertions(+), 60 deletions(-)
create mode 100644 pcontracts/examples/ContractInstrumenter.cpp
create mode 100644 pcontracts/examples/RoseHelpers.cpp
create mode 100644 pcontracts/examples/RoseHelpers.hpp
hooks/post-receive
--
compose-hpc
|
