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 3dee23b09201c99b22f1dc9d2f63fb641ed9c4b4 (commit)
from 4c0061e0da46097fd819f68196204d6330b5c4d5 (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 3dee23b09201c99b22f1dc9d2f63fb641ed9c4b4
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Mar 17 18:09:29 2015 -0700
Added basic support for quantification routines and associated unit tests.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 287 ++++++-
pcontracts/include/contractClauseTypes.hpp | 23 +-
pcontracts/src/runtime/ExpressionRoutines.c | 547 +++++++++++-
pcontracts/src/tests/testExpressionRoutines.c | 1213 ++++++++++++++++++++++++-
4 files changed, 1998 insertions(+), 72 deletions(-)
hooks/post-receive
--
compose-hpc
|
