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

[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  e1683a2b5de7b03c04d4c8210df051e9a86b0f97 (commit)
       via  9ca222d86a97a9fd7c4b282fafc5f855dc0203c9 (commit)
       via  e6d86ec8a04aeb1dc41e5594944c5abdb406abd3 (commit)
       via  1e95db7b1e6e8481b9ca02f46470c03d799e7540 (commit)
       via  6f90d0639cf763139c4591c75bd9909e24ea17f0 (commit)
       via  7f13b25228274a32d1023b9e6dec6b280b13efe3 (commit)
       via  c49add859215c272c8dc892255eaae42f3b2873f (commit)
       via  79e50b2b2a9405711ba9cc12d83b3c09f0394dbc (commit)
      from  e8f4b42d26897c6e3f5a6cb68e48ef8e962ab8c7 (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 e1683a2b5de7b03c04d4c8210df051e9a86b0f97
Merge: 9ca222d e8f4b42
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Mar 12 19:10:32 2013 -0700

    Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc

commit 9ca222d86a97a9fd7c4b282fafc5f855dc0203c9
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Mar 12 17:40:43 2013 -0700

    Preliminary runtime support of contract assertion(s) clauses.
    
    - Added runtime support for ASSERT clauses, which are assumed to be on par
      with REQUIRE, ENSURE, and INVARIANT clauses.
    - Added ContractsEnforcer ASSERT combinations test cases.
    - Removed unnecessary enforcer creation helper routines.

commit e6d86ec8a04aeb1dc41e5594944c5abdb406abd3
Merge: 1e95db7 29d876d
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Mar 12 15:04:58 2013 -0700

    Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc

commit 1e95db7b1e6e8481b9ca02f46470c03d799e7540
Author: T. Dahlgren <dah...@ll...>
Date:   Thu Mar 7 19:17:12 2013 -0800

    Resolved (or worked around) inlined INIT and FINAL instrumentation issues.
    
    The visitor version of the contract instrumenter now adds INIT and FINAL
    instrumentation to the routine (sans comments as those caused problems).
    
    Also extracting INVARIANT clause information not associated with or
    located around function definitions and adding those checks to non-instance
    routines.
    
    (Still need to address partial enforcement mechanisms.)

commit 6f90d0639cf763139c4591c75bd9909e24ea17f0
Merge: 7f13b25 7b41016
Author: T. Dahlgren <dah...@ll...>
Date:   Thu Mar 7 14:55:17 2013 -0800

    Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc

commit 7f13b25228274a32d1023b9e6dec6b280b13efe3
Author: T. Dahlgren <dah...@ll...>
Date:   Thu Feb 28 21:03:29 2013 -0800

    Snapshot of latest contracts visitor.
    
    Added work around for in-lined INIT and FINAL so visitor doesn't prematurely
    terminate (on INIT processing).  Also moved contract enforcement
    instrumentation comments since the BEGIN and END are excessive.

commit c49add859215c272c8dc892255eaae42f3b2873f
Merge: 79e50b2 71b0531
Author: T. Dahlgren <dah...@ll...>
Date:   Thu Feb 28 14:05:20 2013 -0800

    Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc

commit 79e50b2b2a9405711ba9cc12d83b3c09f0394dbc
Author: T. Dahlgren <dah...@ll...>
Date:   Thu Feb 21 22:13:39 2013 -0800

    Snapshot of contracts visitor instrumentation version that generates code.
    
    Completed a pass at the visitor instrumenter, which now generates code.
    Unfortunately, there are issues with some of the generated code and
    further testing is still needed.  At present, for example, INIT
    annotations within routine bodies will generate the initialization routine i
    but more time is needed to determine why the generated code does not compile.
    
    Additional checks were also added to the generated code makefiles.

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

Summary of changes:
 pcontracts/TODO                                    |   18 +-
 pcontracts/src/examples/ContractComment.hpp        |    3 +-
 pcontracts/src/examples/ContractsProcessor.cpp     |  276 +++++++++---
 pcontracts/src/examples/ContractsProcessor.hpp     |    6 +-
 pcontracts/src/examples/Knapsack.cpp               |    3 +
 pcontracts/src/examples/Makefile                   |   18 +-
 pcontracts/src/examples/Makefile.rtrans            |  103 -----
 .../src/examples/{Makefile => Makefile.test}       |    6 +-
 pcontracts/src/examples/Makefile.trans             |   96 ++++-
 .../src/examples/RoutineContractInstrumenter.cpp   |   14 +-
 pcontracts/src/examples/UnlabeledKnapsack.cpp      |    2 +
 .../src/examples/VisitContractsInstrumenter.cpp    |   28 +-
 .../src/examples/VisitContractsInstrumenter.hpp    |    2 +-
 pcontracts/src/examples/helloworld-v2.cc           |    9 +-
 pcontracts/src/examples/helloworld.cc              |    9 +-
 pcontracts/src/runtime/ContractsEnforcer.c         |  472 +-------------------
 pcontracts/src/runtime/Makefile                    |    4 +-
 pcontracts/src/runtime/contractOptions.h           |   74 +++-
 pcontracts/src/runtime/contractPrivateTypes.h      |    8 +-
 pcontracts/src/runtime/contracts.h                 |   18 +-
 pcontracts/src/tests/testContractsEnforcer.c       |   48 ++-
 21 files changed, 514 insertions(+), 703 deletions(-)
 delete mode 100644 pcontracts/src/examples/Makefile.rtrans
 copy pcontracts/src/examples/{Makefile => Makefile.test} (98%)


hooks/post-receive
-- 
compose-hpc