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

[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  baa83782d85d2101b0c4162b09f4eebbad1d75e2 (commit)
       via  fe12fecc68af4deb108657643f7fc8cac65e5419 (commit)
       via  cbd4740a6c408f32ab4cd98494a0ecf45d3a30fb (commit)
       via  973bb394a9c21358846ee71a82fbfbc3a003f511 (commit)
       via  95e00c74e5c75b70136c49be8b38c4c9dc6c56f9 (commit)
       via  630332491b230ce169bab983b4e46bcc051b1c13 (commit)
       via  a9771ab350e1ff70fb7df516d11eb2dc35aef0ce (commit)
       via  a5b82492ff0f95da74104880ea1e14e3a6a765b5 (commit)
      from  b8c8241fcd82d92c8fa7e75acd58f7c3856091a8 (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 baa83782d85d2101b0c4162b09f4eebbad1d75e2
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 13:15:49 2012 -0700

    Preliminary contract clause translation snapshot.
    
    - Structured contract comments are translated into "properly formed" routine
    or macro calls.
    - Invariants are parsed and added to the top and bottom of routines.
    - Translated C example sources compile and run.
    - Translated C++ example sources do not compile.
    
    However, there is still work needed to limit invariant generation; deal with
    C++ issues; and test generated codes.

commit fe12fecc68af4deb108657643f7fc8cac65e5419
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 13:11:38 2012 -0700

    Enforcement runtime tweaks.
    
    - Fixed check macro's violation format; - Added debug messages to
    enforcer routines; - (Temporarily) enabled debug option in Makefile.

commit cbd4740a6c408f32ab4cd98494a0ecf45d3a30fb
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 09:27:01 2012 -0700

    Modifications to 'built-in' contract variables/routines.

commit 973bb394a9c21358846ee71a82fbfbc3a003f511
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 09:24:50 2012 -0700

    Slight modification of Makefile feedback.

commit 95e00c74e5c75b70136c49be8b38c4c9dc6c56f9
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 09:05:08 2012 -0700

    Slight refactoring of contract annotation-related routines.

commit 630332491b230ce169bab983b4e46bcc051b1c13
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 09:02:27 2012 -0700

    Makefile output tweaks.

commit a9771ab350e1ff70fb7df516d11eb2dc35aef0ce
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Sep 11 08:59:53 2012 -0700

    Revert "Contract clause example tweaks."
    
    This reverts commit a5b82492ff0f95da74104880ea1e14e3a6a765b5.

commit a5b82492ff0f95da74104880ea1e14e3a6a765b5
Author: T. Dahlgren <dah...@ll...>
Date:   Mon Sep 10 11:08:57 2012 -0700

    Contract clause example tweaks.

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

Summary of changes:
 pcontracts/examples/ContractAssertionPrinter.cpp   |   41 +-
 pcontracts/examples/ContractInstrumenter.cpp       |  941 +++++++++++++++++---
 pcontracts/examples/Knapsack.cpp                   |   12 +-
 pcontracts/examples/Makefile                       |   15 +-
 pcontracts/examples/Makefile.trans                 |    8 +-
 pcontracts/examples/RoseHelpers.cpp                |   57 ++-
 pcontracts/examples/RoseHelpers.hpp                |   22 +-
 pcontracts/examples/UnlabeledKnapsack.cpp          |   12 +-
 pcontracts/examples/knapsack.c                     |    2 +-
 pcontracts/examples/unlabeledknapsack.c            |    2 +-
 .../src/runtime/contracts/ContractsEnforcer.c      |   35 +
 .../src/runtime/contracts/ContractsEnforcer.h      |    2 +-
 pcontracts/src/runtime/contracts/Makefile          |    3 +-
 13 files changed, 952 insertions(+), 200 deletions(-)


hooks/post-receive
-- 
compose-hpc