Menu
▾
▴
[COMPOSE-HPC-Commits] compose-hpc branch master updated. 65441a5decf5f369a7fc685d224ddeba7824e4f7
|
From: T. D. <tld...@us...> - 2013-09-27 22:13:16
|
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 65441a5decf5f369a7fc685d224ddeba7824e4f7 (commit)
from 8bfb123a51d5607b4e69e8e06b5f926398be9583 (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 65441a5decf5f369a7fc685d224ddeba7824e4f7
Author: T. Dahlgren <dah...@ll...>
Date: Fri Sep 27 15:11:11 2013 -0700
Documentation, build, and test updates and or fixes. Added new example too.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/README | 86 +++++++++---
pcontracts/TODO | 10 +-
pcontracts/dox/Annotations.dox | 34 +++--
pcontracts/dox/Build.dox | 8 +-
pcontracts/dox/Programs.dox | 8 +-
pcontracts/dox/annotations_table.html | 27 ++--
pcontracts/dox/inputs_table.html | 14 ++-
pcontracts/dox/knapsack.html | 5 +-
pcontracts/include/contractClauseTypes.hpp | 62 ++++----
pcontracts/src/contracts/ContractsProcessor.cpp | 72 +++++++---
pcontracts/src/contracts/Makefile | 2 +-
.../src/drivers/ContractAssertionPrinter.cpp | 93 ++++++++-----
pcontracts/src/drivers/ContractPrinter.cpp | 62 ++++++---
pcontracts/src/drivers/Makefile | 51 ++++---
pcontracts/src/examples/Knapsack-v2.cpp | 33 +++--
pcontracts/src/examples/Knapsack-v2.hpp | 7 +
pcontracts/src/examples/Makefile | 65 ++++++++-
pcontracts/src/examples/Makefile.trans | 51 ++++---
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 32 +++--
pcontracts/src/examples/UnlabeledKnapsack-v2.hpp | 7 +
pcontracts/src/examples/WeightsList.cpp | 152 ++++++++++++++++++++
pcontracts/src/examples/WeightsList.hpp | 79 ++++++++++
pcontracts/src/examples/knapsack.c | 4 +-
pcontracts/src/examples/unlabeledknapsack.c | 4 +-
pcontracts/src/make_test.inc | 4 +-
pcontracts/src/runtime/Makefile | 2 +-
pcontracts/src/tests/Makefile | 5 +-
.../data/RoutineInstrumenter/Knapsack-v2.checks | 0
.../data/RoutineInstrumenter/Knapsack-v2.mout | 0
.../UnlabeledKnapsack-v2.checks | 0
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 0
.../data/RoutineInstrumenter/WeightsList.checks} | 2 +-
.../data/RoutineInstrumenter/WeightsList.mout | 3 +
.../data/RoutineInstrumenter/helloworld-v2.checks | 0
.../data/RoutineInstrumenter/helloworld-v2.mout | 0
.../data/RoutineInstrumenter/helloworld-v3.checks | 0
.../data/RoutineInstrumenter/helloworld-v3.mout | 0
.../data/RoutineInstrumenter/helloworld.checks | 0
.../data/RoutineInstrumenter/helloworld.mout | 0
.../data/RoutineInstrumenter/knapsack.checks | 0
.../data/RoutineInstrumenter}/knapsack.mout | 20 +++
.../RoutineInstrumenter/unlabeledknapsack.checks | 0
.../RoutineInstrumenter/unlabeledknapsack.mout | 20 +++
.../data/VisitInstrumenter/Knapsack-v2.checks | 0
.../data/VisitInstrumenter/Knapsack-v2.mout | 0
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 0
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 0
.../data/VisitInstrumenter/WeightsList.checks} | 2 +-
.../tests/data/VisitInstrumenter/WeightsList.mout | 3 +
.../data/VisitInstrumenter/helloworld-v2.checks | 0
.../data/VisitInstrumenter/helloworld-v2.mout | 0
.../data/VisitInstrumenter/helloworld-v3.checks | 0
.../data/VisitInstrumenter/helloworld-v3.mout | 0
.../data/VisitInstrumenter/helloworld.checks | 0
.../data/VisitInstrumenter/helloworld.mout | 0
.../data/VisitInstrumenter/knapsack.checks | 0
.../data/VisitInstrumenter}/knapsack.mout | 20 +++
.../VisitInstrumenter/unlabeledknapsack.checks | 0
.../data/VisitInstrumenter/unlabeledknapsack.mout | 20 +++
.../data/examples/Knapsack-v2.mout} | 20 +++
.../data/examples/UnlabeledKnapsack-v2.mout} | 20 +++
.../src/tests/data/examples/WeightsList.mout | 1 +
.../data/examples}/helloworld-v2.mout | 0
.../data/examples}/helloworld-v3.mout | 0
.../data/examples/helloworld.mout} | 0
.../data/examples}/knapsack.mout | 20 +++
.../data/examples}/unlabeledknapsack.mout | 20 +++
67 files changed, 905 insertions(+), 245 deletions(-)
create mode 100644 pcontracts/src/examples/WeightsList.cpp
create mode 100644 pcontracts/src/examples/WeightsList.hpp
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/Knapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/Knapsack-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/UnlabeledKnapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/UnlabeledKnapsack-v2.mout (100%)
copy pcontracts/src/{data/RoutineInstrumenter/helloworld.checks => tests/data/RoutineInstrumenter/WeightsList.checks} (85%)
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList.mout
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v2.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v3.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v3.mout (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/knapsack.checks (100%)
copy pcontracts/src/{data/VisitInstrumenter => tests/data/RoutineInstrumenter}/knapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/unlabeledknapsack.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/unlabeledknapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/Knapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/Knapsack-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/UnlabeledKnapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/UnlabeledKnapsack-v2.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter/helloworld.checks => tests/data/VisitInstrumenter/WeightsList.checks} (85%)
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList.mout
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v3.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v3.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/knapsack.checks (100%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/VisitInstrumenter}/knapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/unlabeledknapsack.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/unlabeledknapsack.mout (97%)
copy pcontracts/src/{data/VisitInstrumenter/knapsack.mout => tests/data/examples/Knapsack-v2.mout} (97%)
copy pcontracts/src/{data/VisitInstrumenter/knapsack.mout => tests/data/examples/UnlabeledKnapsack-v2.mout} (97%)
create mode 100644 pcontracts/src/tests/data/examples/WeightsList.mout
copy pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/helloworld-v2.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/helloworld-v3.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter/helloworld-v2.mout => tests/data/examples/helloworld.mout} (100%)
rename pcontracts/src/{data/VisitInstrumenter => tests/data/examples}/knapsack.mout (97%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/unlabeledknapsack.mout (97%)
hooks/post-receive
--
compose-hpc
|
