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
|
