[COMPOSE-HPC-Commits] compose-hpc branch master updated. 2d338fbbb79cf8a06f8ca9af84ef552d094d223e

[T. D. <tld...@us...>]

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