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

[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  7aca1c328b4c3bec7490f8d106983db48448ce2d (commit)
      from  a54b4d46d48430db1ebf0526dff3725d1dcbfcc7 (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 7aca1c328b4c3bec7490f8d106983db48448ce2d
Author: Tamara Dahlgren <dah...@ll...>
Date:   Tue Nov 25 15:33:10 2014 -0800

    Expanded example/test contracts and fixed issue with self-calls.
    
    - Replaced preconditions with 'implies' operator with C equivalents and updated
    test oracles accordingly.
    - Do NOT generate contract checks when expressions include calls to the same
    method.  (This was being done for invariants but not for pre- and post-
    conditions).

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

Summary of changes:
 pcontracts/TODO                                    |    9 +++--
 pcontracts/include/ContractsProcessor.hpp          |    2 +-
 pcontracts/src/contracts/ContractsProcessor.cpp    |   20 ++++++-----
 pcontracts/src/examples/Knapsack-v2.cpp            |   33 +++++++++++++++-----
 pcontracts/src/examples/Makefile                   |    2 +-
 pcontracts/src/examples/Makefile.trans             |   16 +++++-----
 pcontracts/src/examples/SimpleClass.cpp            |    4 +-
 pcontracts/src/examples/UnlabeledKnapsack-v2.cpp   |   30 ++++++++++++-----
 pcontracts/src/examples/simple.c                   |    2 +-
 pcontracts/src/make_rose.inc                       |    2 +-
 .../data/RoutineInstrumenter/Knapsack-v2.checks    |    4 +-
 .../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 |    2 +-
 .../UnlabeledKnapsack-v2.checks                    |    4 +-
 .../UnlabeledKnapsack-v2.mout.edg4                 |    2 +-
 .../data/VisitInstrumenter/Knapsack-v2.checks      |    4 +-
 .../data/VisitInstrumenter/Knapsack-v2.mout.edg4   |    2 +-
 .../VisitInstrumenter/UnlabeledKnapsack-v2.checks  |    4 +-
 .../UnlabeledKnapsack-v2.mout.edg4                 |    2 +-
 18 files changed, 89 insertions(+), 55 deletions(-)


hooks/post-receive
-- 
compose-hpc