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...> - 2015-09-11 00:49: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 b1df3153a0960c3d215de884b4ac3eef5ed962cc (commit)
from 2456db36d8f8336d5d9c5582d4169dcdfc543457 (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 b1df3153a0960c3d215de884b4ac3eef5ed962cc
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Sep 10 17:44:24 2015 -0700
Fixed enforcer macro so enforcement statistics get updated.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ContractsEnforcer.h | 15 ++++++++-------
1 files changed, 8 insertions(+), 7 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-08-13 23:32: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 2456db36d8f8336d5d9c5582d4169dcdfc543457 (commit)
from 29dc15090d1728c62f966f539040a6aa80af80cf (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 2456db36d8f8336d5d9c5582d4169dcdfc543457
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Aug 13 16:30:41 2015 -0700
Violation-related messages tweaking plus append to status (and trace) files.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ContractsEnforcer.h | 9 ++++++---
pcontracts/src/runtime/ContractsEnforcer.c | 14 +++++++-------
2 files changed, 13 insertions(+), 10 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-08-11 21:40:54
|
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 29dc15090d1728c62f966f539040a6aa80af80cf (commit)
from df5f66159015f80f9d97d1d2f1564dd9176b2204 (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 29dc15090d1728c62f966f539040a6aa80af80cf
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Aug 11 14:39:07 2015 -0700
Cleaned up contract enforcement initialization and checking messages.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ContractsEnforcer.h | 35 ++++++++++++++-------------
pcontracts/src/runtime/ContractsEnforcer.c | 31 ++++++++++--------------
2 files changed, 31 insertions(+), 35 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-08-07 00:59: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 df5f66159015f80f9d97d1d2f1564dd9176b2204 (commit)
from f4c869407bbea2d2e5cb0f9a7e78a9b8504c6ed5 (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 df5f66159015f80f9d97d1d2f1564dd9176b2204
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Aug 6 17:56:14 2015 -0700
Resolved issues with postcondition checks for 'return 0;' statements.
Also removed extraneous asterisks (comments) in SimpleClass.cpp's
ensureValueInRange() postcondition expressions and updated the fiducial
files for both the RoutineInstrumenter and VisitInstrumenter.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/WARNING | 15 +++++++++------
pcontracts/src/contracts/RoseHelpers.cpp | 19 +++++++++++--------
pcontracts/src/examples/SimpleClass.cpp | 4 ++--
.../data/RoutineInstrumenter/SimpleClass.mout | 2 +-
.../data/RoutineInstrumenter/SimpleClass.mout.edg4 | 3 ++-
.../tests/data/VisitInstrumenter/SimpleClass.mout | 3 ++-
.../data/VisitInstrumenter/SimpleClass.mout.edg4 | 3 ++-
7 files changed, 29 insertions(+), 20 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-07-29 23:29: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 f4c869407bbea2d2e5cb0f9a7e78a9b8504c6ed5 (commit)
from 8cc98cfe077578e9b80972be9a7b961a5f508281 (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 f4c869407bbea2d2e5cb0f9a7e78a9b8504c6ed5
Author: Tamara Dahlgren <dah...@ll...>
Date: Wed Jul 29 16:28:30 2015 -0700
Snapshot of latest fiducials related to generated code and README warning.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/README | 12 ++++++++++++
.../data/RoutineInstrumenter/Knapsack-v2.mout | 3 ++-
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 3 ++-
.../data/RoutineInstrumenter/WeightsList.mout | 2 +-
.../tests/data/RoutineInstrumenter/helloworld.mout | 2 +-
.../data/RoutineInstrumenter/helloworld.mout.edg4 | 2 +-
.../src/tests/data/RoutineInstrumenter/simple.mout | 4 +---
.../data/RoutineInstrumenter/simple.mout.edg4 | 3 +--
.../tests/data/VisitInstrumenter/Knapsack-v2.mout | 3 ++-
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 3 ++-
.../tests/data/VisitInstrumenter/WeightsList.mout | 2 +-
.../data/VisitInstrumenter/helloworld-v2.mout | 2 +-
.../data/VisitInstrumenter/helloworld-v2.mout.edg4 | 2 +-
.../data/VisitInstrumenter/helloworld-v3.mout | 2 +-
.../data/VisitInstrumenter/helloworld-v3.mout.edg4 | 2 +-
.../tests/data/VisitInstrumenter/helloworld.mout | 2 +-
.../src/tests/data/VisitInstrumenter/knapsack.mout | 1 +
.../src/tests/data/VisitInstrumenter/simple.mout | 4 +---
.../tests/data/VisitInstrumenter/simple.mout.edg4 | 3 +--
.../data/VisitInstrumenter/unlabeledknapsack.mout | 2 +-
20 files changed, 35 insertions(+), 24 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-07-29 22:44:06
|
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 8cc98cfe077578e9b80972be9a7b961a5f508281 (commit)
from 6d7fececd831ea798898ee62e03cb86b177ed64d (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 8cc98cfe077578e9b80972be9a7b961a5f508281
Author: Tamara Dahlgren <dah...@ll...>
Date: Wed Jul 29 15:42:36 2015 -0700
Corrected source extension in the 'checkall' build of a recently added example
-----------------------------------------------------------------------
Summary of changes:
pcontracts/src/examples/Makefile.trans | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-07-29 22:29:58
|
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 6d7fececd831ea798898ee62e03cb86b177ed64d (commit)
via ed6a50ad0c0b908ccfe2b8a265aef7afa9d197c1 (commit)
from 310be1b9cb0e277e36c7119be3e4c25a447618e2 (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 6d7fececd831ea798898ee62e03cb86b177ed64d
Author: Tamara Dahlgren <dah...@ll...>
Date: Wed Jul 29 15:25:43 2015 -0700
Corrected issues with postcondition and invariant check handling.
- Modified to ensure proper handling of return values in methods with multiple
non-void returns;
- Corrected expression check instrumentation ordering
- Added 3 examples to the translation (or 'make checkall') tests
- Expanded SimpleClass.cpp example to increase postcondition and invariant
test part combinations
commit ed6a50ad0c0b908ccfe2b8a265aef7afa9d197c1
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jul 2 11:19:28 2015 -0700
Revert "Removed unused code related to recent contract initialization change."
This reverts commit 310be1b9cb0e277e36c7119be3e4c25a447618e2.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 7 +-
pcontracts/include/ContractComment.hpp | 2 +-
pcontracts/include/ContractsProcessor.hpp | 4 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 195 +++++++++++++-------
pcontracts/src/examples/Makefile.trans | 5 +-
pcontracts/src/examples/SimpleClass.cpp | 140 +++++++++++++-
.../data/RoutineInstrumenter/SimpleClass.checks | 4 +-
.../data/RoutineInstrumenter/SimpleClass.mout | 4 +-
.../data/RoutineInstrumenter/SimpleClass.mout.edg4 | 3 +-
.../data/RoutineInstrumenter/helloworld.mout.edg4 | 2 +-
.../data/VisitInstrumenter/SimpleClass.checks | 6 +-
.../tests/data/VisitInstrumenter/SimpleClass.mout | 5 +-
.../data/VisitInstrumenter/SimpleClass.mout.edg4 | 5 +-
.../data/VisitInstrumenter/helloworld-v2.mout.edg4 | 2 +-
.../data/VisitInstrumenter/helloworld-v3.mout.edg4 | 2 +-
.../src/tests/data/examples/SimpleClass.mout | 5 +-
16 files changed, 289 insertions(+), 102 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-06-25 23:06:07
|
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 310be1b9cb0e277e36c7119be3e4c25a447618e2 (commit)
from 39359752204910369c785973fcda18c2229fdfe7 (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 310be1b9cb0e277e36c7119be3e4c25a447618e2
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jun 25 16:05:08 2015 -0700
Removed unused code related to recent contract initialization change.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/src/contracts/ContractsProcessor.cpp | 13 -------------
1 files changed, 0 insertions(+), 13 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-06-25 23:04:07
|
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 39359752204910369c785973fcda18c2229fdfe7 (commit)
via b17afa9894de33c21fa69251a1e44ee1c88093c7 (commit)
via 18acbdc4273480ea630dc2b81125134f1f2235df (commit)
from 50999c2b3475e7055c62e8a9481aab20c99270cd (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 39359752204910369c785973fcda18c2229fdfe7
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jun 25 16:02:44 2015 -0700
Corrected issue contract enforcement initialization when no config file provided
commit b17afa9894de33c21fa69251a1e44ee1c88093c7
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Jun 25 15:14:43 2015 -0700
Corrected postcondition checks for functions.
The pce_result variable wasn't being set to the return value prior to
postcondition checks so that capability has been added.
Also explicitly setting endofConstruct for new AST entries and corrected
a case where the parent wasn't being set.
Finally, changed instrumenting end of functions to take a list of statements,
one entry per expression check. This capability still needs to be tested
though.
commit 18acbdc4273480ea630dc2b81125134f1f2235df
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Apr 28 17:06:08 2015 -0700
Snapshot of latest changes, primarily to aid debugging.
- Modified RoseHelpers.cpp to include control characters in compression; and
- Modified instrumentation Makefile and test oracles to allow the display
of a DEBUG message when contracts are checked without breaking 'make check'
instrumented codes.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 5 +-
pcontracts/WARNING | 3 +
pcontracts/include/AssertionExpression.hpp | 21 ++-
pcontracts/include/ContractComment.hpp | 12 +-
pcontracts/include/ContractsEnforcer.h | 9 +-
pcontracts/include/ContractsProcessor.hpp | 10 +-
pcontracts/include/RoseHelpers.hpp | 14 +-
pcontracts/include/contractClauseTypes.hpp | 4 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 221 +++++++++++---------
pcontracts/src/contracts/RoseHelpers.cpp | 51 ++++--
.../src/drivers/RoutineContractInstrumenter.cpp | 4 +-
pcontracts/src/examples/Knapsack-v2.cpp | 4 +-
pcontracts/src/examples/Makefile.trans | 5 +-
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 4 +-
pcontracts/src/examples/knapsack.c | 4 +-
pcontracts/src/examples/unlabeledknapsack.c | 4 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout | 2 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 | 3 +-
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 3 +-
.../tests/data/RoutineInstrumenter/knapsack.mout | 111 ++++++++--
.../data/RoutineInstrumenter/knapsack.mout.edg4 | 111 ++++++++--
.../RoutineInstrumenter/unlabeledknapsack.mout | 111 ++++++++--
.../unlabeledknapsack.mout.edg4 | 111 ++++++++--
.../tests/data/VisitInstrumenter/Knapsack-v2.mout | 2 +-
.../data/VisitInstrumenter/Knapsack-v2.mout.edg4 | 3 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 3 +-
.../src/tests/data/VisitInstrumenter/knapsack.mout | 110 ++++++++--
.../data/VisitInstrumenter/knapsack.mout.edg4 | 111 ++++++++--
.../data/VisitInstrumenter/unlabeledknapsack.mout | 111 ++++++++--
.../VisitInstrumenter/unlabeledknapsack.mout.edg4 | 111 ++++++++--
.../src/tests/data/examples/Knapsack-v2.mout | 111 ++++++++--
.../tests/data/examples/UnlabeledKnapsack-v2.mout | 111 ++++++++--
pcontracts/src/tests/data/examples/knapsack.mout | 111 ++++++++--
.../src/tests/data/examples/unlabeledknapsack.mout | 111 ++++++++--
36 files changed, 1319 insertions(+), 407 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-04-08 00:50:05
|
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 50999c2b3475e7055c62e8a9481aab20c99270cd (commit)
from 88d989f3ca089a873db149ceee0290b582ae0fe1 (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 50999c2b3475e7055c62e8a9481aab20c99270cd
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Apr 7 17:47:18 2015 -0700
Exclude any contract comments prior to preprocessor endif.
Explicitly exclude any contract comments appearing prior to a preprocessor
endif since they are assumed to belong to a previous method that is not
being included due to preprocessor condition.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ContractsEnforcer.h | 2 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 34 +++++++++++++++++------
2 files changed, 26 insertions(+), 10 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-03-31 23:28:51
|
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 88d989f3ca089a873db149ceee0290b582ae0fe1 (commit)
from 04a248f733517e6a6390e4f02b728cc2585da365 (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 88d989f3ca089a873db149ceee0290b582ae0fe1
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Mar 31 14:21:52 2015 -0700
Added support and unit tests for pce_*_float, where * is all, any, and count
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 59 +++++++-
pcontracts/include/contractClauseTypes.hpp | 7 +-
pcontracts/src/runtime/ExpressionRoutines.c | 85 +++++++++-
pcontracts/src/tests/testExpressionRoutines.c | 223 ++++++++++++++++++++++++-
4 files changed, 369 insertions(+), 5 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-03-24 23:36: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 04a248f733517e6a6390e4f02b728cc2585da365 (commit)
from 3dee23b09201c99b22f1dc9d2f63fb641ed9c4b4 (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 04a248f733517e6a6390e4f02b728cc2585da365
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Mar 24 16:32:50 2015 -0700
Added support for character array quantifiers (all, any, count)
- Added pce_all_char, pce_any_char, and pce_count_char;
- Added unit tests for each.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 60 ++++++-
pcontracts/include/contractClauseTypes.hpp | 5 +-
pcontracts/src/runtime/ExpressionRoutines.c | 86 +++++++++-
pcontracts/src/tests/testExpressionRoutines.c | 240 ++++++++++++++++++++++++-
4 files changed, 387 insertions(+), 4 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-03-18 01:12:01
|
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 3dee23b09201c99b22f1dc9d2f63fb641ed9c4b4 (commit)
from 4c0061e0da46097fd819f68196204d6330b5c4d5 (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 3dee23b09201c99b22f1dc9d2f63fb641ed9c4b4
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Mar 17 18:09:29 2015 -0700
Added basic support for quantification routines and associated unit tests.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 287 ++++++-
pcontracts/include/contractClauseTypes.hpp | 23 +-
pcontracts/src/runtime/ExpressionRoutines.c | 547 +++++++++++-
pcontracts/src/tests/testExpressionRoutines.c | 1213 ++++++++++++++++++++++++-
4 files changed, 1998 insertions(+), 72 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-02-06 00:50: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 4c0061e0da46097fd819f68196204d6330b5c4d5 (commit)
from 3e63a970cf0749e29b07e1ab2c36b5e55353f679 (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 4c0061e0da46097fd819f68196204d6330b5c4d5
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Feb 5 16:45:53 2015 -0800
Added support and tests for pce_range contract expression function
The function is used to check a (long) double range with a tolerance.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 22 +++++-
pcontracts/include/contractClauseTypes.hpp | 18 ++--
pcontracts/src/runtime/ExpressionRoutines.c | 25 ++++++-
pcontracts/src/tests/testExpressionRoutines.c | 103 +++++++++++++++++++++++--
4 files changed, 151 insertions(+), 17 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2015-01-14 00:38:51
|
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 3e63a970cf0749e29b07e1ab2c36b5e55353f679 (commit)
from 78f88b12414ed66b56806231a2d33f21da026c0e (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 3e63a970cf0749e29b07e1ab2c36b5e55353f679
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Jan 13 16:38:25 2015 -0800
Updated year in copyright file.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/COPYRIGHT | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2014-12-18 21:17:26
|
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 be697072388e90b3564006e795c8f0d820b3aa3b (commit)
from 7aca1c328b4c3bec7490f8d106983db48448ce2d (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 be697072388e90b3564006e795c8f0d820b3aa3b
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Dec 18 13:15:25 2014 -0800
Added four new helper functions for richer contracts.
- Added pce_max, pce_min, pce_all_null, and pce_any_null to the runtime; and
- Added about 42 new tests to exercise the new functions.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/include/ExpressionRoutines.h | 37 ++-
pcontracts/include/contractClauseTypes.hpp | 20 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 6 +-
pcontracts/src/runtime/ExpressionRoutines.c | 68 +++-
pcontracts/src/tests/testExpressionRoutines.c | 565 +++++++++++++++++++++--
5 files changed, 646 insertions(+), 50 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2014-11-25 23:38:44
|
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 7aca1c328b4c3bec7490f8d106983db48448ce2d (commit)
from a54b4d46d48430db1ebf0526dff3725d1dcbfcc7 (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 7aca1c328b4c3bec7490f8d106983db48448ce2d
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Nov 25 15:33:10 2014 -0800
Expanded example/test contracts and fixed issue with self-calls.
- Replaced preconditions with 'implies' operator with C equivalents and updated
test oracles accordingly.
- Do NOT generate contract checks when expressions include calls to the same
method. (This was being done for invariants but not for pre- and post-
conditions).
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 9 +++--
pcontracts/include/ContractsProcessor.hpp | 2 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 20 ++++++-----
pcontracts/src/examples/Knapsack-v2.cpp | 33 +++++++++++++++-----
pcontracts/src/examples/Makefile | 2 +-
pcontracts/src/examples/Makefile.trans | 16 +++++-----
pcontracts/src/examples/SimpleClass.cpp | 4 +-
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 30 ++++++++++++-----
pcontracts/src/examples/simple.c | 2 +-
pcontracts/src/make_rose.inc | 2 +-
.../data/RoutineInstrumenter/Knapsack-v2.checks | 4 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 | 2 +-
.../UnlabeledKnapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 2 +-
.../data/VisitInstrumenter/Knapsack-v2.checks | 4 +-
.../data/VisitInstrumenter/Knapsack-v2.mout.edg4 | 2 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 2 +-
18 files changed, 89 insertions(+), 55 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2014-10-09 19:01: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 a54b4d46d48430db1ebf0526dff3725d1dcbfcc7 (commit)
from 4716d3e3483f4d6d8077bb8a6208b3741eb8ddfc (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 a54b4d46d48430db1ebf0526dff3725d1dcbfcc7
Author: Tamara Dahlgren <dah...@ll...>
Date: Thu Oct 9 11:06:56 2014 -0700
Minor updates to TODO list
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 8 +-------
1 files changed, 1 insertions(+), 7 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2014-08-14 22:57:06
|
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 4716d3e3483f4d6d8077bb8a6208b3741eb8ddfc (commit)
from 4dba31488ae66670f248cee3f741e97c15885258 (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 4716d3e3483f4d6d8077bb8a6208b3741eb8ddfc
Author: T. Dahlgren <dah...@ll...>
Date: Thu Aug 14 15:47:51 2014 -0700
Latest changes from porting and upgrading to rose with edg-4.7
- Updated sources, makefiles, and environment.dox to reflect porting
activity;
- Modified include and macro instrumentation routines to support use
of edg-4.7 and or changes to rose (0.9.6a);
- Added instrumentReturnPoints to RoseHelpers as a work-around for
issue in SageInterface::instrumentEndOfFunction for void methods
with multiple return statements;
- Added new examples/tests to include ones for which there are issues
with the generated/instrumented code;
- Tweaked makefiles to include improving handling of output differences
resulting from rose adding up to two namespaces to generated code;
and
- Corrected the check comparing generated, unlabeld test case results.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 7 +-
pcontracts/WARNING | 4 +
pcontracts/dox/Environment.dox | 3 +
pcontracts/include/ContractsProcessor.hpp | 12 +--
pcontracts/include/RoseHelpers.hpp | 15 ++
pcontracts/src/Makefile | 2 +
pcontracts/src/Makefile.test | 76 ++++++++++
pcontracts/src/contracts/ContractsProcessor.cpp | 141 +++++++++++++------
pcontracts/src/contracts/Makefile | 4 +-
pcontracts/src/contracts/RoseHelpers.cpp | 60 ++++++++-
pcontracts/src/drivers/Makefile | 35 ++++--
.../src/drivers/RoutineContractInstrumenter.cpp | 21 +++-
.../src/drivers/VisitContractsInstrumenter.cpp | 77 ++++++++---
pcontracts/src/examples/Makefile | 74 +++++++---
pcontracts/src/examples/Makefile.trans | 116 ++++++++++++----
pcontracts/src/examples/SimpleClass.cpp | 83 +++++++++++
pcontracts/src/examples/WeightsList.cpp | 3 +
pcontracts/src/examples/WeightsList2.cpp | 146 ++++++++++++++++++++
pcontracts/src/examples/WeightsList2.hpp | 89 ++++++++++++
pcontracts/src/examples/hello.c | 24 ++++
pcontracts/src/examples/simple.c | 59 ++++++++
pcontracts/src/make.inc | 3 +-
pcontracts/src/make_rose.inc | 4 +-
pcontracts/src/make_test.inc | 5 +-
pcontracts/src/runtime/Makefile | 1 +
pcontracts/src/tests/Makefile | 2 +
.../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 | 7 +
.../data/RoutineInstrumenter/SimpleClass.checks | 8 +
.../data/RoutineInstrumenter/SimpleClass.mout | 10 ++
.../data/RoutineInstrumenter/SimpleClass.mout.edg4 | 9 ++
.../UnlabeledKnapsack-v2.mout.edg4 | 7 +
.../data/RoutineInstrumenter/WeightsList.mout | 2 +-
.../data/RoutineInstrumenter/WeightsList.mout.edg4 | 3 +
.../data/RoutineInstrumenter/WeightsList2.checks | 8 +
.../data/RoutineInstrumenter/WeightsList2.mout | 1 +
.../RoutineInstrumenter/WeightsList2.mout.edg4 | 1 +
.../tests/data/RoutineInstrumenter/hello.checks | 8 +
.../src/tests/data/RoutineInstrumenter/hello.mout | 1 +
.../tests/data/RoutineInstrumenter/hello.mout.edg4 | 1 +
...{helloworld-v2.mout => helloworld-v2.mout.edg4} | 0
...{helloworld-v3.mout => helloworld-v3.mout.edg4} | 0
.../data/RoutineInstrumenter/helloworld.mout.edg4 | 5 +
.../{knapsack.mout => knapsack.mout.edg4} | 0
.../tests/data/RoutineInstrumenter/simple.checks | 8 +
.../src/tests/data/RoutineInstrumenter/simple.mout | 10 ++
.../data/RoutineInstrumenter/simple.mout.edg4 | 9 ++
.../{knapsack.mout => unlabeledknapsack.mout.edg4} | 0
.../data/VisitInstrumenter/Knapsack-v2.mout.edg4 | 7 +
.../data/VisitInstrumenter/SimpleClass.checks | 8 +
.../tests/data/VisitInstrumenter/SimpleClass.mout | 10 ++
.../data/VisitInstrumenter/SimpleClass.mout.edg4 | 9 ++
.../UnlabeledKnapsack-v2.mout.edg4 | 7 +
.../data/VisitInstrumenter/WeightsList.mout.edg4 | 3 +
.../data/VisitInstrumenter/WeightsList2.checks | 8 +
.../tests/data/VisitInstrumenter/WeightsList2.mout | 1 +
.../data/VisitInstrumenter/WeightsList2.mout.edg4 | 1 +
.../src/tests/data/VisitInstrumenter/hello.checks | 8 +
.../src/tests/data/VisitInstrumenter/hello.mout | 1 +
.../tests/data/VisitInstrumenter/hello.mout.edg4 | 1 +
.../data/VisitInstrumenter/helloworld-v2.mout.edg4 | 5 +
.../data/VisitInstrumenter/helloworld-v3.mout.edg4 | 5 +
.../data/VisitInstrumenter/helloworld.mout.edg4 | 5 +
.../knapsack.mout.edg4} | 0
.../src/tests/data/VisitInstrumenter/simple.checks | 8 +
.../src/tests/data/VisitInstrumenter/simple.mout | 10 ++
.../tests/data/VisitInstrumenter/simple.mout.edg4 | 9 ++
.../unlabeledknapsack.mout.edg4} | 0
.../src/tests/data/examples/SimpleClass.mout | 7 +
.../src/tests/data/examples/WeightsList2.mout | 1 +
pcontracts/src/tests/data/examples/hello.mout | 1 +
pcontracts/src/tests/data/examples/simple.mout | 7 +
pcontracts/src/tests/testContractsEnforcer.c | 5 +-
72 files changed, 1140 insertions(+), 151 deletions(-)
create mode 100644 pcontracts/src/Makefile.test
create mode 100644 pcontracts/src/examples/SimpleClass.cpp
create mode 100644 pcontracts/src/examples/WeightsList2.cpp
create mode 100644 pcontracts/src/examples/WeightsList2.hpp
create mode 100644 pcontracts/src/examples/hello.c
create mode 100644 pcontracts/src/examples/simple.c
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/Knapsack-v2.mout.edg4
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/SimpleClass.checks
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/SimpleClass.mout
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/SimpleClass.mout.edg4
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/UnlabeledKnapsack-v2.mout.edg4
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList.mout.edg4
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList2.checks
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList2.mout
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList2.mout.edg4
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/hello.checks
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/hello.mout
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/hello.mout.edg4
copy pcontracts/src/tests/data/RoutineInstrumenter/{helloworld-v2.mout => helloworld-v2.mout.edg4} (100%)
copy pcontracts/src/tests/data/RoutineInstrumenter/{helloworld-v3.mout => helloworld-v3.mout.edg4} (100%)
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/helloworld.mout.edg4
copy pcontracts/src/tests/data/RoutineInstrumenter/{knapsack.mout => knapsack.mout.edg4} (100%)
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/simple.checks
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/simple.mout
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/simple.mout.edg4
copy pcontracts/src/tests/data/RoutineInstrumenter/{knapsack.mout => unlabeledknapsack.mout.edg4} (100%)
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/Knapsack-v2.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/SimpleClass.checks
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/SimpleClass.mout
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/SimpleClass.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/UnlabeledKnapsack-v2.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList2.checks
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList2.mout
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList2.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/hello.checks
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/hello.mout
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/hello.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/helloworld-v2.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/helloworld-v3.mout.edg4
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/helloworld.mout.edg4
copy pcontracts/src/tests/data/{RoutineInstrumenter/knapsack.mout => VisitInstrumenter/knapsack.mout.edg4} (100%)
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/simple.checks
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/simple.mout
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/simple.mout.edg4
copy pcontracts/src/tests/data/{RoutineInstrumenter/knapsack.mout => VisitInstrumenter/unlabeledknapsack.mout.edg4} (100%)
create mode 100644 pcontracts/src/tests/data/examples/SimpleClass.mout
create mode 100644 pcontracts/src/tests/data/examples/WeightsList2.mout
create mode 100644 pcontracts/src/tests/data/examples/hello.mout
create mode 100644 pcontracts/src/tests/data/examples/simple.mout
hooks/post-receive
--
compose-hpc
|
|
From: Jason D. <da...@us...> - 2014-02-22 18:01: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 4dba31488ae66670f248cee3f741e97c15885258 (commit)
from 0265558470c21b226ebf04f56a6bdc9e87337bc7 (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 4dba31488ae66670f248cee3f741e97c15885258
Author: Jason Dagit <da...@ga...>
Date: Sat Feb 22 10:00:47 2014 -0800
tree-utils: add antiunifyList function
-----------------------------------------------------------------------
Summary of changes:
rote/tree-utils/src/Data/Tree/AntiUnification.hs | 12 ++++++++++++
1 files changed, 12 insertions(+), 0 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-10-30 00:10:46
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".
The branch, master has been updated
via 0265558470c21b226ebf04f56a6bdc9e87337bc7 (commit)
via d5c80fbb45e60da6cd9bd07bd79ea14ef9a7ce1f (commit)
via e4586e514b9f94aa8458e3ce0e6a1f51b1d94cd3 (commit)
via f71eba219009c30fa4e7b22af2c2a8af7e2560b3 (commit)
from 24967b270a64faad1a188be6b61165d3aa09dffa (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 0265558470c21b226ebf04f56a6bdc9e87337bc7
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 29 16:57:54 2013 -0700
Completed initial pass at adding STATS instrumentation.
- Added a STATS log prior to termination due to a contract violation.
- Restructured visit processing through still did not resolve some
instrumentation case issues (related to AST nodes apparently not
being visited after inserting statements).
- Updated contents of some files used to generated (Doxygen) documentation.
- Removed problematic STATS instrumentation in helloworld-v3.cc after realizing
the AST was simply not visiting key nodes after statement insertions.
commit d5c80fbb45e60da6cd9bd07bd79ea14ef9a7ce1f
Author: T. Dahlgren <dah...@ll...>
Date: Mon Oct 28 14:45:29 2013 -0700
Enhance instrumentation test output to facilitate interpreting differences.
Prepend an annotation-related description to the instrumentation count to make
it easier to compare instrumentation number differences. Also restored the
non-STATS count (since still addressing instrumentation-related issues).
commit e4586e514b9f94aa8458e3ce0e6a1f51b1d94cd3
Author: T. Dahlgren <dah...@ll...>
Date: Mon Oct 28 14:07:50 2013 -0700
Recognize presence/absence of STATS instrumentation in tests cases.
commit f71eba219009c30fa4e7b22af2c2a8af7e2560b3
Author: T. Dahlgren <dah...@ll...>
Date: Mon Oct 28 13:59:57 2013 -0700
Enhanced the contract clause violation error message.
Added the file name and (instrumented) line number associated with the error.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 17 +++--
pcontracts/dox/contractsSource.html | 8 +-
pcontracts/dox/inputs_table.html | 17 +++--
pcontracts/include/ContractsEnforcer.h | 7 +-
pcontracts/include/ContractsProcessor.hpp | 4 +-
pcontracts/include/VisitContractsInstrumenter.hpp | 5 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 90 +++++++++++++++-----
pcontracts/src/drivers/Makefile | 19 +++--
.../src/drivers/VisitContractsInstrumenter.cpp | 74 +++++++++--------
pcontracts/src/examples/helloworld-v3.cc | 8 +-
pcontracts/src/runtime/ContractsEnforcer.c | 6 +-
.../data/RoutineInstrumenter/Knapsack-v2.checks | 15 ++--
.../data/RoutineInstrumenter/Knapsack-v2.mout | 2 +-
.../UnlabeledKnapsack-v2.checks | 15 ++--
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../data/RoutineInstrumenter/WeightsList.checks | 15 ++--
.../data/RoutineInstrumenter/WeightsList.mout | 2 +-
.../data/RoutineInstrumenter/helloworld-v2.checks | 15 ++--
.../data/RoutineInstrumenter/helloworld-v3.checks | 15 ++--
.../data/RoutineInstrumenter/helloworld.checks | 15 ++--
.../tests/data/RoutineInstrumenter/helloworld.mout | 2 +-
.../tests/data/RoutineInstrumenter/knapsack.checks | 15 ++--
.../RoutineInstrumenter/unlabeledknapsack.checks | 15 ++--
.../data/VisitInstrumenter/Knapsack-v2.checks | 15 ++--
.../tests/data/VisitInstrumenter/Knapsack-v2.mout | 2 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 15 ++--
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 2 +-
.../data/VisitInstrumenter/WeightsList.checks | 15 ++--
.../tests/data/VisitInstrumenter/WeightsList.mout | 2 +-
.../data/VisitInstrumenter/helloworld-v2.checks | 15 ++--
.../data/VisitInstrumenter/helloworld-v2.mout | 2 +-
.../data/VisitInstrumenter/helloworld-v3.checks | 15 ++--
.../data/VisitInstrumenter/helloworld-v3.mout | 2 +-
.../tests/data/VisitInstrumenter/helloworld.checks | 15 ++--
.../tests/data/VisitInstrumenter/helloworld.mout | 2 +-
.../tests/data/VisitInstrumenter/knapsack.checks | 15 ++--
.../VisitInstrumenter/unlabeledknapsack.checks | 15 ++--
37 files changed, 301 insertions(+), 214 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-10-23 02:16: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 24967b270a64faad1a188be6b61165d3aa09dffa (commit)
via 838c57be2cae7bfcb26fb7df789b4ff532ada1de (commit)
from 87483079e0b465cad700ffc9c33cb621f4f28aa1 (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 24967b270a64faad1a188be6b61165d3aa09dffa
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 22 19:09:43 2013 -0700
Generating selected built-in expression support and return type declarations.
Added necessary generation of the return type declaration and the include file
for the (two) built-in expressions (i.e., pce_in_range and pce_near_equal).
At present only two examples use a built-in expression (and only pce_in_range),
but testing reveals the code appears to be properly generated and the
instrumented codes build and execute properly.
commit 838c57be2cae7bfcb26fb7df789b4ff532ada1de
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 22 17:24:19 2013 -0700
Build tweaks to ensure complaining if a build issue arises.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/Makefile | 29 +++++++++++-
pcontracts/TODO | 2 -
pcontracts/include/ContractsProcessor.hpp | 15 ++++--
pcontracts/include/contractClauseTypes.hpp | 9 ++--
pcontracts/src/Makefile | 23 +++++++--
pcontracts/src/contracts/ContractsProcessor.cpp | 49 +++++++++++++++++++-
pcontracts/src/contracts/Makefile | 2 +-
pcontracts/src/drivers/Makefile | 28 +++++++----
pcontracts/src/examples/Makefile | 34 +++++++++-----
pcontracts/src/examples/Makefile.trans | 49 +++++++++++++++----
pcontracts/src/make.inc | 2 +
pcontracts/src/runtime/Makefile | 2 +-
pcontracts/src/tests/Makefile | 8 ++-
.../tests/data/RoutineInstrumenter/knapsack.checks | 2 +-
.../RoutineInstrumenter/unlabeledknapsack.checks | 2 +-
.../tests/data/VisitInstrumenter/knapsack.checks | 2 +-
.../VisitInstrumenter/unlabeledknapsack.checks | 2 +-
17 files changed, 197 insertions(+), 63 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-10-11 23:44: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 87483079e0b465cad700ffc9c33cb621f4f28aa1 (commit)
via 7355f6129523b5798b0f89942cbf45a27b30c4cc (commit)
from e78beec4070e8cc568124d2b0af0939b33c6c03d (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 87483079e0b465cad700ffc9c33cb621f4f28aa1
Author: T. Dahlgren <dah...@ll...>
Date: Fri Oct 11 16:42:57 2013 -0700
Snapshot of the addition of support for some built-in expression routines.
commit 7355f6129523b5798b0f89942cbf45a27b30c4cc
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 8 18:19:42 2013 -0700
Continued fleshing out annotations documentation and tightened expressions.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/Doxyfile | 3 +-
pcontracts/Makefile | 5 +-
pcontracts/TODO | 4 +-
pcontracts/dox/Annotations.dox | 66 +++++++---
pcontracts/dox/Programs.dox | 3 +-
pcontracts/dox/advanced_table.html | 58 ++++++++
pcontracts/dox/expressions_table.html | 35 +++++
pcontracts/dox/keywords_table.html | 24 +++
pcontracts/include/ExpressionRoutines.h | 78 ++++++++++
pcontracts/include/contractClauseTypes.hpp | 57 +++-----
pcontracts/src/contracts/ContractsProcessor.cpp | 31 +++--
pcontracts/src/examples/knapsack.c | 2 +-
pcontracts/src/examples/unlabeledknapsack.c | 2 +-
pcontracts/src/runtime/ExpressionRoutines.c | 82 +++++++++++
pcontracts/src/runtime/Makefile | 5 +-
pcontracts/src/tests/Makefile | 21 +++-
pcontracts/src/tests/testExpressionRoutines.c | 172 +++++++++++++++++++++++
17 files changed, 572 insertions(+), 76 deletions(-)
create mode 100644 pcontracts/dox/advanced_table.html
create mode 100644 pcontracts/dox/expressions_table.html
create mode 100644 pcontracts/dox/keywords_table.html
create mode 100644 pcontracts/include/ExpressionRoutines.h
create mode 100644 pcontracts/src/runtime/ExpressionRoutines.c
create mode 100644 pcontracts/src/tests/testExpressionRoutines.c
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-10-02 01:57:33
|
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 e78beec4070e8cc568124d2b0af0939b33c6c03d (commit)
from 65441a5decf5f369a7fc685d224ddeba7824e4f7 (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 e78beec4070e8cc568124d2b0af0939b33c6c03d
Author: T. Dahlgren <dah...@ll...>
Date: Tue Oct 1 18:53:21 2013 -0700
Preclude adding class invariant checks for 'is pure' methods.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 5 ++-
pcontracts/include/ContractComment.hpp | 19 +++++++++-
pcontracts/src/contracts/ContractsProcessor.cpp | 7 +++-
pcontracts/src/examples/Knapsack-v2.cpp | 35 ++++---------------
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 1 -
.../data/RoutineInstrumenter/Knapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.checks | 4 +-
.../data/VisitInstrumenter/Knapsack-v2.checks | 4 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 4 +-
9 files changed, 42 insertions(+), 41 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-09-27 22:13:16
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".
The branch, master has been updated
via 65441a5decf5f369a7fc685d224ddeba7824e4f7 (commit)
from 8bfb123a51d5607b4e69e8e06b5f926398be9583 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 65441a5decf5f369a7fc685d224ddeba7824e4f7
Author: T. Dahlgren <dah...@ll...>
Date: Fri Sep 27 15:11:11 2013 -0700
Documentation, build, and test updates and or fixes. Added new example too.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/README | 86 +++++++++---
pcontracts/TODO | 10 +-
pcontracts/dox/Annotations.dox | 34 +++--
pcontracts/dox/Build.dox | 8 +-
pcontracts/dox/Programs.dox | 8 +-
pcontracts/dox/annotations_table.html | 27 ++--
pcontracts/dox/inputs_table.html | 14 ++-
pcontracts/dox/knapsack.html | 5 +-
pcontracts/include/contractClauseTypes.hpp | 62 ++++----
pcontracts/src/contracts/ContractsProcessor.cpp | 72 +++++++---
pcontracts/src/contracts/Makefile | 2 +-
.../src/drivers/ContractAssertionPrinter.cpp | 93 ++++++++-----
pcontracts/src/drivers/ContractPrinter.cpp | 62 ++++++---
pcontracts/src/drivers/Makefile | 51 ++++---
pcontracts/src/examples/Knapsack-v2.cpp | 33 +++--
pcontracts/src/examples/Knapsack-v2.hpp | 7 +
pcontracts/src/examples/Makefile | 65 ++++++++-
pcontracts/src/examples/Makefile.trans | 51 ++++---
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 32 +++--
pcontracts/src/examples/UnlabeledKnapsack-v2.hpp | 7 +
pcontracts/src/examples/WeightsList.cpp | 152 ++++++++++++++++++++
pcontracts/src/examples/WeightsList.hpp | 79 ++++++++++
pcontracts/src/examples/knapsack.c | 4 +-
pcontracts/src/examples/unlabeledknapsack.c | 4 +-
pcontracts/src/make_test.inc | 4 +-
pcontracts/src/runtime/Makefile | 2 +-
pcontracts/src/tests/Makefile | 5 +-
.../data/RoutineInstrumenter/Knapsack-v2.checks | 0
.../data/RoutineInstrumenter/Knapsack-v2.mout | 0
.../UnlabeledKnapsack-v2.checks | 0
.../RoutineInstrumenter/UnlabeledKnapsack-v2.mout | 0
.../data/RoutineInstrumenter/WeightsList.checks} | 2 +-
.../data/RoutineInstrumenter/WeightsList.mout | 3 +
.../data/RoutineInstrumenter/helloworld-v2.checks | 0
.../data/RoutineInstrumenter/helloworld-v2.mout | 0
.../data/RoutineInstrumenter/helloworld-v3.checks | 0
.../data/RoutineInstrumenter/helloworld-v3.mout | 0
.../data/RoutineInstrumenter/helloworld.checks | 0
.../data/RoutineInstrumenter/helloworld.mout | 0
.../data/RoutineInstrumenter/knapsack.checks | 0
.../data/RoutineInstrumenter}/knapsack.mout | 20 +++
.../RoutineInstrumenter/unlabeledknapsack.checks | 0
.../RoutineInstrumenter/unlabeledknapsack.mout | 20 +++
.../data/VisitInstrumenter/Knapsack-v2.checks | 0
.../data/VisitInstrumenter/Knapsack-v2.mout | 0
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 0
.../VisitInstrumenter/UnlabeledKnapsack-v2.mout | 0
.../data/VisitInstrumenter/WeightsList.checks} | 2 +-
.../tests/data/VisitInstrumenter/WeightsList.mout | 3 +
.../data/VisitInstrumenter/helloworld-v2.checks | 0
.../data/VisitInstrumenter/helloworld-v2.mout | 0
.../data/VisitInstrumenter/helloworld-v3.checks | 0
.../data/VisitInstrumenter/helloworld-v3.mout | 0
.../data/VisitInstrumenter/helloworld.checks | 0
.../data/VisitInstrumenter/helloworld.mout | 0
.../data/VisitInstrumenter/knapsack.checks | 0
.../data/VisitInstrumenter}/knapsack.mout | 20 +++
.../VisitInstrumenter/unlabeledknapsack.checks | 0
.../data/VisitInstrumenter/unlabeledknapsack.mout | 20 +++
.../data/examples/Knapsack-v2.mout} | 20 +++
.../data/examples/UnlabeledKnapsack-v2.mout} | 20 +++
.../src/tests/data/examples/WeightsList.mout | 1 +
.../data/examples}/helloworld-v2.mout | 0
.../data/examples}/helloworld-v3.mout | 0
.../data/examples/helloworld.mout} | 0
.../data/examples}/knapsack.mout | 20 +++
.../data/examples}/unlabeledknapsack.mout | 20 +++
67 files changed, 905 insertions(+), 245 deletions(-)
create mode 100644 pcontracts/src/examples/WeightsList.cpp
create mode 100644 pcontracts/src/examples/WeightsList.hpp
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/Knapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/Knapsack-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/UnlabeledKnapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/UnlabeledKnapsack-v2.mout (100%)
copy pcontracts/src/{data/RoutineInstrumenter/helloworld.checks => tests/data/RoutineInstrumenter/WeightsList.checks} (85%)
create mode 100644 pcontracts/src/tests/data/RoutineInstrumenter/WeightsList.mout
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v2.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v3.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld-v3.mout (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld.checks (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/helloworld.mout (100%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/knapsack.checks (100%)
copy pcontracts/src/{data/VisitInstrumenter => tests/data/RoutineInstrumenter}/knapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/RoutineInstrumenter/unlabeledknapsack.checks (100%)
copy pcontracts/src/{ => tests}/data/RoutineInstrumenter/unlabeledknapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/Knapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/Knapsack-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/UnlabeledKnapsack-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/UnlabeledKnapsack-v2.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter/helloworld.checks => tests/data/VisitInstrumenter/WeightsList.checks} (85%)
create mode 100644 pcontracts/src/tests/data/VisitInstrumenter/WeightsList.mout
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v2.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v2.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v3.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld-v3.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/helloworld.mout (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/knapsack.checks (100%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/VisitInstrumenter}/knapsack.mout (97%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/unlabeledknapsack.checks (100%)
rename pcontracts/src/{ => tests}/data/VisitInstrumenter/unlabeledknapsack.mout (97%)
copy pcontracts/src/{data/VisitInstrumenter/knapsack.mout => tests/data/examples/Knapsack-v2.mout} (97%)
copy pcontracts/src/{data/VisitInstrumenter/knapsack.mout => tests/data/examples/UnlabeledKnapsack-v2.mout} (97%)
create mode 100644 pcontracts/src/tests/data/examples/WeightsList.mout
copy pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/helloworld-v2.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/helloworld-v3.mout (100%)
rename pcontracts/src/{data/RoutineInstrumenter/helloworld-v2.mout => tests/data/examples/helloworld.mout} (100%)
rename pcontracts/src/{data/VisitInstrumenter => tests/data/examples}/knapsack.mout (97%)
rename pcontracts/src/{data/RoutineInstrumenter => tests/data/examples}/unlabeledknapsack.mout (97%)
hooks/post-receive
--
compose-hpc
|
