Menu
▾
▴
compose-hpc-commits — Commit messages from GIT repository
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
|
