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 8eb4223ac53bdf5d1176bd5c88057485454433b0 (commit)
from 957f887a61dcb984fa7a834bc9d8336d860b57a8 (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 8eb4223ac53bdf5d1176bd5c88057485454433b0
Author: T. Dahlgren <dah...@ll...>
Date: Tue Mar 26 19:24:51 2013 -0700
Snapshot of preliminary ASSERT support (still work in progress).
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 16 +-
.../src/examples/ContractAssertionPrinter.cpp | 7 +-
pcontracts/src/examples/ContractComment.hpp | 43 +-
pcontracts/src/examples/ContractPrinter.cpp | 7 +-
pcontracts/src/examples/ContractsProcessor.cpp | 655 ++++++++++++--------
pcontracts/src/examples/ContractsProcessor.hpp | 11 +-
pcontracts/src/examples/Knapsack.cpp | 41 ++-
pcontracts/src/examples/UnlabeledKnapsack.cpp | 26 +
pcontracts/src/examples/helloworld.cc | 2 +-
pcontracts/src/examples/knapsack.c | 13 +
pcontracts/src/examples/unlabeledknapsack.c | 13 +
11 files changed, 559 insertions(+), 275 deletions(-)
hooks/post-receive
--
compose-hpc
|