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

[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  6d7fececd831ea798898ee62e03cb86b177ed64d (commit)
       via  ed6a50ad0c0b908ccfe2b8a265aef7afa9d197c1 (commit)
      from  310be1b9cb0e277e36c7119be3e4c25a447618e2 (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 6d7fececd831ea798898ee62e03cb86b177ed64d
Author: Tamara Dahlgren <dah...@ll...>
Date:   Wed Jul 29 15:25:43 2015 -0700

    Corrected issues with postcondition and invariant check handling.
    
    - Modified to ensure proper handling of return values in methods with multiple
      non-void returns;
    - Corrected expression check instrumentation ordering
    - Added 3 examples to the translation (or 'make checkall') tests
    - Expanded SimpleClass.cpp example to increase postcondition and invariant
      test part combinations

commit ed6a50ad0c0b908ccfe2b8a265aef7afa9d197c1
Author: Tamara Dahlgren <dah...@ll...>
Date:   Thu Jul 2 11:19:28 2015 -0700

    Revert "Removed unused code related to recent contract initialization change."
    
    This reverts commit 310be1b9cb0e277e36c7119be3e4c25a447618e2.

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

Summary of changes:
 pcontracts/TODO                                    |    7 +-
 pcontracts/include/ContractComment.hpp             |    2 +-
 pcontracts/include/ContractsProcessor.hpp          |    4 +-
 pcontracts/src/contracts/ContractsProcessor.cpp    |  195 +++++++++++++-------
 pcontracts/src/examples/Makefile.trans             |    5 +-
 pcontracts/src/examples/SimpleClass.cpp            |  140 +++++++++++++-
 .../data/RoutineInstrumenter/SimpleClass.checks    |    4 +-
 .../data/RoutineInstrumenter/SimpleClass.mout      |    4 +-
 .../data/RoutineInstrumenter/SimpleClass.mout.edg4 |    3 +-
 .../data/RoutineInstrumenter/helloworld.mout.edg4  |    2 +-
 .../data/VisitInstrumenter/SimpleClass.checks      |    6 +-
 .../tests/data/VisitInstrumenter/SimpleClass.mout  |    5 +-
 .../data/VisitInstrumenter/SimpleClass.mout.edg4   |    5 +-
 .../data/VisitInstrumenter/helloworld-v2.mout.edg4 |    2 +-
 .../data/VisitInstrumenter/helloworld-v3.mout.edg4 |    2 +-
 .../src/tests/data/examples/SimpleClass.mout       |    5 +-
 16 files changed, 289 insertions(+), 102 deletions(-)


hooks/post-receive
-- 
compose-hpc