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

[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  f772105c7b2acf98763d54b5f542a2c9163a4e31 (commit)
       via  d75b46faebd133aa48c132403d94f42ad80df08f (commit)
       via  c97641d85235667fd73b30ec80d964c1cce08c01 (commit)
      from  917fa75f7acaa56c59aa677b4609f1311d1bf86a (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 f772105c7b2acf98763d54b5f542a2c9163a4e31
Author: T. Dahlgren <dah...@ll...>
Date:   Wed Oct 10 17:31:57 2012 -0700

    Skip invariant check generation in routines included in the invariants.
    
    In addition to excluding check generation under those conditions, updated
    todo comments for recent/today's changes.

commit d75b46faebd133aa48c132403d94f42ad80df08f
Author: T. Dahlgren <dah...@ll...>
Date:   Wed Oct 10 16:17:35 2012 -0700

    Cleaned up skipping invariants checks.

commit c97641d85235667fd73b30ec80d964c1cce08c01
Author: T. Dahlgren <dah...@ll...>
Date:   Wed Oct 10 10:24:18 2012 -0700

    Only instrument member methods with class invariants.

-----------------------------------------------------------------------

Summary of changes:
 pcontracts/examples/ContractInstrumenter.cpp |   69 ++++++++++++++++++--------
 1 files changed, 48 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
compose-hpc