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

[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  434adbf0dd9c9c8e54a12d7fe352d083622d969f (commit)
       via  2050da150cf1fb159496261fe056e04f827fa182 (commit)
      from  907ef18911aeb0687eab6b722e41928570ad3324 (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 434adbf0dd9c9c8e54a12d7fe352d083622d969f
Merge: 2050da1 907ef18
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 16 19:28:43 2013 -0700

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

commit 2050da150cf1fb159496261fe056e04f827fa182
Author: T. Dahlgren <dah...@ll...>
Date:   Thu May 16 19:20:42 2013 -0700

    Completed initial pass at supporting optional, very basic configuration file.
    
    Added support for optional specification of configuration file name in
    the contract comment (i.e., '%CONTRACT INIT config-filename;'). The file
    is assumed to conform to a VERY basic, restricted format.
    
    Completed configuration file processing and support for the most basic
    configuration file contents; namely, per line starting with line 1:
    
    enforcement options,
    average estimated times,
    enforcement stats output filename, and
    enforcement trace output filename.

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

Summary of changes:
 pcontracts/TODO                                 |   11 ++---
 pcontracts/src/examples/AssertionExpression.hpp |    7 ++-
 pcontracts/src/examples/ContractComment.hpp     |   11 ++++-
 pcontracts/src/examples/ContractsProcessor.cpp  |   57 +++++++++++++++++++----
 pcontracts/src/examples/Makefile                |    6 ++-
 pcontracts/src/examples/Makefile.test           |    4 +-
 pcontracts/src/examples/Makefile.trans          |    2 +-
 pcontracts/src/examples/helloworld-v2.cc        |    2 +-
 pcontracts/src/examples/helloworld.cc           |    2 +-
 pcontracts/src/examples/helloworld.config       |    4 ++
 pcontracts/src/runtime/ContractsEnforcer.c      |   25 ++++++++--
 pcontracts/src/runtime/Makefile                 |    2 +-
 12 files changed, 100 insertions(+), 33 deletions(-)
 create mode 100644 pcontracts/src/examples/helloworld.config


hooks/post-receive
-- 
compose-hpc