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

[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  90a44c0d07b18974bfb8ff93811b054893518306 (commit)
       via  6ed411a71de76199c1b810402049cf4e9bc287c1 (commit)
      from  7d22d4a4d1bd2bf85c186b9a192db7022826a138 (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 90a44c0d07b18974bfb8ff93811b054893518306
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 2 15:10:51 2013 -0700

    First pass at cleaning up the directory structure.
    
    First cleanup pass involves moving the contract instrumentation routines
    into a separate library.  Also cleaned up the build.
    
    (Next pass will be to pull the instrumenters out of the 'examples' directory.)

commit 6ed411a71de76199c1b810402049cf4e9bc287c1
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Aug 2 10:24:26 2013 -0700

    Snapshot after some file cleanup.

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

Summary of changes:
 pcontracts/Makefile                                |   30 ++--
 pcontracts/TODO                                    |   19 ++-
 pcontracts/make.inc                                |   34 +++++-
 pcontracts/make_rose.inc                           |   25 ++++
 pcontracts/make_test.inc                           |   15 ++
 pcontracts/src/Makefile                            |   26 ++--
 .../AssertionExpression.hpp                        |   20 ++--
 .../{examples => contracts}/ContractComment.hpp    |   36 +++---
 .../{examples => contracts}/ContractsProcessor.cpp |   90 +++++++------
 .../{examples => contracts}/ContractsProcessor.hpp |   40 +++---
 pcontracts/src/contracts/Makefile                  |   43 ++++++
 .../src/{examples => contracts}/RoseHelpers.cpp    |    6 +-
 .../src/{examples => contracts}/RoseHelpers.hpp    |    4 +-
 .../contractClauseTypes.hpp                        |    8 +-
 .../src/examples/ContractAssertionPrinter.cpp      |   18 ++--
 pcontracts/src/examples/ContractPrinter.cpp        |    3 +-
 pcontracts/src/examples/Knapsack-v2.cpp            |   58 ++++----
 pcontracts/src/examples/Knapsack-v2.hpp            |   16 +-
 pcontracts/src/examples/Makefile                   |  101 ++++++---------
 pcontracts/src/examples/Makefile.trans             |  122 ++++++++++++------
 .../src/examples/RoutineContractInstrumenter.cpp   |   10 +-
 pcontracts/src/examples/UnlabeledKnapsack-v2.cpp   |   56 ++++----
 pcontracts/src/examples/UnlabeledKnapsack-v2.hpp   |   16 +-
 .../src/examples/VisitContractsInstrumenter.cpp    |   26 +++-
 .../src/examples/VisitContractsInstrumenter.hpp    |   30 +++--
 pcontracts/src/examples/knapsack.c                 |    2 +-
 pcontracts/src/examples/unlabeledknapsack.c        |    2 +-
 pcontracts/src/runtime/ContractsEnforcer.c         |  139 ++++++++++----------
 pcontracts/src/runtime/ContractsEnforcer.h         |   10 +-
 pcontracts/src/runtime/Makefile                    |   38 ++++--
 pcontracts/src/tests/Makefile                      |   34 ++---
 pcontracts/src/tests/compareStats.sh               |   36 +++++
 pcontracts/src/tests/compareTraces.sh              |   18 +++
 pcontracts/src/tests/testContractsEnforcer.c       |   10 +-
 34 files changed, 680 insertions(+), 461 deletions(-)
 create mode 100644 pcontracts/make_rose.inc
 create mode 100644 pcontracts/make_test.inc
 rename pcontracts/src/{examples => contracts}/AssertionExpression.hpp (87%)
 rename pcontracts/src/{examples => contracts}/ContractComment.hpp (91%)
 rename pcontracts/src/{examples => contracts}/ContractsProcessor.cpp (96%)
 rename pcontracts/src/{examples => contracts}/ContractsProcessor.hpp (65%)
 create mode 100644 pcontracts/src/contracts/Makefile
 rename pcontracts/src/{examples => contracts}/RoseHelpers.cpp (98%)
 rename pcontracts/src/{examples => contracts}/RoseHelpers.hpp (97%)
 rename pcontracts/src/{examples => contracts}/contractClauseTypes.hpp (92%)
 create mode 100644 pcontracts/src/tests/compareStats.sh
 create mode 100644 pcontracts/src/tests/compareTraces.sh


hooks/post-receive
-- 
compose-hpc