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 ec6d6718f9964104d530dd80a5da8426d96275cd (commit)
via a738f9fff3b7a62352695d687fd3c63de2c2dabf (commit)
from baa83782d85d2101b0c4162b09f4eebbad1d75e2 (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 ec6d6718f9964104d530dd80a5da8426d96275cd
Author: T. Dahlgren <dah...@ll...>
Date: Fri Sep 14 18:47:23 2012 -0700
Missed a file...
commit a738f9fff3b7a62352695d687fd3c63de2c2dabf
Author: T. Dahlgren <dah...@ll...>
Date: Fri Sep 14 18:37:24 2012 -0700
Incremental improvements to contract generation with all checkCI's building.
- Improved distinction between checks: executable, unsupported, and advisory.
- No longer generating invariants in main() or those with INIT or FINAL.
- Instrumenting code with comments for "unsupported" checks.
- Instrumented comment annotations are standardized with "END" cases
added where reasonable.
- Steps toward improving (routine) time estimates handling.
- Tweaked contract annotations so all four translated examples are building,
with contract violations occurring on the two C++ cases.
ContractInstrumenter's todo's list most outstanding issues.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/examples/ContractInstrumenter.cpp | 458 ++++++++++++++++----------
pcontracts/examples/Knapsack.cpp | 14 +-
pcontracts/examples/RoseHelpers.cpp | 2 +-
pcontracts/examples/UnlabeledKnapsack.cpp | 14 +-
4 files changed, 300 insertions(+), 188 deletions(-)
hooks/post-receive
--
compose-hpc
|
