From: T. D. <tld...@us...> - 2012-07-21 00:30:44
|
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 ab7591c3a5ff2a19200236ccfa3c7b40083003d8 (commit) via 902f9ef6c25eebb0ffd94b2989f60dc3c97f898b (commit) from ba56b02ed13a9f20ee7ca8df05c36360d654a0b6 (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 ab7591c3a5ff2a19200236ccfa3c7b40083003d8 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 20 17:29:16 2012 -0700 Rose example refinements. commit 902f9ef6c25eebb0ffd94b2989f60dc3c97f898b Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 20 17:28:26 2012 -0700 Adding new examples with contract annotations to illustrate optional labels. ----------------------------------------------------------------------- Summary of changes: pcontracts/README | 6 +- pcontracts/examples/ContractAssertionPrinter.cpp | 181 +++++++++++++++----- pcontracts/examples/ContractAssertionPrinter.hpp | 3 +- pcontracts/examples/ContractPrinter.cpp | 8 +- pcontracts/examples/ContractPrinter.hpp | 39 ++--- pcontracts/examples/Knapsack.cpp | 17 +- pcontracts/examples/Makefile | 105 +++++++++--- .../{Knapsack.cpp => UnlabeledKnapsack.cpp} | 85 +++++----- .../{Knapsack.hpp => UnlabeledKnapsack.hpp} | 21 ++- pcontracts/examples/knapsack.c | 10 +- .../examples/{knapsack.c => unlabeledknapsack.c} | 22 +-- 11 files changed, 322 insertions(+), 175 deletions(-) copy pcontracts/examples/{Knapsack.cpp => UnlabeledKnapsack.cpp} (79%) copy pcontracts/examples/{Knapsack.hpp => UnlabeledKnapsack.hpp} (83%) copy pcontracts/examples/{knapsack.c => unlabeledknapsack.c} (85%) hooks/post-receive -- compose-hpc |