Menu
▾
▴
[COMPOSE-HPC-Commits] compose-hpc branch master updated. bec509c9c67e938a8ec6bbb7d32e2be87c8e1656
|
From: T. D. <tld...@us...> - 2012-11-12 19:45:22
|
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 bec509c9c67e938a8ec6bbb7d32e2be87c8e1656 (commit)
from ddfce024a306d731d60db515493a581f6d9ae83b (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 bec509c9c67e938a8ec6bbb7d32e2be87c8e1656
Author: T. Dahlgren <dah...@ll...>
Date: Mon Nov 12 11:39:59 2012 -0800
Adding LLNL Copyright and associate verbage.
Added the LLNL Copyright file (BRAID clone) and blessed but slightly
modified verbage (also taken from BRAID sources). The changes include
the official LLNL source code release number.
-----------------------------------------------------------------------
Summary of changes:
{braid => pcontracts}/COPYRIGHT | 0
pcontracts/mainpage.dox | 14 ++
pcontracts/src/examples/AssertionExpression.hpp | 18 ++-
.../src/examples/ContractAssertionPrinter.cpp | 17 ++-
.../src/examples/ContractAssertionPrinter.hpp | 17 ++-
pcontracts/src/examples/ContractComment.hpp | 18 ++-
pcontracts/src/examples/ContractPrinter.cpp | 19 ++-
pcontracts/src/examples/ContractPrinter.hpp | 17 ++-
pcontracts/src/examples/ContractsProcessor.cpp | 18 ++-
pcontracts/src/examples/ContractsProcessor.hpp | 18 ++-
pcontracts/src/examples/Knapsack.cpp | 15 ++-
pcontracts/src/examples/Knapsack.hpp | 15 ++-
pcontracts/src/examples/RoseHelpers.cpp | 17 ++-
pcontracts/src/examples/RoseHelpers.hpp | 17 ++-
.../src/examples/RoutineContractInstrumenter.cpp | 18 ++-
pcontracts/src/examples/UnlabeledKnapsack.cpp | 15 ++-
pcontracts/src/examples/UnlabeledKnapsack.hpp | 15 ++-
.../src/examples/VisitContractsInstrumenter.cpp | 171 ++++++++++++++++++++
.../src/examples/VisitContractsInstrumenter.hpp | 66 ++++++++
pcontracts/src/examples/contractClauseTypes.hpp | 18 ++-
pcontracts/src/examples/knapsack.c | 15 ++-
pcontracts/src/examples/unlabeledknapsack.c | 15 ++-
pcontracts/src/runtime/ContractsEnforcer.c | 17 ++-
pcontracts/src/runtime/ContractsEnforcer.h | 16 ++-
pcontracts/src/runtime/contractMacros.h | 46 +++---
pcontracts/src/runtime/contractOptions.h | 20 ++-
pcontracts/src/runtime/contractPrivateTypes.h | 15 ++-
pcontracts/src/runtime/contracts.h | 15 ++-
pcontracts/src/tests/SimpleContractsPrinter.cpp | 28 +++-
pcontracts/src/tests/SimpleContractsPrinter.hpp | 28 +++-
pcontracts/src/tests/testContractsEnforcer.c | 12 +-
pcontracts/src/tests/test_InvariantAnnotation.cpp | 24 +++-
.../src/tests/test_PaulContractsDecorator.cpp | 26 +++-
.../src/tests/test_SimpleContractsPrinter.cpp | 26 +++-
34 files changed, 717 insertions(+), 109 deletions(-)
copy {braid => pcontracts}/COPYRIGHT (100%)
create mode 100644 pcontracts/src/examples/VisitContractsInstrumenter.cpp
create mode 100644 pcontracts/src/examples/VisitContractsInstrumenter.hpp
hooks/post-receive
--
compose-hpc
|
