Menu
▾
▴
[COMPOSE-HPC-Commits] compose-hpc branch master updated. 39359752204910369c785973fcda18c2229fdfe7
|
From: T. D. <tld...@us...> - 2015-06-25 23:04:07
|
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 39359752204910369c785973fcda18c2229fdfe7 (commit)
via b17afa9894de33c21fa69251a1e44ee1c88093c7 (commit)
via 18acbdc4273480ea630dc2b81125134f1f2235df (commit)
from 50999c2b3475e7055c62e8a9481aab20c99270cd (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 39359752204910369c785973fcda18c2229fdfe7
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jun 25 16:02:44 2015 -0700
Corrected issue contract enforcement initialization when no config file provided
commit b17afa9894de33c21fa69251a1e44ee1c88093c7
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jun 25 15:14:43 2015 -0700
Corrected postcondition checks for functions.
The pce_result variable wasn't being set to the return value prior to
postcondition checks so that capability has been added.
Also explicitly setting endofConstruct for new AST entries and corrected
a case where the parent wasn't being set.
Finally, changed instrumenting end of functions to take a list of statements,
one entry per expression check. This capability still needs to be tested
though.
commit 18acbdc4273480ea630dc2b81125134f1f2235df
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Apr 28 17:06:08 2015 -0700
Snapshot of latest changes, primarily to aid debugging.
- Modified RoseHelpers.cpp to include control characters in compression; and
- Modified instrumentation Makefile and test oracles to allow the display
of a DEBUG message when contracts are checked without breaking 'make check'
instrumented codes.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 5 +-
pcontracts/WARNING | 3 +
pcontracts/include/AssertionExpression.hpp | 21 ++-
pcontracts/include/ContractComment.hpp | 12 +-
pcontracts/include/ContractsEnforcer.h | 9 +-
pcontracts/include/ContractsProcessor.hpp | 10 +-
pcontracts/include/RoseHelpers.hpp | 14 +-
pcontracts/include/contractClauseTypes.hpp | 4 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 221 +++++++++++---------
pcontracts/src/contracts/RoseHelpers.cpp | 51 ++++--
.../src/drivers/RoutineContractInstrumenter.cpp | 4 +-
pcontracts/src/examples/Knapsack-v2.cpp | 4 +-
pcontracts/src/examples/Makefile.trans | 5 +-
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 4 +-
pcontracts/src/examples/knapsack.c | 4 +-
pcontracts/src/examples/unlabeledknapsack.c | 4 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout | 2 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 | 3 +-
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 3 +-
.../tests/data/RoutineInstrumenter/knapsack.mout | 111 ++++++++--
.../data/RoutineInstrumenter/knapsack.mout.edg4 | 111 ++++++++--
.../RoutineInstrumenter/unlabeledknapsack.mout | 111 ++++++++--
.../unlabeledknapsack.mout.edg4 | 111 ++++++++--
.../tests/data/VisitInstrumenter/Knapsack-v2.mout | 2 +-
.../data/VisitInstrumenter/Knapsack-v2.mout.edg4 | 3 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 3 +-
.../src/tests/data/VisitInstrumenter/knapsack.mout | 110 ++++++++--
.../data/VisitInstrumenter/knapsack.mout.edg4 | 111 ++++++++--
.../data/VisitInstrumenter/unlabeledknapsack.mout | 111 ++++++++--
.../VisitInstrumenter/unlabeledknapsack.mout.edg4 | 111 ++++++++--
.../src/tests/data/examples/Knapsack-v2.mout | 111 ++++++++--
.../tests/data/examples/UnlabeledKnapsack-v2.mout | 111 ++++++++--
pcontracts/src/tests/data/examples/knapsack.mout | 111 ++++++++--
.../src/tests/data/examples/unlabeledknapsack.mout | 111 ++++++++--
36 files changed, 1319 insertions(+), 407 deletions(-)
hooks/post-receive
--
compose-hpc
|
