From: T. D. <tld...@us...> - 2013-10-30 00:10:46
|
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 0265558470c21b226ebf04f56a6bdc9e87337bc7 (commit) via d5c80fbb45e60da6cd9bd07bd79ea14ef9a7ce1f (commit) via e4586e514b9f94aa8458e3ce0e6a1f51b1d94cd3 (commit) via f71eba219009c30fa4e7b22af2c2a8af7e2560b3 (commit) from 24967b270a64faad1a188be6b61165d3aa09dffa (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 0265558470c21b226ebf04f56a6bdc9e87337bc7 Author: T. Dahlgren <dah...@ll...> Date: Tue Oct 29 16:57:54 2013 -0700 Completed initial pass at adding STATS instrumentation. - Added a STATS log prior to termination due to a contract violation. - Restructured visit processing through still did not resolve some instrumentation case issues (related to AST nodes apparently not being visited after inserting statements). - Updated contents of some files used to generated (Doxygen) documentation. - Removed problematic STATS instrumentation in helloworld-v3.cc after realizing the AST was simply not visiting key nodes after statement insertions. commit d5c80fbb45e60da6cd9bd07bd79ea14ef9a7ce1f Author: T. Dahlgren <dah...@ll...> Date: Mon Oct 28 14:45:29 2013 -0700 Enhance instrumentation test output to facilitate interpreting differences. Prepend an annotation-related description to the instrumentation count to make it easier to compare instrumentation number differences. Also restored the non-STATS count (since still addressing instrumentation-related issues). commit e4586e514b9f94aa8458e3ce0e6a1f51b1d94cd3 Author: T. Dahlgren <dah...@ll...> Date: Mon Oct 28 14:07:50 2013 -0700 Recognize presence/absence of STATS instrumentation in tests cases. commit f71eba219009c30fa4e7b22af2c2a8af7e2560b3 Author: T. Dahlgren <dah...@ll...> Date: Mon Oct 28 13:59:57 2013 -0700 Enhanced the contract clause violation error message. Added the file name and (instrumented) line number associated with the error. ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 17 +++-- pcontracts/dox/contractsSource.html | 8 +- pcontracts/dox/inputs_table.html | 17 +++-- pcontracts/include/ContractsEnforcer.h | 7 +- pcontracts/include/ContractsProcessor.hpp | 4 +- pcontracts/include/VisitContractsInstrumenter.hpp | 5 +- pcontracts/src/contracts/ContractsProcessor.cpp | 90 +++++++++++++++----- pcontracts/src/drivers/Makefile | 19 +++-- .../src/drivers/VisitContractsInstrumenter.cpp | 74 +++++++++-------- pcontracts/src/examples/helloworld-v3.cc | 8 +- pcontracts/src/runtime/ContractsEnforcer.c | 6 +- .../data/RoutineInstrumenter/Knapsack-v2.checks | 15 ++-- .../data/RoutineInstrumenter/Knapsack-v2.mout | 2 +- .../UnlabeledKnapsack-v2.checks | 15 ++-- .../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 2 +- .../data/RoutineInstrumenter/WeightsList.checks | 15 ++-- .../data/RoutineInstrumenter/WeightsList.mout | 2 +- .../data/RoutineInstrumenter/helloworld-v2.checks | 15 ++-- .../data/RoutineInstrumenter/helloworld-v3.checks | 15 ++-- .../data/RoutineInstrumenter/helloworld.checks | 15 ++-- .../tests/data/RoutineInstrumenter/helloworld.mout | 2 +- .../tests/data/RoutineInstrumenter/knapsack.checks | 15 ++-- .../RoutineInstrumenter/unlabeledknapsack.checks | 15 ++-- .../data/VisitInstrumenter/Knapsack-v2.checks | 15 ++-- .../tests/data/VisitInstrumenter/Knapsack-v2.mout | 2 +- .../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 15 ++-- .../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 2 +- .../data/VisitInstrumenter/WeightsList.checks | 15 ++-- .../tests/data/VisitInstrumenter/WeightsList.mout | 2 +- .../data/VisitInstrumenter/helloworld-v2.checks | 15 ++-- .../data/VisitInstrumenter/helloworld-v2.mout | 2 +- .../data/VisitInstrumenter/helloworld-v3.checks | 15 ++-- .../data/VisitInstrumenter/helloworld-v3.mout | 2 +- .../tests/data/VisitInstrumenter/helloworld.checks | 15 ++-- .../tests/data/VisitInstrumenter/helloworld.mout | 2 +- .../tests/data/VisitInstrumenter/knapsack.checks | 15 ++-- .../VisitInstrumenter/unlabeledknapsack.checks | 15 ++-- 37 files changed, 301 insertions(+), 214 deletions(-) hooks/post-receive -- compose-hpc |