From: T. D. <tld...@us...> - 2013-03-27 02:28:12
|
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 |