You can subscribe to this list here.
2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(13) |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2012 |
Jan
(18) |
Feb
(14) |
Mar
(9) |
Apr
(34) |
May
(12) |
Jun
(19) |
Jul
(21) |
Aug
(5) |
Sep
(4) |
Oct
(20) |
Nov
(18) |
Dec
(7) |
2013 |
Jan
(29) |
Feb
(12) |
Mar
(17) |
Apr
(6) |
May
(8) |
Jun
(7) |
Jul
(3) |
Aug
(4) |
Sep
(2) |
Oct
(4) |
Nov
|
Dec
|
2014 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
(1) |
Nov
(1) |
Dec
(1) |
2015 |
Jan
(1) |
Feb
(1) |
Mar
(3) |
Apr
(1) |
May
|
Jun
(2) |
Jul
(3) |
Aug
(3) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
From: T. D. <tld...@us...> - 2013-09-21 00:12:17
|
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 8bfb123a51d5607b4e69e8e06b5f926398be9583 (commit) from e8d5b6f282d87b358b22564786a3d20eff8598c0 (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 8bfb123a51d5607b4e69e8e06b5f926398be9583 Author: T. Dahlgren <dah...@ll...> Date: Fri Sep 20 17:05:18 2013 -0700 Snapshot of latest, which primarily involves enhanced generated documentation. ----------------------------------------------------------------------- Summary of changes: pcontracts/Doxyfile | 5 +- pcontracts/README | 6 +- pcontracts/TODO | 5 +- pcontracts/dox/Annotations.dox | 74 +++++++++++++ pcontracts/dox/Build.dox | 99 +++++++++++++++++ pcontracts/dox/Environment.dox | 26 +++++ pcontracts/dox/Programs.dox | 39 +++++++ pcontracts/dox/annotations_table.html | 44 ++++++++ pcontracts/dox/copyright.html | 2 +- pcontracts/dox/drivers_table.html | 44 ++++++++ pcontracts/dox/inputs_table.html | 99 +++++++++++++++++ pcontracts/dox/knapsack.html | 20 ++++ pcontracts/dox/mainpage.dox | 113 ++------------------ pcontracts/src/Makefile | 2 +- .../src/drivers/ContractAssertionPrinter.cpp | 9 ++- pcontracts/src/drivers/ContractPrinter.cpp | 7 +- .../src/drivers/RoutineContractInstrumenter.cpp | 2 +- .../src/drivers/VisitContractsInstrumenter.cpp | 11 +- pcontracts/src/tests/Makefile | 1 + 19 files changed, 487 insertions(+), 121 deletions(-) create mode 100644 pcontracts/dox/Annotations.dox create mode 100644 pcontracts/dox/Build.dox create mode 100644 pcontracts/dox/Environment.dox create mode 100644 pcontracts/dox/Programs.dox create mode 100644 pcontracts/dox/annotations_table.html create mode 100644 pcontracts/dox/drivers_table.html create mode 100644 pcontracts/dox/inputs_table.html create mode 100644 pcontracts/dox/knapsack.html hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2013-08-22 22:53:18
|
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 e8d5b6f282d87b358b22564786a3d20eff8598c0 (commit) from 189b9ab4d66bb18b72a72a05d34e1e77db471a8e (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 e8d5b6f282d87b358b22564786a3d20eff8598c0 Author: Matthew Sottile <ma...@ga...> Date: Thu Aug 22 15:53:01 2013 -0700 cleanup ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 24 +++++++++++++----------- 1 files changed, 13 insertions(+), 11 deletions(-) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-08-13 17:14:00
|
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 189b9ab4d66bb18b72a72a05d34e1e77db471a8e (commit) from 95976d4369f43939b044f5477ae41f940d79a793 (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 189b9ab4d66bb18b72a72a05d34e1e77db471a8e Author: T. Dahlgren <dah...@ll...> Date: Tue Aug 13 10:07:16 2013 -0700 Ensure test suite results summary identify cases where enforcement is enabled. Ensure the summary "Test Suite" pass/fail line distinguished between the suite being run with contract enforcement enabled and disabled -- for both the RoutineInstrumenter and VisitInstrumenter drivers. ----------------------------------------------------------------------- Summary of changes: pcontracts/src/drivers/Makefile | 4 ++-- pcontracts/src/examples/Makefile.trans | 20 ++++++++++++-------- 2 files changed, 14 insertions(+), 10 deletions(-) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-08-13 00:04:20
|
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 95976d4369f43939b044f5477ae41f940d79a793 (commit) via 85d4ab668a8234e3b30f3246d415a95e7c5c2c15 (commit) via b55ce19e5151734bfec5f2cb94910d9a4a02ea81 (commit) via c222977d3324f5d859a1533addab06a13b465d4f (commit) from 90a44c0d07b18974bfb8ff93811b054893518306 (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 95976d4369f43939b044f5477ae41f940d79a793 Author: T. Dahlgren <dah...@ll...> Date: Mon Aug 12 17:02:26 2013 -0700 Move (relevant) header files to the include directory. Moved contracts, drivers, and runtime header files to the include directory. Modified makefiles accordingly. commit 85d4ab668a8234e3b30f3246d415a95e7c5c2c15 Author: T. Dahlgren <dah...@ll...> Date: Mon Aug 12 16:33:40 2013 -0700 More build cleanup. (Helps to remember which scripting language you're working in. <grin>) commit b55ce19e5151734bfec5f2cb94910d9a4a02ea81 Author: T. Dahlgren <dah...@ll...> Date: Mon Aug 12 16:22:48 2013 -0700 Moved make include files to within the source subdirectory. Moved the *.inc files to within the source subdirectory and modified all Makefiles including them accordingly. commit c222977d3324f5d859a1533addab06a13b465d4f Author: T. Dahlgren <dah...@ll...> Date: Mon Aug 12 15:53:14 2013 -0700 Separated sources for ROSE-based driver programs and created new bin directory. Moved ROSE-based driver programs to new src/drivers subdirectory and modified all of the Makefiles accordingly. Also tweaked Makefile output to facilitate quickly assessing test suite results (e.g., if output from a 'make check' or 'make checkall' is redirected to a file, can grep 'Suite' to get a quick summary). ----------------------------------------------------------------------- Summary of changes: pcontracts/Makefile | 4 +- pcontracts/TODO | 6 - .../contracts => include}/AssertionExpression.hpp | 0 .../ContractAssertionPrinter.hpp | 0 .../{src/contracts => include}/ContractComment.hpp | 0 .../{src/examples => include}/ContractPrinter.hpp | 0 .../{src/runtime => include}/ContractsEnforcer.h | 0 .../contracts => include}/ContractsProcessor.hpp | 0 .../{src/contracts => include}/RoseHelpers.hpp | 0 .../tests => include}/SimpleContractsPrinter.hpp | 0 .../VisitContractsInstrumenter.hpp | 0 .../contracts => include}/contractClauseTypes.hpp | 0 .../{src/runtime => include}/contractMacros.h | 0 .../{src/runtime => include}/contractOptions.h | 0 .../runtime => include}/contractPrivateTypes.h | 0 pcontracts/{src/runtime => include}/contracts.h | 0 pcontracts/src/Makefile | 10 +- pcontracts/src/contracts/Makefile | 18 ++- .../ContractAssertionPrinter.cpp | 0 .../src/{examples => drivers}/ContractPrinter.cpp | 0 pcontracts/src/{examples => drivers}/Makefile | 178 ++++----------- .../RoutineContractInstrumenter.cpp | 0 .../{tests => drivers}/SimpleContractsPrinter.cpp | 0 .../VisitContractsInstrumenter.cpp | 0 pcontracts/src/examples/Makefile | 229 +++----------------- pcontracts/src/examples/Makefile.trans | 97 ++------- pcontracts/{ => src}/make.inc | 1 + pcontracts/{ => src}/make_rose.inc | 2 +- pcontracts/{ => src}/make_test.inc | 3 +- pcontracts/src/runtime/Makefile | 12 +- pcontracts/src/tests/Makefile | 8 +- 31 files changed, 123 insertions(+), 445 deletions(-) rename pcontracts/{src/contracts => include}/AssertionExpression.hpp (100%) rename pcontracts/{src/examples => include}/ContractAssertionPrinter.hpp (100%) rename pcontracts/{src/contracts => include}/ContractComment.hpp (100%) rename pcontracts/{src/examples => include}/ContractPrinter.hpp (100%) rename pcontracts/{src/runtime => include}/ContractsEnforcer.h (100%) rename pcontracts/{src/contracts => include}/ContractsProcessor.hpp (100%) rename pcontracts/{src/contracts => include}/RoseHelpers.hpp (100%) rename pcontracts/{src/tests => include}/SimpleContractsPrinter.hpp (100%) rename pcontracts/{src/examples => include}/VisitContractsInstrumenter.hpp (100%) rename pcontracts/{src/contracts => include}/contractClauseTypes.hpp (100%) rename pcontracts/{src/runtime => include}/contractMacros.h (100%) rename pcontracts/{src/runtime => include}/contractOptions.h (100%) rename pcontracts/{src/runtime => include}/contractPrivateTypes.h (100%) rename pcontracts/{src/runtime => include}/contracts.h (100%) rename pcontracts/src/{examples => drivers}/ContractAssertionPrinter.cpp (100%) rename pcontracts/src/{examples => drivers}/ContractPrinter.cpp (100%) copy pcontracts/src/{examples => drivers}/Makefile (57%) rename pcontracts/src/{examples => drivers}/RoutineContractInstrumenter.cpp (100%) rename pcontracts/src/{tests => drivers}/SimpleContractsPrinter.cpp (100%) rename pcontracts/src/{examples => drivers}/VisitContractsInstrumenter.cpp (100%) rename pcontracts/{ => src}/make.inc (96%) rename pcontracts/{ => src}/make_rose.inc (95%) rename pcontracts/{ => src}/make_test.inc (83%) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-08-02 22:13:38
|
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 90a44c0d07b18974bfb8ff93811b054893518306 (commit) via 6ed411a71de76199c1b810402049cf4e9bc287c1 (commit) from 7d22d4a4d1bd2bf85c186b9a192db7022826a138 (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 90a44c0d07b18974bfb8ff93811b054893518306 Author: T. Dahlgren <dah...@ll...> Date: Fri Aug 2 15:10:51 2013 -0700 First pass at cleaning up the directory structure. First cleanup pass involves moving the contract instrumentation routines into a separate library. Also cleaned up the build. (Next pass will be to pull the instrumenters out of the 'examples' directory.) commit 6ed411a71de76199c1b810402049cf4e9bc287c1 Author: T. Dahlgren <dah...@ll...> Date: Fri Aug 2 10:24:26 2013 -0700 Snapshot after some file cleanup. ----------------------------------------------------------------------- Summary of changes: pcontracts/Makefile | 30 ++-- pcontracts/TODO | 19 ++- pcontracts/make.inc | 34 +++++- pcontracts/make_rose.inc | 25 ++++ pcontracts/make_test.inc | 15 ++ pcontracts/src/Makefile | 26 ++-- .../AssertionExpression.hpp | 20 ++-- .../{examples => contracts}/ContractComment.hpp | 36 +++--- .../{examples => contracts}/ContractsProcessor.cpp | 90 +++++++------ .../{examples => contracts}/ContractsProcessor.hpp | 40 +++--- pcontracts/src/contracts/Makefile | 43 ++++++ .../src/{examples => contracts}/RoseHelpers.cpp | 6 +- .../src/{examples => contracts}/RoseHelpers.hpp | 4 +- .../contractClauseTypes.hpp | 8 +- .../src/examples/ContractAssertionPrinter.cpp | 18 ++-- pcontracts/src/examples/ContractPrinter.cpp | 3 +- pcontracts/src/examples/Knapsack-v2.cpp | 58 ++++---- pcontracts/src/examples/Knapsack-v2.hpp | 16 +- pcontracts/src/examples/Makefile | 101 ++++++--------- pcontracts/src/examples/Makefile.trans | 122 ++++++++++++------ .../src/examples/RoutineContractInstrumenter.cpp | 10 +- pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 56 ++++---- pcontracts/src/examples/UnlabeledKnapsack-v2.hpp | 16 +- .../src/examples/VisitContractsInstrumenter.cpp | 26 +++- .../src/examples/VisitContractsInstrumenter.hpp | 30 +++-- pcontracts/src/examples/knapsack.c | 2 +- pcontracts/src/examples/unlabeledknapsack.c | 2 +- pcontracts/src/runtime/ContractsEnforcer.c | 139 ++++++++++---------- pcontracts/src/runtime/ContractsEnforcer.h | 10 +- pcontracts/src/runtime/Makefile | 38 ++++-- pcontracts/src/tests/Makefile | 34 ++--- pcontracts/src/tests/compareStats.sh | 36 +++++ pcontracts/src/tests/compareTraces.sh | 18 +++ pcontracts/src/tests/testContractsEnforcer.c | 10 +- 34 files changed, 680 insertions(+), 461 deletions(-) create mode 100644 pcontracts/make_rose.inc create mode 100644 pcontracts/make_test.inc rename pcontracts/src/{examples => contracts}/AssertionExpression.hpp (87%) rename pcontracts/src/{examples => contracts}/ContractComment.hpp (91%) rename pcontracts/src/{examples => contracts}/ContractsProcessor.cpp (96%) rename pcontracts/src/{examples => contracts}/ContractsProcessor.hpp (65%) create mode 100644 pcontracts/src/contracts/Makefile rename pcontracts/src/{examples => contracts}/RoseHelpers.cpp (98%) rename pcontracts/src/{examples => contracts}/RoseHelpers.hpp (97%) rename pcontracts/src/{examples => contracts}/contractClauseTypes.hpp (92%) create mode 100644 pcontracts/src/tests/compareStats.sh create mode 100644 pcontracts/src/tests/compareTraces.sh hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-07-19 21:25:12
|
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 7d22d4a4d1bd2bf85c186b9a192db7022826a138 (commit) from ddb56eb62292dbf35104a9bdc5a9475addfff30d (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 7d22d4a4d1bd2bf85c186b9a192db7022826a138 Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 19 14:23:46 2013 -0700 Snapshot of latest STATS work. Outstanding issues listed in TODO file. ----------------------------------------------------------------------- Summary of changes: pcontracts/README | 2 +- pcontracts/TODO | 26 +++++++-- pcontracts/src/examples/ContractsProcessor.cpp | 56 +++++++++++++++----- pcontracts/src/examples/ContractsProcessor.hpp | 6 ++- pcontracts/src/examples/helloworld-v2.cc | 2 +- .../{helloworld.config => helloworld-v2.config} | 2 +- pcontracts/src/examples/helloworld-v3.cc | 2 +- .../{helloworld.config => helloworld-v3.config} | 2 +- pcontracts/src/runtime/ContractsEnforcer.c | 14 +++-- 9 files changed, 82 insertions(+), 30 deletions(-) copy pcontracts/src/examples/{helloworld.config => helloworld-v2.config} (54%) copy pcontracts/src/examples/{helloworld.config => helloworld-v3.config} (54%) hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2013-07-16 23:41:15
|
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 ddb56eb62292dbf35104a9bdc5a9475addfff30d (commit) from 436ea48c918ba0c0e71d69f841ea7df4e285786a (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 ddb56eb62292dbf35104a9bdc5a9475addfff30d Author: Matthew Sottile <ma...@ga...> Date: Tue Jul 16 16:41:05 2013 -0700 progress towards appropriate context capturing ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 135 ++++++++++++---------------- rote/struct-diff/RuleGen/rulegen.hs | 3 + 2 files changed, 62 insertions(+), 76 deletions(-) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-07-05 20:21:34
|
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 436ea48c918ba0c0e71d69f841ea7df4e285786a (commit) via 82e033d5a1aa52df1e3633f742d68a9ff4a42fdb (commit) from c1633ceea46387024b99db958f23ed4e6badc66d (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 436ea48c918ba0c0e71d69f841ea7df4e285786a Author: T. Dahlgren <dah...@ll...> Date: Fri Jul 5 13:18:02 2013 -0700 Addressed git conflicts on case insensitive systems and completed checkAll. - Modified example [/test] source filesnames to avoid git collisions on case insensitive systems. - Resolved remaining (known) issues with 'make checkAll' support, which adds the build and checking of automatically instrumented source codes. commit 82e033d5a1aa52df1e3633f742d68a9ff4a42fdb Author: T. Dahlgren <dah...@ll...> Date: Thu Jun 27 15:31:30 2013 -0700 Snapshot of latest. ----------------------------------------------------------------------- Summary of changes: pcontracts/Makefile | 72 +++++---- pcontracts/make.inc | 2 + pcontracts/src/Makefile | 45 +++++- .../{Knapsack.checks => Knapsack-v2.checks} | 0 .../{Knapsack.out => Knapsack-v2.mout} | 0 ...Knapsack.checks => UnlabeledKnapsack-v2.checks} | 0 ...beledKnapsack.out => UnlabeledKnapsack-v2.mout} | 0 .../{helloworld-v2.out => helloworld-v2.mout} | 0 .../{helloworld-v3.out => helloworld-v3.mout} | 0 .../{helloworld.out => helloworld.mout} | 0 .../{knapsack.out => knapsack.mout} | 0 ...nlabeledknapsack.out => unlabeledknapsack.mout} | 0 .../{Knapsack.checks => Knapsack-v2.checks} | 0 .../{Knapsack.out => Knapsack-v2.mout} | 0 ...Knapsack.checks => UnlabeledKnapsack-v2.checks} | 0 ...beledKnapsack.out => UnlabeledKnapsack-v2.mout} | 0 .../{helloworld-v2.out => helloworld-v2.mout} | 0 .../{helloworld-v3.out => helloworld-v3.mout} | 0 .../{helloworld.out => helloworld.mout} | 0 .../{knapsack.out => knapsack.mout} | 0 ...nlabeledknapsack.out => unlabeledknapsack.mout} | 0 .../src/examples/{Knapsack.cpp => Knapsack-v2.cpp} | 4 +- .../src/examples/{Knapsack.hpp => Knapsack-v2.hpp} | 10 +- pcontracts/src/examples/Makefile | 165 ++++++++++---------- pcontracts/src/examples/Makefile.trans | 126 +++++++++------- ...abeledKnapsack.cpp => UnlabeledKnapsack-v2.cpp} | 4 +- ...abeledKnapsack.hpp => UnlabeledKnapsack-v2.hpp} | 8 +- pcontracts/src/runtime/Makefile | 6 +- pcontracts/src/tests/Makefile | 25 ++- 29 files changed, 271 insertions(+), 196 deletions(-) create mode 100644 pcontracts/make.inc rename pcontracts/src/data/RoutineInstrumenter/{Knapsack.checks => Knapsack-v2.checks} (100%) rename pcontracts/src/data/RoutineInstrumenter/{Knapsack.out => Knapsack-v2.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{UnlabeledKnapsack.checks => UnlabeledKnapsack-v2.checks} (100%) rename pcontracts/src/data/RoutineInstrumenter/{UnlabeledKnapsack.out => UnlabeledKnapsack-v2.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{helloworld-v2.out => helloworld-v2.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{helloworld-v3.out => helloworld-v3.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{helloworld.out => helloworld.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{knapsack.out => knapsack.mout} (100%) rename pcontracts/src/data/RoutineInstrumenter/{unlabeledknapsack.out => unlabeledknapsack.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{Knapsack.checks => Knapsack-v2.checks} (100%) rename pcontracts/src/data/VisitInstrumenter/{Knapsack.out => Knapsack-v2.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{UnlabeledKnapsack.checks => UnlabeledKnapsack-v2.checks} (100%) rename pcontracts/src/data/VisitInstrumenter/{UnlabeledKnapsack.out => UnlabeledKnapsack-v2.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{helloworld-v2.out => helloworld-v2.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{helloworld-v3.out => helloworld-v3.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{helloworld.out => helloworld.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{knapsack.out => knapsack.mout} (100%) rename pcontracts/src/data/VisitInstrumenter/{unlabeledknapsack.out => unlabeledknapsack.mout} (100%) rename pcontracts/src/examples/{Knapsack.cpp => Knapsack-v2.cpp} (99%) rename pcontracts/src/examples/{Knapsack.hpp => Knapsack-v2.hpp} (94%) rename pcontracts/src/examples/{UnlabeledKnapsack.cpp => UnlabeledKnapsack-v2.cpp} (99%) rename pcontracts/src/examples/{UnlabeledKnapsack.hpp => UnlabeledKnapsack-v2.hpp} (93%) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-06-21 22:45:32
|
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 c1633ceea46387024b99db958f23ed4e6badc66d (commit) via a16b3d9844736ca68f5fb3b414480332007a7bd7 (commit) from 97658d03ee136e2e3b3922ef86f7da0119a55385 (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 c1633ceea46387024b99db958f23ed4e6badc66d Merge: 97658d0 a16b3d9 Author: Jason Dagit <da...@ga...> Date: Fri Jun 21 15:45:14 2013 -0700 Merge commit 'a16b3d9' commit a16b3d9844736ca68f5fb3b414480332007a7bd7 Author: Jason Dagit <da...@ga...> Date: Fri Jun 21 15:13:50 2013 -0700 Cosmetic changes to Weaver.hs ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/src/Data/Tree/Weaver.hs | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) hooks/post-receive -- compose-hpc |
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 |
From: Matt S. <ma...@us...> - 2013-06-18 21:06:04
|
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 65b4c17e3a43bc0c61453cebbbb0a3d189abfbb0 (commit) from 452092082f3815fe02fd47fb082b8ebb49979bde (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 65b4c17e3a43bc0c61453cebbbb0a3d189abfbb0 Author: Matthew Sottile <ma...@ga...> Date: Tue Jun 18 14:05:40 2013 -0700 new test case, some cleanup ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/README | 2 +- rote/struct-diff/RuleGen/rulegen.hs | 2 +- rote/struct-diff/tests/simple/runner.sh | 2 +- rote/struct-diff/tests/simple/twochange.spec | 12 ++++++++++++ 4 files changed, 15 insertions(+), 3 deletions(-) create mode 100644 rote/struct-diff/tests/simple/twochange.spec hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-06-18 18:55:18
|
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 452092082f3815fe02fd47fb082b8ebb49979bde (commit) from 942cd6af604d02d6c9dde703d9e601b814b4b759 (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 452092082f3815fe02fd47fb082b8ebb49979bde Author: Jason Dagit <da...@ga...> Date: Tue Jun 18 11:54:55 2013 -0700 Move Weaver from struct-diff into tree-utils ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 2 +- rote/struct-diff/RuleGen/Generalize.hs | 2 +- rote/struct-diff/RuleGen/Util/Graphviz.hs | 6 +++--- rote/struct-diff/RuleGen/rulegen.hs | 2 +- rote/struct-diff/rulegen.cabal | 1 - .../RuleGen => tree-utils/src/Data/Tree}/Weaver.hs | 2 +- rote/tree-utils/tree-utils.cabal | 5 +++-- 7 files changed, 10 insertions(+), 10 deletions(-) rename rote/{struct-diff/RuleGen => tree-utils/src/Data/Tree}/Weaver.hs (99%) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-06-18 18:46:14
|
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 942cd6af604d02d6c9dde703d9e601b814b4b759 (commit) from 254ea7a7d796609fbeb4ec790d6ec90d6ac95bfb (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 942cd6af604d02d6c9dde703d9e601b814b4b759 Author: Jason Dagit <da...@ga...> Date: Tue Jun 18 11:45:52 2013 -0700 Separate graphviz node showing from the Haskell Show instance for Label. This allows us to also derive Show in the normal way for Label ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Util/Graphviz.hs | 10 +++++++--- rote/tree-utils/src/Data/Tree/ATerm.hs | 9 +++++++++ rote/tree-utils/src/Data/Tree/AntiUnification.hs | 2 +- rote/tree-utils/src/Data/Tree/Labels.hs | 7 +------ 4 files changed, 18 insertions(+), 10 deletions(-) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-06-03 23:41:20
|
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 254ea7a7d796609fbeb4ec790d6ec90d6ac95bfb (commit) from ca356189a2a5641ea2f6c279e283a38f09245b69 (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 254ea7a7d796609fbeb4ec790d6ec90d6ac95bfb Author: Jason Dagit <da...@ga...> Date: Mon Jun 3 16:41:10 2013 -0700 tree-utils: expose more functions ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/src/Data/Tree/ATerm.hs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-06-01 00:11:13
|
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 ca356189a2a5641ea2f6c279e283a38f09245b69 (commit) from 52c53517dc89e77cd505d4f5ee867f7e7339697c (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 ca356189a2a5641ea2f6c279e283a38f09245b69 Author: Jason Dagit <da...@ga...> Date: Fri May 31 17:11:04 2013 -0700 Use LabeledTrees for AntiUnification ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/src/Data/Tree/AntiUnification.hs | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-05-31 23:46:11
|
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 52c53517dc89e77cd505d4f5ee867f7e7339697c (commit) from dfe05f32f5646095411f4bd1ee0a45184223960a (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 52c53517dc89e77cd505d4f5ee867f7e7339697c Author: Jason Dagit <da...@ga...> Date: Fri May 31 16:43:13 2013 -0700 Move ATerm -> Tree conversion to tree-utils ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/rulegen.hs | 2 +- rote/struct-diff/rulegen.cabal | 3 +-- .../Aterm.hs => tree-utils/src/Data/Tree/ATerm.hs} | 2 +- rote/tree-utils/tree-utils.cabal | 8 +++++--- 4 files changed, 8 insertions(+), 7 deletions(-) rename rote/{struct-diff/RuleGen/Data/Aterm.hs => tree-utils/src/Data/Tree/ATerm.hs} (98%) hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2013-05-29 23:22:15
|
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 dfe05f32f5646095411f4bd1ee0a45184223960a (commit) from dfa29279656e5ad9829c66a47a899889433726c8 (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 dfe05f32f5646095411f4bd1ee0a45184223960a Author: Matthew Sottile <ma...@ga...> Date: Wed May 29 16:21:57 2013 -0700 antiunification code ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/src/Data/Tree/AntiUnification.hs | 73 ++++++++++++++++++++++ rote/tree-utils/tree-utils.cabal | 2 + 2 files changed, 75 insertions(+), 0 deletions(-) create mode 100644 rote/tree-utils/src/Data/Tree/AntiUnification.hs hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2013-05-29 23:15:59
|
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 dfa29279656e5ad9829c66a47a899889433726c8 (commit) from 00fea91cb5e4f3286280b6a6af1db827acb9ac2a (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 dfa29279656e5ad9829c66a47a899889433726c8 Author: Matthew Sottile <ma...@ga...> Date: Wed May 29 16:15:49 2013 -0700 fix ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/LICENSE | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) hooks/post-receive -- compose-hpc |
From: Jason D. <da...@us...> - 2013-05-29 22:59:47
|
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 00fea91cb5e4f3286280b6a6af1db827acb9ac2a (commit) from db1f8a9fa25b079dd9556014fc974c9aba5f95b4 (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 00fea91cb5e4f3286280b6a6af1db827acb9ac2a Author: Jason Dagit <da...@ga...> Date: Wed May 29 15:54:02 2013 -0700 Split tree-utils out from struct-diff code ----------------------------------------------------------------------- Summary of changes: .gitignore | 4 +++ rote/struct-diff/README | 4 +++ rote/struct-diff/RuleGen/Contextualizer.hs | 12 +++++----- rote/struct-diff/RuleGen/Data/Aterm.hs | 6 ++-- rote/struct-diff/RuleGen/Filter.hs | 6 ++-- rote/struct-diff/RuleGen/Generalize.hs | 12 +++++----- rote/struct-diff/RuleGen/Pruner.hs | 4 +- rote/struct-diff/RuleGen/Util/Configuration.hs | 2 +- rote/struct-diff/RuleGen/Util/Graphviz.hs | 6 ++-- rote/struct-diff/RuleGen/Weaver.hs | 4 +- rote/struct-diff/RuleGen/rulegen.hs | 24 ++++++++++---------- rote/struct-diff/rulegen.cabal | 5 +-- rote/{stratego-sig-gen => tree-utils}/LICENSE | 4 +- rote/{stratego-sig-gen => tree-utils}/Setup.hs | 0 .../Data => tree-utils/src/Data/Tree}/Labels.hs | 2 +- .../Trees.hs => tree-utils/src/Data/Tree/Types.hs} | 4 +- .../RuleGen => tree-utils/src/Data/Tree}/Yang.hs | 4 +- rote/tree-utils/tree-utils.cabal | 23 +++++++++++++++++++ 18 files changed, 78 insertions(+), 48 deletions(-) create mode 100644 .gitignore copy rote/{stratego-sig-gen => tree-utils}/LICENSE (93%) copy rote/{stratego-sig-gen => tree-utils}/Setup.hs (100%) rename rote/{struct-diff/RuleGen/Data => tree-utils/src/Data/Tree}/Labels.hs (94%) rename rote/{struct-diff/RuleGen/Data/Trees.hs => tree-utils/src/Data/Tree/Types.hs} (98%) rename rote/{struct-diff/RuleGen => tree-utils/src/Data/Tree}/Yang.hs (99%) create mode 100644 rote/tree-utils/tree-utils.cabal hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-05-24 02:33:11
|
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 db1f8a9fa25b079dd9556014fc974c9aba5f95b4 (commit) via 0baba6b8da7abb75316b99566f70990deabbbc64 (commit) from 434adbf0dd9c9c8e54a12d7fe352d083622d969f (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 db1f8a9fa25b079dd9556014fc974c9aba5f95b4 Author: T. Dahlgren <dah...@ll...> Date: Thu May 23 19:31:12 2013 -0700 Preliminary (but untested) support for STATS annotations. Added most infrastructure for STATS but needs testing. commit 0baba6b8da7abb75316b99566f70990deabbbc64 Author: T. Dahlgren <dah...@ll...> Date: Thu May 23 18:18:57 2013 -0700 Enabled enforcement configuration file support and added termination option. Commented out definition requirement for enabling new enforcement configuration file support. Added option for disabling program termination upon detection of a contract violation. Support for the option is through the optional configuration file (not contract annotations). Added descriptions of each field in the configuration file to the documentation. ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 7 +- pcontracts/src/examples/AssertionExpression.hpp | 5 + pcontracts/src/examples/ContractComment.hpp | 41 ++++++-- pcontracts/src/examples/ContractsProcessor.cpp | 98 ++++++++++++++++--- pcontracts/src/examples/ContractsProcessor.hpp | 6 +- pcontracts/src/examples/helloworld-v2.cc | 1 + pcontracts/src/examples/helloworld-v3.cc | 4 + pcontracts/src/examples/helloworld.cc | 1 + pcontracts/src/examples/helloworld.config | 2 +- pcontracts/src/runtime/ContractsEnforcer.c | 119 +++++++++++++++++------ pcontracts/src/runtime/ContractsEnforcer.h | 44 ++++++++- pcontracts/src/runtime/Makefile | 13 ++- pcontracts/src/tests/testContractsEnforcer.c | 5 +- 13 files changed, 276 insertions(+), 70 deletions(-) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-05-17 02:29:57
|
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 434adbf0dd9c9c8e54a12d7fe352d083622d969f (commit) via 2050da150cf1fb159496261fe056e04f827fa182 (commit) from 907ef18911aeb0687eab6b722e41928570ad3324 (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 434adbf0dd9c9c8e54a12d7fe352d083622d969f Merge: 2050da1 907ef18 Author: T. Dahlgren <dah...@ll...> Date: Thu May 16 19:28:43 2013 -0700 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit 2050da150cf1fb159496261fe056e04f827fa182 Author: T. Dahlgren <dah...@ll...> Date: Thu May 16 19:20:42 2013 -0700 Completed initial pass at supporting optional, very basic configuration file. Added support for optional specification of configuration file name in the contract comment (i.e., '%CONTRACT INIT config-filename;'). The file is assumed to conform to a VERY basic, restricted format. Completed configuration file processing and support for the most basic configuration file contents; namely, per line starting with line 1: enforcement options, average estimated times, enforcement stats output filename, and enforcement trace output filename. ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 11 ++--- pcontracts/src/examples/AssertionExpression.hpp | 7 ++- pcontracts/src/examples/ContractComment.hpp | 11 ++++- pcontracts/src/examples/ContractsProcessor.cpp | 57 +++++++++++++++++++---- pcontracts/src/examples/Makefile | 6 ++- pcontracts/src/examples/Makefile.test | 4 +- pcontracts/src/examples/Makefile.trans | 2 +- pcontracts/src/examples/helloworld-v2.cc | 2 +- pcontracts/src/examples/helloworld.cc | 2 +- pcontracts/src/examples/helloworld.config | 4 ++ pcontracts/src/runtime/ContractsEnforcer.c | 25 ++++++++-- pcontracts/src/runtime/Makefile | 2 +- 12 files changed, 100 insertions(+), 33 deletions(-) create mode 100644 pcontracts/src/examples/helloworld.config hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2013-05-11 09:05:25
|
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 907ef18911aeb0687eab6b722e41928570ad3324 (commit) from 4ccdcd55a0f93b18ad9186ac8a2febd667517da4 (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 907ef18911aeb0687eab6b722e41928570ad3324 Author: Matthew Sottile <mjs...@gm...> Date: Sat May 11 02:04:01 2013 -0700 preliminary tool for Python->Aterm conversion ----------------------------------------------------------------------- Summary of changes: rote/python-terms/README.txt | 10 + rote/python-terms/aterm.py | 117 +++ rote/python-terms/past.py | 139 ++++ rote/python-terms/py2_to_aterm.py | 1543 +++++++++++++++++++++++++++++++++++ rote/python-terms/py3_to_aterm.py | 1606 +++++++++++++++++++++++++++++++++++++ 5 files changed, 3415 insertions(+), 0 deletions(-) create mode 100644 rote/python-terms/README.txt create mode 100644 rote/python-terms/aterm.py create mode 100644 rote/python-terms/past.py create mode 100644 rote/python-terms/py2_to_aterm.py create mode 100644 rote/python-terms/py3_to_aterm.py hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-05-10 02:32: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 4ccdcd55a0f93b18ad9186ac8a2febd667517da4 (commit) via 430f7ac159de0578ddf34c9379280ca15bc2d4f4 (commit) from 4f3b26f9d5408a579309496e2a9647110881e774 (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 4ccdcd55a0f93b18ad9186ac8a2febd667517da4 Author: T. Dahlgren <dah...@ll...> Date: Thu May 9 19:25:58 2013 -0700 Cleaned, corrected, and enhanced tests associated with partial enforcement. commit 430f7ac159de0578ddf34c9379280ca15bc2d4f4 Author: T. Dahlgren <dah...@ll...> Date: Thu May 2 19:08:30 2013 -0700 Snapshot of preliminary configuration file support. ----------------------------------------------------------------------- Summary of changes: pcontracts/TODO | 17 ++- pcontracts/src/examples/UnlabeledKnapsack.cpp | 4 +- pcontracts/src/runtime/ContractsEnforcer.c | 199 ++++++++++++++++++++++--- pcontracts/src/runtime/Makefile | 16 ++- pcontracts/src/runtime/contractPrivateTypes.h | 5 +- pcontracts/src/tests/Makefile | 2 +- pcontracts/src/tests/testContractsEnforcer.c | 49 +++--- 7 files changed, 233 insertions(+), 59 deletions(-) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-04-24 02:34:11
|
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 4f3b26f9d5408a579309496e2a9647110881e774 (commit) from d04233a4e1d6c85c53fb9de92d617d7f47ac4265 (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 4f3b26f9d5408a579309496e2a9647110881e774 Author: T. Dahlgren <dah...@ll...> Date: Tue Apr 23 19:23:31 2013 -0700 Snapshot of latest contracts instrumentation work -- mostly testing. Was able to determine my installation of ROSE does NOT provide visit() with an AST node for the 'return 0;' associated with the in-lined 'CONTRACT FINAL' annotation in the helloworld-v2.cc example. Consequently, the corresponding finalization call is not instrumented. Added helloworld-v3.cc example to illustrate that a simple print to illustrate a case where a node with the associated contract annotation does result in the finialization call being instrumented as desired. Summary of Changes: - Added helloworld-v3.cc (for illustrating inlined CONTRACT FINAL); - Added oracle-based test cases for instrumentation of example; - Completed support for overall (examples) test suite status reporting (when using 'make check'); - Revised assorted error message formatting. ----------------------------------------------------------------------- Summary of changes: pcontracts/README | 6 +- pcontracts/TODO | 7 +-- .../src/data/RoutineInstrumenter/Knapsack.res | 7 ++ .../data/RoutineInstrumenter/UnlabeledKnapsack.res | 7 ++ .../src/data/RoutineInstrumenter/helloworld-v2.res | 7 ++ .../src/data/RoutineInstrumenter/helloworld-v3.res | 7 ++ .../src/data/RoutineInstrumenter/helloworld.res | 7 ++ .../src/data/RoutineInstrumenter/knapsack.res | 7 ++ .../data/RoutineInstrumenter/unlabeledknapsack.res | 7 ++ pcontracts/src/data/VisitInstrumenter/Knapsack.res | 7 ++ .../data/VisitInstrumenter/UnlabeledKnapsack.res | 7 ++ .../src/data/VisitInstrumenter/helloworld-v2.res | 7 ++ .../src/data/VisitInstrumenter/helloworld-v3.res | 7 ++ .../src/data/VisitInstrumenter/helloworld.res | 7 ++ pcontracts/src/data/VisitInstrumenter/knapsack.res | 7 ++ .../data/VisitInstrumenter/unlabeledknapsack.res | 7 ++ pcontracts/src/examples/ContractsProcessor.cpp | 10 ++-- pcontracts/src/examples/Knapsack.cpp | 4 +- pcontracts/src/examples/Makefile | 61 ++++++++++++++++---- pcontracts/src/examples/Makefile.trans | 6 ++- .../src/examples/RoutineContractInstrumenter.cpp | 4 +- .../src/examples/VisitContractsInstrumenter.cpp | 15 +++-- pcontracts/src/examples/helloworld-v2.cc | 10 +++- .../{helloworld-v2.cc => helloworld-v3.cc} | 19 +++++-- pcontracts/src/runtime/ContractsEnforcer.h | 4 +- 25 files changed, 199 insertions(+), 45 deletions(-) create mode 100644 pcontracts/src/data/RoutineInstrumenter/Knapsack.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/UnlabeledKnapsack.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v2.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v3.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/knapsack.res create mode 100644 pcontracts/src/data/RoutineInstrumenter/unlabeledknapsack.res create mode 100644 pcontracts/src/data/VisitInstrumenter/Knapsack.res create mode 100644 pcontracts/src/data/VisitInstrumenter/UnlabeledKnapsack.res create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v2.res create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v3.res create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld.res create mode 100644 pcontracts/src/data/VisitInstrumenter/knapsack.res create mode 100644 pcontracts/src/data/VisitInstrumenter/unlabeledknapsack.res copy pcontracts/src/examples/{helloworld-v2.cc => helloworld-v3.cc} (55%) hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-04-17 02:49:48
|
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 d04233a4e1d6c85c53fb9de92d617d7f47ac4265 (commit) from 66869c89767344f8ad27f6fa6cb4ecf279fe0d25 (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 d04233a4e1d6c85c53fb9de92d617d7f47ac4265 Author: T. Dahlgren <dah...@ll...> Date: Tue Apr 16 19:43:30 2013 -0700 Addressed ASSERT instrumentation and short-circuited clause processing. Corrected the ordering of instrumented ASSERT checks when there are multiple assertion expressions in the "clause". Also reduced visitor processing of contract comments by limiting it to the "first" time a line is processed (since that is the node with the associated comments). Unfortunately, have not been able to determine why the helloworld-v2.cpp file's FINAL comment (associated with a "return 0;" statement) does not appear to be handed to the visitor. ----------------------------------------------------------------------- Summary of changes: pcontracts/src/examples/ContractsProcessor.cpp | 47 ++++++++++---------- .../src/examples/VisitContractsInstrumenter.cpp | 37 +++++++++++---- .../src/examples/VisitContractsInstrumenter.hpp | 20 +++++--- 3 files changed, 63 insertions(+), 41 deletions(-) hooks/post-receive -- compose-hpc |