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

[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  4ccdcd55a0f93b18ad9186ac8a2febd667517da4 (commit)
       via  430f7ac159de0578ddf34c9379280ca15bc2d4f4 (commit)
      from  4f3b26f9d5408a579309496e2a9647110881e774 (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 4ccdcd55a0f93b18ad9186ac8a2febd667517da4
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 9 19:25:58 2013 -0700

    Cleaned, corrected, and enhanced tests associated with partial enforcement.

commit 430f7ac159de0578ddf34c9379280ca15bc2d4f4
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 2 19:08:30 2013 -0700

    Snapshot of preliminary configuration file support.

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

Summary of changes:
 pcontracts/TODO                               |   17 ++-
 pcontracts/src/examples/UnlabeledKnapsack.cpp |    4 +-
 pcontracts/src/runtime/ContractsEnforcer.c    |  199 ++++++++++++++++++++++---
 pcontracts/src/runtime/Makefile               |   16 ++-
 pcontracts/src/runtime/contractPrivateTypes.h |    5 +-
 pcontracts/src/tests/Makefile                 |    2 +-
 pcontracts/src/tests/testContractsEnforcer.c  |   49 +++---
 7 files changed, 233 insertions(+), 59 deletions(-)


hooks/post-receive
-- 
compose-hpc