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
|
