From: T. D. <tld...@us...> - 2013-06-21 20:58:23
|
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 97658d03ee136e2e3b3922ef86f7da0119a55385 (commit) via 36661bff9e134bc186e1e2b509b529a9d4c4904e (commit) via db882f7390ada81f50f8983df19443c118b65d09 (commit) from 65b4c17e3a43bc0c61453cebbbb0a3d189abfbb0 (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 97658d03ee136e2e3b3922ef86f7da0119a55385 Author: T. Dahlgren <dah...@ll...> Date: Fri Jun 21 13:56:49 2013 -0700 Cleaned up makefiles so checkAll will now build and check instrumented codes. commit 36661bff9e134bc186e1e2b509b529a9d4c4904e Merge: db882f7 65b4c17 Author: T. Dahlgren <dah...@ll...> Date: Fri Jun 21 08:52:12 2013 -0700 Merge branch 'master' of ssh://git.code.sf.net/p/compose-hpc/code commit db882f7390ada81f50f8983df19443c118b65d09 Author: T. Dahlgren <dah...@ll...> Date: Fri Jun 14 11:49:07 2013 -0700 Manual sync of recent changes to old (not updated) repository. ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 8 +- .../{Knapsack.res => Knapsack.checks} | 0 .../src/data/RoutineInstrumenter/Knapsack.out | 7 + ...abeledKnapsack.res => UnlabeledKnapsack.checks} | 0 .../data/RoutineInstrumenter/UnlabeledKnapsack.out | 7 + .../{helloworld-v2.res => helloworld-v2.checks} | 0 .../src/data/RoutineInstrumenter/helloworld-v2.out | 4 + .../{helloworld-v3.res => helloworld-v3.checks} | 0 .../src/data/RoutineInstrumenter/helloworld-v3.out | 10 + .../{helloworld.res => helloworld.checks} | 0 .../src/data/RoutineInstrumenter/helloworld.out | 5 + .../{knapsack.res => knapsack.checks} | 0 .../src/data/RoutineInstrumenter/knapsack.out | 25 ++ ...abeledknapsack.res => unlabeledknapsack.checks} | 0 .../data/RoutineInstrumenter/unlabeledknapsack.out | 25 ++ .../{Knapsack.res => Knapsack.checks} | 0 pcontracts/src/data/VisitInstrumenter/Knapsack.out | 7 + ...abeledKnapsack.res => UnlabeledKnapsack.checks} | 0 .../data/VisitInstrumenter/UnlabeledKnapsack.out | 7 + .../{helloworld-v2.res => helloworld-v2.checks} | 0 .../src/data/VisitInstrumenter/helloworld-v2.out | 5 + .../{helloworld-v3.res => helloworld-v3.checks} | 0 .../src/data/VisitInstrumenter/helloworld-v3.out | 5 + .../{helloworld.res => helloworld.checks} | 0 .../src/data/VisitInstrumenter/helloworld.out | 5 + .../{knapsack.res => knapsack.checks} | 0 pcontracts/src/data/VisitInstrumenter/knapsack.out | 25 ++ ...abeledknapsack.res => unlabeledknapsack.checks} | 0 .../data/VisitInstrumenter/unlabeledknapsack.out | 25 ++ pcontracts/src/examples/ContractsProcessor.cpp | 210 +++++++++-------- pcontracts/src/examples/Makefile | 106 ++++++-- pcontracts/src/examples/Makefile.test | 255 -------------------- pcontracts/src/examples/Makefile.trans | 236 +++++++++++++----- pcontracts/src/examples/RoseHelpers.hpp | 14 +- .../src/examples/VisitContractsInstrumenter.hpp | 4 +- 35 files changed, 540 insertions(+), 455 deletions(-) rename pcontracts/src/data/RoutineInstrumenter/{Knapsack.res => Knapsack.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/Knapsack.out rename pcontracts/src/data/RoutineInstrumenter/{UnlabeledKnapsack.res => UnlabeledKnapsack.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/UnlabeledKnapsack.out rename pcontracts/src/data/RoutineInstrumenter/{helloworld-v2.res => helloworld-v2.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v2.out rename pcontracts/src/data/RoutineInstrumenter/{helloworld-v3.res => helloworld-v3.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v3.out rename pcontracts/src/data/RoutineInstrumenter/{helloworld.res => helloworld.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld.out rename pcontracts/src/data/RoutineInstrumenter/{knapsack.res => knapsack.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/knapsack.out rename pcontracts/src/data/RoutineInstrumenter/{unlabeledknapsack.res => unlabeledknapsack.checks} (100%) create mode 100644 pcontracts/src/data/RoutineInstrumenter/unlabeledknapsack.out rename pcontracts/src/data/VisitInstrumenter/{Knapsack.res => Knapsack.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/Knapsack.out rename pcontracts/src/data/VisitInstrumenter/{UnlabeledKnapsack.res => UnlabeledKnapsack.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/UnlabeledKnapsack.out rename pcontracts/src/data/VisitInstrumenter/{helloworld-v2.res => helloworld-v2.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v2.out rename pcontracts/src/data/VisitInstrumenter/{helloworld-v3.res => helloworld-v3.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v3.out rename pcontracts/src/data/VisitInstrumenter/{helloworld.res => helloworld.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld.out rename pcontracts/src/data/VisitInstrumenter/{knapsack.res => knapsack.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/knapsack.out rename pcontracts/src/data/VisitInstrumenter/{unlabeledknapsack.res => unlabeledknapsack.checks} (100%) create mode 100644 pcontracts/src/data/VisitInstrumenter/unlabeledknapsack.out delete mode 100644 pcontracts/src/examples/Makefile.test hooks/post-receive -- compose-hpc |