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 |