[COMPOSE-HPC-Commits] compose-hpc branch master updated. e78beec4070e8cc568124d2b0af0939b33c6c03d

[T. D. <tld...@us...>]

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