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

[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  a80751f418adc09279500586b3f2d27f36feb54f (commit)
       via  3b4ef5ed40ad304b13ee8a391dbc888012142b10 (commit)
       via  1d5365a6d062cbc7713eb6509116b44116592abb (commit)
       via  25a9d50e20ac63b9804f6a144f511f91c57f3264 (commit)
       via  ef71b83cf492bd7e9501b9e5a41542d377b58591 (commit)
       via  a9a59b985fe48d94b61e3c8f6229b2d3c9f0cc3c (commit)
      from  2d338fbbb79cf8a06f8ca9af84ef552d094d223e (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 a80751f418adc09279500586b3f2d27f36feb54f
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 18:55:03 2012 -0700

    Completed basic example instrumenter.
    
    The example instrumenter now includes transformations to add the requisite
    include files as well as translating check macro arguments properly and
    instrumenting source file main routines with calls to the runtime's new
    initialization and finalization routines.
    
    ROSE-related output directories are now consistent between printer and
    transformation examples.
    
    A transformation Makefile was added for the ContractsInstrumenter example
    for building, executing, and performing a very rudimentary check (just a
    comparison) of the outputs from the transformed codes.
    
    It is important to note that, at this time, there is still no connection
    between the actual assertion expressions and the resulting instrumentation.
    This is expected to be dealt with during my next project window.

commit 3b4ef5ed40ad304b13ee8a391dbc888012142b10
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 18:53:00 2012 -0700

    Added runtime support for initialization and finalization.
    
    Added routines for basic contract enforcement initializatoin and
    finalization.  Also fixed check macros.

commit 1d5365a6d062cbc7713eb6509116b44116592abb
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 18:45:50 2012 -0700

    Added basic comment heading information.

commit 25a9d50e20ac63b9804f6a144f511f91c57f3264
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 18:37:57 2012 -0700

    Added new initialization and finalization annotations

commit ef71b83cf492bd7e9501b9e5a41542d377b58591
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 17:33:18 2012 -0700

    Correction to prior commit: Ensure numbers are correct.

commit a9a59b985fe48d94b61e3c8f6229b2d3c9f0cc3c
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 17 13:14:11 2012 -0700

    Corrected enforcement call arguments and types

-----------------------------------------------------------------------

Summary of changes:
 pcontracts/examples/ContractAssertionPrinter.cpp   |   19 +-
 pcontracts/examples/ContractInstrumenter.cpp       |  323 +++++++++++++++-----
 pcontracts/examples/ContractPrinter.cpp            |   17 +-
 pcontracts/examples/Knapsack.cpp                   |    2 +
 pcontracts/examples/Makefile                       |   33 ++-
 pcontracts/examples/Makefile.trans                 |   86 ++++++
 pcontracts/examples/UnlabeledKnapsack.cpp          |    2 +
 pcontracts/examples/knapsack.c                     |    2 +
 pcontracts/examples/unlabeledknapsack.c            |    2 +
 .../src/runtime/contracts/ContractsEnforcer.c      |  104 +++++++-
 .../src/runtime/contracts/ContractsEnforcer.h      |   52 +++-
 pcontracts/src/runtime/contracts/contractMacros.h  |   11 +-
 pcontracts/src/runtime/contracts/contractOptions.h |    5 +-
 .../src/runtime/contracts/contractPrivateTypes.h   |    5 +-
 pcontracts/src/runtime/contracts/contracts.h       |    9 +-
 15 files changed, 559 insertions(+), 113 deletions(-)
 create mode 100644 pcontracts/examples/Makefile.trans


hooks/post-receive
-- 
compose-hpc