|
From: T. D. <tld...@us...> - 2012-10-10 00:12:58
|
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 917fa75f7acaa56c59aa677b4609f1311d1bf86a (commit)
via 855a1c3fa2f66127155a56b39411b2f34ba8654b (commit)
from 57bb349e94005b695155c55e7d952b2c5d1364c9 (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 917fa75f7acaa56c59aa677b4609f1311d1bf86a
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 9 17:07:23 2012 -0700
Change enforcement library calls to macros with optional definitions.
Per Ben's request, key enforcement library calls now have macros used
in instrumentation so generated code can be compiled with -DPAUL_CONTRACTS
to use the library or not include the define to skip enforcement calls.
commit 855a1c3fa2f66127155a56b39411b2f34ba8654b
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 9 15:50:24 2012 -0700
Updated TODO to reflect future work and presentation feedback.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 31 +++++++++----------
pcontracts/WARNING | 4 +-
pcontracts/examples/ContractInstrumenter.cpp | 11 ++----
pcontracts/examples/Makefile | 2 +-
pcontracts/examples/Makefile.trans | 4 ++-
.../src/runtime/contracts/ContractsEnforcer.h | 16 +++++++++-
6 files changed, 40 insertions(+), 28 deletions(-)
hooks/post-receive
--
compose-hpc
|