From: T. D. <tld...@us...> - 2012-07-07 00:52:15
|
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 c2de51ccacc1f3cc8f2660b8672408115e5eb6ae (commit) via 815294e958b2e5cbc6068fc30a8c501f5e33e8d4 (commit) via aab274cea17d9542636ce70437c7c1d4c5ecdb3e (commit) via b43b00b2a8b62c23fdb917ec7c5e106900b2376f (commit) via 684b123f10df2f65f514b8a35b730bf54b79dcf9 (commit) via f256eb2cf516699a8a8d52a277b94410b75ef6af (commit) via dc0467e54484c2e3a4e479760c60fb6b50399275 (commit) via 127122e6d939a392c8d8d9ab9fd6e9ee93d48080 (commit) from 8c698edeec063e320765f7400cee1ecb3b72825f (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 c2de51ccacc1f3cc8f2660b8672408115e5eb6ae Merge: 815294e 8c698ed Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 17:50:54 2012 -0700 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit 815294e958b2e5cbc6068fc30a8c501f5e33e8d4 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 17:49:20 2012 -0700 Need to include (hacked) changes to the original. commit aab274cea17d9542636ce70437c7c1d4c5ecdb3e Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 17:48:41 2012 -0700 Added another example, albeit a bit of a hack at this point. commit b43b00b2a8b62c23fdb917ec7c5e106900b2376f Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 17:48:35 2012 -0700 Added another example, albeit a bit of a hack at this point. commit 684b123f10df2f65f514b8a35b730bf54b79dcf9 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 16:09:05 2012 -0700 Minor tweaks to example source. commit f256eb2cf516699a8a8d52a277b94410b75ef6af Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 16:08:15 2012 -0700 Example illustrating use of basic ROSE features to identify contract clause structured comments. commit dc0467e54484c2e3a4e479760c60fb6b50399275 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 13:51:19 2012 -0700 Contract comments will be placed in the source, not header, file (at least for now). commit 127122e6d939a392c8d8d9ab9fd6e9ee93d48080 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 6 13:44:27 2012 -0700 Minor corrections (documentation, comments) ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 4 +- pcontracts/examples/ContractAssertionPrinter.cpp | 182 ++++++++++++++++++++ pcontracts/examples/ContractAssertionPrinter.hpp | 40 +++++ pcontracts/examples/ContractPrinter.cpp | 138 +++++++++++++++ pcontracts/examples/ContractPrinter.hpp | 59 +++++++ pcontracts/examples/Knapsack.cpp | 28 +-- pcontracts/examples/Knapsack.hpp | 7 - pcontracts/examples/Makefile | 79 ++++++++- pcontracts/examples/knapsack.c | 3 + .../src/runtime/contracts/ContractsEnforcer.c | 2 +- pcontracts/src/runtime/contracts/contractOptions.h | 2 +- pcontracts/src/runtime/contracts/contracts.h | 2 +- 12 files changed, 506 insertions(+), 40 deletions(-) create mode 100644 pcontracts/examples/ContractAssertionPrinter.cpp create mode 100644 pcontracts/examples/ContractAssertionPrinter.hpp create mode 100644 pcontracts/examples/ContractPrinter.cpp create mode 100644 pcontracts/examples/ContractPrinter.hpp hooks/post-receive -- compose-hpc |