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

[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  d04233a4e1d6c85c53fb9de92d617d7f47ac4265 (commit)
      from  66869c89767344f8ad27f6fa6cb4ecf279fe0d25 (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 d04233a4e1d6c85c53fb9de92d617d7f47ac4265
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Apr 16 19:43:30 2013 -0700

    Addressed ASSERT instrumentation and short-circuited clause processing.
    
    Corrected the ordering of instrumented ASSERT checks when there are
    multiple assertion expressions in the "clause".
    
    Also reduced visitor processing of contract comments by limiting it
    to the "first" time a line is processed (since that is the node
    with the associated comments).
    
    Unfortunately, have not been able to determine why the helloworld-v2.cpp
    file's FINAL comment (associated with a "return 0;" statement) does not
    appear to be handed to the visitor.

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

Summary of changes:
 pcontracts/src/examples/ContractsProcessor.cpp     |   47 ++++++++++----------
 .../src/examples/VisitContractsInstrumenter.cpp    |   37 +++++++++++----
 .../src/examples/VisitContractsInstrumenter.hpp    |   20 +++++---
 3 files changed, 63 insertions(+), 41 deletions(-)


hooks/post-receive
-- 
compose-hpc