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 be697072388e90b3564006e795c8f0d820b3aa3b (commit)
from 7aca1c328b4c3bec7490f8d106983db48448ce2d (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 be697072388e90b3564006e795c8f0d820b3aa3b
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Dec 18 13:15:25 2014 -0800
Added four new helper functions for richer contracts.
- Added pce_max, pce_min, pce_all_null, and pce_any_null to the runtime; and
- Added about 42 new tests to exercise the new functions.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 37 ++-
pcontracts/include/contractClauseTypes.hpp | 20 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 6 +-
pcontracts/src/runtime/ExpressionRoutines.c | 68 +++-
pcontracts/src/tests/testExpressionRoutines.c | 565 +++++++++++++++++++++--
5 files changed, 646 insertions(+), 50 deletions(-)
hooks/post-receive
--
compose-hpc
|
