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

[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  db1f8a9fa25b079dd9556014fc974c9aba5f95b4 (commit)
       via  0baba6b8da7abb75316b99566f70990deabbbc64 (commit)
      from  434adbf0dd9c9c8e54a12d7fe352d083622d969f (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 db1f8a9fa25b079dd9556014fc974c9aba5f95b4
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 23 19:31:12 2013 -0700

    Preliminary (but untested) support for STATS annotations.
    
    Added most infrastructure for STATS but needs testing.

commit 0baba6b8da7abb75316b99566f70990deabbbc64
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 23 18:18:57 2013 -0700

    Enabled enforcement configuration file support and added termination option.
    
    Commented out definition requirement for enabling new enforcement configuration
    file support.
    
    Added option for disabling program termination upon detection of a contract
    violation.  Support for the option is through the optional configuration file
    (not contract annotations).
    
    Added descriptions of each field in the configuration file to the
    documentation.

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

Summary of changes:
 pcontracts/TODO                                 |    7 +-
 pcontracts/src/examples/AssertionExpression.hpp |    5 +
 pcontracts/src/examples/ContractComment.hpp     |   41 ++++++--
 pcontracts/src/examples/ContractsProcessor.cpp  |   98 ++++++++++++++++---
 pcontracts/src/examples/ContractsProcessor.hpp  |    6 +-
 pcontracts/src/examples/helloworld-v2.cc        |    1 +
 pcontracts/src/examples/helloworld-v3.cc        |    4 +
 pcontracts/src/examples/helloworld.cc           |    1 +
 pcontracts/src/examples/helloworld.config       |    2 +-
 pcontracts/src/runtime/ContractsEnforcer.c      |  119 +++++++++++++++++------
 pcontracts/src/runtime/ContractsEnforcer.h      |   44 ++++++++-
 pcontracts/src/runtime/Makefile                 |   13 ++-
 pcontracts/src/tests/testContractsEnforcer.c    |    5 +-
 13 files changed, 276 insertions(+), 70 deletions(-)


hooks/post-receive
-- 
compose-hpc