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 e78beec4070e8cc568124d2b0af0939b33c6c03d (commit)
from 65441a5decf5f369a7fc685d224ddeba7824e4f7 (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 e78beec4070e8cc568124d2b0af0939b33c6c03d
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 1 18:53:21 2013 -0700
Preclude adding class invariant checks for 'is pure' methods.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 5 ++-
pcontracts/include/ContractComment.hpp | 19 +++++++++-
pcontracts/src/contracts/ContractsProcessor.cpp | 7 +++-
pcontracts/src/examples/Knapsack-v2.cpp | 35 ++++---------------
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 1 -
.../data/RoutineInstrumenter/Knapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.checks | 4 +-
.../data/VisitInstrumenter/Knapsack-v2.checks | 4 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 4 +-
9 files changed, 42 insertions(+), 41 deletions(-)
hooks/post-receive
--
compose-hpc
|
