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: Matt S. <ma...@us...> - 2013-04-15 19:16: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 66869c89767344f8ad27f6fa6cb4ecf279fe0d25 (commit)
from a5419744be9b104f0894f45afda36916b3b6bec4 (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 66869c89767344f8ad27f6fa6cb4ecf279fe0d25
Author: Matthew Sottile <ma...@ga...>
Date: Mon Apr 15 12:16:05 2013 -0700
readme
-----------------------------------------------------------------------
Summary of changes:
rote/stratego-sig-gen/README.txt | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
create mode 100644 rote/stratego-sig-gen/README.txt
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-04-15 19:11:42
|
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 a5419744be9b104f0894f45afda36916b3b6bec4 (commit)
from 827c58b62bd2ba4dbb1a6e4276225fe8e79424de (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 a5419744be9b104f0894f45afda36916b3b6bec4
Author: Matthew Sottile <ma...@ga...>
Date: Mon Apr 15 12:10:53 2013 -0700
edit
-----------------------------------------------------------------------
Summary of changes:
rote/stratego-sig-gen/SigGen/siggen.hs | 7 +++++++
1 files changed, 7 insertions(+), 0 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-04-15 19:10: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 827c58b62bd2ba4dbb1a6e4276225fe8e79424de (commit)
via 695e60f6209e3027c5ee6c3d2eedb1dd5a9bd9ee (commit)
from 6469cb705235aff412d96f84c5158694174462ae (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 827c58b62bd2ba4dbb1a6e4276225fe8e79424de
Merge: 695e60f 6469cb7
Author: Matthew Sottile <ma...@ga...>
Date: Mon Apr 15 12:08:15 2013 -0700
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 695e60f6209e3027c5ee6c3d2eedb1dd5a9bd9ee
Author: Matthew Sottile <ma...@ga...>
Date: Mon Apr 15 12:06:54 2013 -0700
quick and dirty hack to create constructors from a term file for
use in stratego.
-----------------------------------------------------------------------
Summary of changes:
rote/stratego-sig-gen/LICENSE | 30 ++++++++++
rote/stratego-sig-gen/Setup.hs | 2 +
rote/stratego-sig-gen/SigGen/siggen.hs | 81 ++++++++++++++++++++++++++
rote/stratego-sig-gen/stratego-sig-gen.cabal | 22 +++++++
rote/stratego-sig-gen/test.c | 6 ++
rote/stratego-sig-gen/test.trm | 1 +
6 files changed, 142 insertions(+), 0 deletions(-)
create mode 100644 rote/stratego-sig-gen/LICENSE
create mode 100644 rote/stratego-sig-gen/Setup.hs
create mode 100644 rote/stratego-sig-gen/SigGen/siggen.hs
create mode 100644 rote/stratego-sig-gen/stratego-sig-gen.cabal
create mode 100644 rote/stratego-sig-gen/test.c
create mode 100644 rote/stratego-sig-gen/test.trm
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-04-10 03:18:02
|
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 6469cb705235aff412d96f84c5158694174462ae (commit)
from 8eb4223ac53bdf5d1176bd5c88057485454433b0 (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 6469cb705235aff412d96f84c5158694174462ae
Author: T. Dahlgren <dah...@ll...>
Date: Tue Apr 9 20:11:39 2013 -0700
Snapshot of ASSERT support changes. Still a problem with one FINAL case.
- Addressed first executable contract clause issue (for partial enforcement
support) by separating the function. This actually makes more sense
anyway.
- Fixed some typos and assertion.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 17 +-
pcontracts/src/examples/AssertionExpression.hpp | 17 +--
pcontracts/src/examples/ContractComment.hpp | 2 +-
pcontracts/src/examples/ContractsProcessor.cpp | 282 +++++++++++++----------
pcontracts/src/examples/ContractsProcessor.hpp | 14 +-
pcontracts/src/examples/helloworld-v2.cc | 2 +-
pcontracts/src/examples/knapsack.c | 2 +-
pcontracts/src/runtime/ContractsEnforcer.c | 49 +++-
pcontracts/src/runtime/ContractsEnforcer.h | 37 +++-
pcontracts/src/tests/testContractsEnforcer.c | 16 +-
10 files changed, 254 insertions(+), 184 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-03-27 02:28: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 8eb4223ac53bdf5d1176bd5c88057485454433b0 (commit)
from 957f887a61dcb984fa7a834bc9d8336d860b57a8 (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 8eb4223ac53bdf5d1176bd5c88057485454433b0
Author: T. Dahlgren <dah...@ll...>
Date: Tue Mar 26 19:24:51 2013 -0700
Snapshot of preliminary ASSERT support (still work in progress).
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 16 +-
.../src/examples/ContractAssertionPrinter.cpp | 7 +-
pcontracts/src/examples/ContractComment.hpp | 43 +-
pcontracts/src/examples/ContractPrinter.cpp | 7 +-
pcontracts/src/examples/ContractsProcessor.cpp | 655 ++++++++++++--------
pcontracts/src/examples/ContractsProcessor.hpp | 11 +-
pcontracts/src/examples/Knapsack.cpp | 41 ++-
pcontracts/src/examples/UnlabeledKnapsack.cpp | 26 +
pcontracts/src/examples/helloworld.cc | 2 +-
pcontracts/src/examples/knapsack.c | 13 +
pcontracts/src/examples/unlabeledknapsack.c | 13 +
11 files changed, 559 insertions(+), 275 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-21 07:43: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 957f887a61dcb984fa7a834bc9d8336d860b57a8 (commit)
from b72036422125ae3849594bd220bfa5f460628b48 (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 957f887a61dcb984fa7a834bc9d8336d860b57a8
Author: Matthew Sottile <ma...@ga...>
Date: Thu Mar 21 00:42:38 2013 -0700
documentation of config format
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Util/Configuration.hs | 61 +++++++++++++++++++++++-
1 files changed, 60 insertions(+), 1 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-21 07:25:37
|
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 b72036422125ae3849594bd220bfa5f460628b48 (commit)
via 190f382aa3f8f5491b5dce30b35b56e3ab1c58ac (commit)
from 4f2b4e7f8e828670b7b9e2e3b33fe471bda4a7a8 (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 b72036422125ae3849594bd220bfa5f460628b48
Author: Matthew Sottile <ma...@ga...>
Date: Thu Mar 21 00:25:23 2013 -0700
post filter support
commit 190f382aa3f8f5491b5dce30b35b56e3ab1c58ac
Author: Matthew Sottile <ma...@ga...>
Date: Thu Mar 21 00:24:15 2013 -0700
added support for post filters
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Filter.hs | 13 ++++++++++++-
rote/struct-diff/RuleGen/Util/Configuration.hs | 3 ++-
rote/struct-diff/RuleGen/rulegen.hs | 13 +++++++++----
3 files changed, 23 insertions(+), 6 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-21 07:16: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 4f2b4e7f8e828670b7b9e2e3b33fe471bda4a7a8 (commit)
from 27e38abb9d44200b4cb767c6b560d60b3a7f308a (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 4f2b4e7f8e828670b7b9e2e3b33fe471bda4a7a8
Author: Matthew Sottile <ma...@ga...>
Date: Thu Mar 21 00:16:04 2013 -0700
oops - forgot to rename and clean
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Contextualizer.hs | 40 ++++++---------------------
rote/struct-diff/RuleGen/rulegen.hs | 2 +-
2 files changed, 10 insertions(+), 32 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-21 07:13: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 27e38abb9d44200b4cb767c6b560d60b3a7f308a (commit)
from 5940192837f5770d37e1f9ebc9edbf4f1e106256 (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 27e38abb9d44200b4cb767c6b560d60b3a7f308a
Author: Matthew Sottile <ma...@ga...>
Date: Thu Mar 21 00:11:18 2013 -0700
making progress towards contextualization and generalization
being ... useful
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Contextualizer.hs | 71 +++++++++++++++++--
rote/struct-diff/RuleGen/Generalize.hs | 2 +-
rote/struct-diff/RuleGen/Util/Configuration.hs | 5 +-
rote/struct-diff/RuleGen/Util/Graphviz.hs | 18 +++---
rote/struct-diff/RuleGen/Weaver.hs | 86 +++++++++++++-----------
rote/struct-diff/RuleGen/rulegen.hs | 6 +-
rote/struct-diff/example.config | 3 +
7 files changed, 128 insertions(+), 63 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-20 22:26:41
|
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 5940192837f5770d37e1f9ebc9edbf4f1e106256 (commit)
from 7eb87e2809bca8a7b3f3b584ca04d0f030678e6f (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 5940192837f5770d37e1f9ebc9edbf4f1e106256
Author: Matthew Sottile <ma...@ga...>
Date: Wed Mar 20 15:26:12 2013 -0700
separated out generalization from filtering - there was no
good reason to put those two together
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Filter.hs | 46 +-------------------
.../RuleGen/{Filter.hs => Generalize.hs} | 29 ++----------
rote/struct-diff/RuleGen/rulegen.hs | 1 +
3 files changed, 7 insertions(+), 69 deletions(-)
copy rote/struct-diff/RuleGen/{Filter.hs => Generalize.hs} (76%)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-20 22:22: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 7eb87e2809bca8a7b3f3b584ca04d0f030678e6f (commit)
from 565702213f98b2aacff024818de09a488c59890d (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 7eb87e2809bca8a7b3f3b584ca04d0f030678e6f
Author: Matthew Sottile <ma...@ga...>
Date: Wed Mar 20 15:21:43 2013 -0700
cleaning to move some replicated code off into a single function
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Util/Graphviz.hs | 7 ++++---
rote/struct-diff/RuleGen/rulegen.hs | 21 ++++++---------------
2 files changed, 10 insertions(+), 18 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-20 21:50:36
|
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 565702213f98b2aacff024818de09a488c59890d (commit)
from 6b4cd5d928262d33675527237e2306cd44cc446b (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 565702213f98b2aacff024818de09a488c59890d
Author: Matthew Sottile <ma...@ga...>
Date: Wed Mar 20 14:49:48 2013 -0700
refactoring to have four filtering phases represented
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Data/Labels.hs | 27 ++++++++
rote/struct-diff/RuleGen/Data/Trees.hs | 11 +---
rote/struct-diff/RuleGen/Filter.hs | 83 +++++-------------------
rote/struct-diff/RuleGen/Util/Configuration.hs | 69 ++++++++++++++++++++
rote/struct-diff/RuleGen/rulegen.hs | 29 ++++++--
5 files changed, 136 insertions(+), 83 deletions(-)
create mode 100644 rote/struct-diff/RuleGen/Data/Labels.hs
create mode 100644 rote/struct-diff/RuleGen/Util/Configuration.hs
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-20 20: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 6b4cd5d928262d33675527237e2306cd44cc446b (commit)
from e1683a2b5de7b03c04d4c8210df051e9a86b0f97 (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 6b4cd5d928262d33675527237e2306cd44cc446b
Author: Matthew Sottile <ma...@ga...>
Date: Wed Mar 20 13:49:22 2013 -0700
revising config
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/example.config | 40 +++++++++++++++++++++++++++++---------
1 files changed, 30 insertions(+), 10 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-03-13 02:11:21
|
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 e1683a2b5de7b03c04d4c8210df051e9a86b0f97 (commit)
via 9ca222d86a97a9fd7c4b282fafc5f855dc0203c9 (commit)
via e6d86ec8a04aeb1dc41e5594944c5abdb406abd3 (commit)
via 1e95db7b1e6e8481b9ca02f46470c03d799e7540 (commit)
via 6f90d0639cf763139c4591c75bd9909e24ea17f0 (commit)
via 7f13b25228274a32d1023b9e6dec6b280b13efe3 (commit)
via c49add859215c272c8dc892255eaae42f3b2873f (commit)
via 79e50b2b2a9405711ba9cc12d83b3c09f0394dbc (commit)
from e8f4b42d26897c6e3f5a6cb68e48ef8e962ab8c7 (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 e1683a2b5de7b03c04d4c8210df051e9a86b0f97
Merge: 9ca222d e8f4b42
Author: T. Dahlgren <dah...@ll...>
Date: Tue Mar 12 19:10:32 2013 -0700
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 9ca222d86a97a9fd7c4b282fafc5f855dc0203c9
Author: T. Dahlgren <dah...@ll...>
Date: Tue Mar 12 17:40:43 2013 -0700
Preliminary runtime support of contract assertion(s) clauses.
- Added runtime support for ASSERT clauses, which are assumed to be on par
with REQUIRE, ENSURE, and INVARIANT clauses.
- Added ContractsEnforcer ASSERT combinations test cases.
- Removed unnecessary enforcer creation helper routines.
commit e6d86ec8a04aeb1dc41e5594944c5abdb406abd3
Merge: 1e95db7 29d876d
Author: T. Dahlgren <dah...@ll...>
Date: Tue Mar 12 15:04:58 2013 -0700
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 1e95db7b1e6e8481b9ca02f46470c03d799e7540
Author: T. Dahlgren <dah...@ll...>
Date: Thu Mar 7 19:17:12 2013 -0800
Resolved (or worked around) inlined INIT and FINAL instrumentation issues.
The visitor version of the contract instrumenter now adds INIT and FINAL
instrumentation to the routine (sans comments as those caused problems).
Also extracting INVARIANT clause information not associated with or
located around function definitions and adding those checks to non-instance
routines.
(Still need to address partial enforcement mechanisms.)
commit 6f90d0639cf763139c4591c75bd9909e24ea17f0
Merge: 7f13b25 7b41016
Author: T. Dahlgren <dah...@ll...>
Date: Thu Mar 7 14:55:17 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 7f13b25228274a32d1023b9e6dec6b280b13efe3
Author: T. Dahlgren <dah...@ll...>
Date: Thu Feb 28 21:03:29 2013 -0800
Snapshot of latest contracts visitor.
Added work around for in-lined INIT and FINAL so visitor doesn't prematurely
terminate (on INIT processing). Also moved contract enforcement
instrumentation comments since the BEGIN and END are excessive.
commit c49add859215c272c8dc892255eaae42f3b2873f
Merge: 79e50b2 71b0531
Author: T. Dahlgren <dah...@ll...>
Date: Thu Feb 28 14:05:20 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 79e50b2b2a9405711ba9cc12d83b3c09f0394dbc
Author: T. Dahlgren <dah...@ll...>
Date: Thu Feb 21 22:13:39 2013 -0800
Snapshot of contracts visitor instrumentation version that generates code.
Completed a pass at the visitor instrumenter, which now generates code.
Unfortunately, there are issues with some of the generated code and
further testing is still needed. At present, for example, INIT
annotations within routine bodies will generate the initialization routine i
but more time is needed to determine why the generated code does not compile.
Additional checks were also added to the generated code makefiles.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 18 +-
pcontracts/src/examples/ContractComment.hpp | 3 +-
pcontracts/src/examples/ContractsProcessor.cpp | 276 +++++++++---
pcontracts/src/examples/ContractsProcessor.hpp | 6 +-
pcontracts/src/examples/Knapsack.cpp | 3 +
pcontracts/src/examples/Makefile | 18 +-
pcontracts/src/examples/Makefile.rtrans | 103 -----
.../src/examples/{Makefile => Makefile.test} | 6 +-
pcontracts/src/examples/Makefile.trans | 96 ++++-
.../src/examples/RoutineContractInstrumenter.cpp | 14 +-
pcontracts/src/examples/UnlabeledKnapsack.cpp | 2 +
.../src/examples/VisitContractsInstrumenter.cpp | 28 +-
.../src/examples/VisitContractsInstrumenter.hpp | 2 +-
pcontracts/src/examples/helloworld-v2.cc | 9 +-
pcontracts/src/examples/helloworld.cc | 9 +-
pcontracts/src/runtime/ContractsEnforcer.c | 472 +-------------------
pcontracts/src/runtime/Makefile | 4 +-
pcontracts/src/runtime/contractOptions.h | 74 +++-
pcontracts/src/runtime/contractPrivateTypes.h | 8 +-
pcontracts/src/runtime/contracts.h | 18 +-
pcontracts/src/tests/testContractsEnforcer.c | 48 ++-
21 files changed, 514 insertions(+), 703 deletions(-)
delete mode 100644 pcontracts/src/examples/Makefile.rtrans
copy pcontracts/src/examples/{Makefile => Makefile.test} (98%)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-13 00:59:49
|
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 e8f4b42d26897c6e3f5a6cb68e48ef8e962ab8c7 (commit)
via 5399b5f43c86cb75f4180eb240bf5bd2d1452c58 (commit)
from 29d876d3c9ffe3a3a5a6c1295c39695014935782 (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 e8f4b42d26897c6e3f5a6cb68e48ef8e962ab8c7
Author: Matthew Sottile <ma...@ga...>
Date: Tue Mar 12 17:58:56 2013 -0700
updates based on reorganization
commit 5399b5f43c86cb75f4180eb240bf5bd2d1452c58
Author: Matthew Sottile <ma...@ga...>
Date: Tue Mar 12 17:58:33 2013 -0700
edits before big tree changes
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Filter.hs | 16 +---------------
rote/struct-diff/RuleGen/Util/Misc.hs | 21 +++++++++++++++++++++
rote/struct-diff/example.config | 12 +++++++++++-
rote/struct-diff/rulegen.cabal | 6 +++---
4 files changed, 36 insertions(+), 19 deletions(-)
create mode 100644 rote/struct-diff/RuleGen/Util/Misc.hs
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-12 21:55: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 29d876d3c9ffe3a3a5a6c1295c39695014935782 (commit)
via a5e1494e157121f22ee64b725ddb7d36f1903a42 (commit)
from 84b87db13969e2aa43c9795aac142f050798454e (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 29d876d3c9ffe3a3a5a6c1295c39695014935782
Author: Matthew Sottile <ma...@ga...>
Date: Tue Mar 12 14:53:44 2013 -0700
stupid OSX dotfile slipped in
commit a5e1494e157121f22ee64b725ddb7d36f1903a42
Author: Matthew Sottile <ma...@ga...>
Date: Tue Mar 12 14:53:13 2013 -0700
reorganizing files to bring a bit more order to the layout of the code
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Contextualizer.hs | 4 ++--
.../RuleGen/{AtermUtilities.hs => Data/Aterm.hs} | 4 ++--
rote/struct-diff/RuleGen/{ => Data}/Trees.hs | 2 +-
rote/struct-diff/RuleGen/Filter.hs | 8 +-------
rote/struct-diff/RuleGen/Pruner.hs | 2 +-
rote/struct-diff/RuleGen/{ => Util}/CmdlineArgs.hs | 2 +-
.../RuleGen/{GraphvizUtil.hs => Util/Graphviz.hs} | 6 +++---
rote/struct-diff/RuleGen/{ => Util}/IDGen.hs | 2 +-
rote/struct-diff/RuleGen/Weaver.hs | 2 +-
rote/struct-diff/RuleGen/Yang.hs | 2 +-
rote/struct-diff/RuleGen/rulegen.hs | 14 +++++++-------
11 files changed, 21 insertions(+), 27 deletions(-)
rename rote/struct-diff/RuleGen/{AtermUtilities.hs => Data/Aterm.hs} (96%)
rename rote/struct-diff/RuleGen/{ => Data}/Trees.hs (99%)
rename rote/struct-diff/RuleGen/{ => Util}/CmdlineArgs.hs (97%)
rename rote/struct-diff/RuleGen/{GraphvizUtil.hs => Util/Graphviz.hs} (97%)
rename rote/struct-diff/RuleGen/{ => Util}/IDGen.hs (95%)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-12 00:50: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 84b87db13969e2aa43c9795aac142f050798454e (commit)
from 6477f7bd93a1030e239ed7e4d811632f97ee580d (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 84b87db13969e2aa43c9795aac142f050798454e
Author: Matthew Sottile <ma...@ga...>
Date: Mon Mar 11 17:50:29 2013 -0700
example for dealing with pragmas
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/tests/simple/pragmas.spec | 7 +++++++
.../tests/simple/pragmas/pragmas_post.c | 6 ++++++
.../tests/simple/pragmas/pragmas_post.trm | 1 +
.../struct-diff/tests/simple/pragmas/pragmas_pre.c | 6 ++++++
.../tests/simple/pragmas/pragmas_pre.trm | 1 +
5 files changed, 21 insertions(+), 0 deletions(-)
create mode 100644 rote/struct-diff/tests/simple/pragmas.spec
create mode 100644 rote/struct-diff/tests/simple/pragmas/pragmas_post.c
create mode 100644 rote/struct-diff/tests/simple/pragmas/pragmas_post.trm
create mode 100644 rote/struct-diff/tests/simple/pragmas/pragmas_pre.c
create mode 100644 rote/struct-diff/tests/simple/pragmas/pragmas_pre.trm
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-12 00:47:29
|
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 6477f7bd93a1030e239ed7e4d811632f97ee580d (commit)
from d26b7fb153e8b9b8c2a4fc2d96f04a4a71e8f940 (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 6477f7bd93a1030e239ed7e4d811632f97ee580d
Author: Matthew Sottile <ma...@ga...>
Date: Mon Mar 11 17:47:10 2013 -0700
script to clean up
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/tests/simple/cleaner.sh | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
create mode 100644 rote/struct-diff/tests/simple/cleaner.sh
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-12 00:38:49
|
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 d26b7fb153e8b9b8c2a4fc2d96f04a4a71e8f940 (commit)
from a19d79ce3f0a742f00e1d852dde72778945aec59 (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 d26b7fb153e8b9b8c2a4fc2d96f04a4a71e8f940
Author: Matthew Sottile <ma...@ga...>
Date: Mon Mar 11 17:38:32 2013 -0700
fixes to generalization
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/Filter.hs | 2 +-
rote/struct-diff/example.config | 1 -
2 files changed, 1 insertions(+), 2 deletions(-)
hooks/post-receive
--
compose-hpc
|
|
From: Matt S. <ma...@us...> - 2013-03-12 00:30:03
|
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 a19d79ce3f0a742f00e1d852dde72778945aec59 (commit)
from 7b41016b94db91482869536bf857c4d25544b6b5 (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 a19d79ce3f0a742f00e1d852dde72778945aec59
Author: Matthew Sottile <ma...@ga...>
Date: Mon Mar 11 17:29:00 2013 -0700
changes
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/RuleGen/CmdlineArgs.hs | 24 +++++---
rote/struct-diff/RuleGen/Filter.hs | 97 +++++++++++++++++++++++++++----
rote/struct-diff/RuleGen/rulegen.hs | 8 ++-
rote/struct-diff/example.config | 5 ++
rote/struct-diff/rulegen.cabal | 2 +-
rote/struct-diff/tests/large1/in.c | 2 +-
rote/struct-diff/tests/large1/out.c | 2 +-
rote/struct-diff/tests/large2/in.c | 2 +-
rote/struct-diff/tests/large2/out.c | 2 +-
9 files changed, 119 insertions(+), 25 deletions(-)
create mode 100644 rote/struct-diff/example.config
hooks/post-receive
--
compose-hpc
|
|
From: Geoff H. <ghu...@us...> - 2013-03-05 21:40:43
|
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 7b41016b94db91482869536bf857c4d25544b6b5 (commit)
from 71b0531b18c38185b925ac8e3f501eb428fed7a3 (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 7b41016b94db91482869536bf857c4d25544b6b5
Author: Geoff Hulette <ghu...@gm...>
Date: Tue Mar 5 13:38:56 2013 -0800
Array to pointer example
-----------------------------------------------------------------------
Summary of changes:
rote/struct-diff/tests/array-to-pointer/ex1.c | 7 +++++++
rote/struct-diff/tests/array-to-pointer/ex2.c | 7 +++++++
2 files changed, 14 insertions(+), 0 deletions(-)
create mode 100644 rote/struct-diff/tests/array-to-pointer/ex1.c
create mode 100644 rote/struct-diff/tests/array-to-pointer/ex2.c
hooks/post-receive
--
compose-hpc
|
|
From: Wael E. <wel...@us...> - 2013-02-22 15:18: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 71b0531b18c38185b925ac8e3f501eb428fed7a3 (commit)
from e97848472c232cc053e5cbc946dd7bc6e90c166b (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 71b0531b18c38185b925ac8e3f501eb428fed7a3
Author: Wael R. Elwasif <el...@ka...>
Date: Fri Feb 22 10:15:09 2013 -0500
Initial CULA working dir and example
-----------------------------------------------------------------------
Summary of changes:
rote/cula/examples/ex_cula.f | 18 ++
rote/cula/examples/ex_cula.trm | 3 +
rote/cula/examples/ex_cula_pretty.trm | 408 +++++++++++++++++++++++++++++++
rote/cula/examples/ex_lapack.f | 16 ++
rote/cula/examples/ex_lapack.trm | 2 +
rote/cula/examples/ex_lapack_pretty.trm | 401 ++++++++++++++++++++++++++++++
rote/cula/examples/rule.str | 27 ++
7 files changed, 875 insertions(+), 0 deletions(-)
create mode 100644 rote/cula/examples/ex_cula.f
create mode 100644 rote/cula/examples/ex_cula.trm
create mode 100644 rote/cula/examples/ex_cula_pretty.trm
create mode 100644 rote/cula/examples/ex_lapack.f
create mode 100644 rote/cula/examples/ex_lapack.trm
create mode 100644 rote/cula/examples/ex_lapack_pretty.trm
create mode 100644 rote/cula/examples/rule.str
hooks/post-receive
--
compose-hpc
|
|
From: Tom E. <tep...@us...> - 2013-02-12 16:52: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 e97848472c232cc053e5cbc946dd7bc6e90c166b (commit)
via 807befe6d9ceed38663a446b037fc10569f5a023 (commit)
via e1463698aff5a00c75af59231a769a2593fb7060 (commit)
via b03b3db8a65836741f46119dda48d7d41d7e4795 (commit)
from 4676d73078fb1185871bfd1993ad3a1f08ad4f5d (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 e97848472c232cc053e5cbc946dd7bc6e90c166b
Merge: 807befe 4676d73
Author: Tom Epperly <epp...@ll...>
Date: Tue Feb 12 08:51:38 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 807befe6d9ceed38663a446b037fc10569f5a023
Author: Tom Epperly <epp...@ll...>
Date: Tue Feb 12 08:50:55 2013 -0800
Rename sidl.def & sidl.py to sidlir.def & sidlir.py. This avoids a name conflict between Babel's sidl.py and Braid's sidl.py
commit e1463698aff5a00c75af59231a769a2593fb7060
Author: Tom Epperly <epp...@ll...>
Date: Mon Feb 11 15:57:00 2013 -0800
Change bug reporting email address to com...@ll...
commit b03b3db8a65836741f46119dda48d7d41d7e4795
Author: Tom Epperly <epp...@ll...>
Date: Mon Feb 11 13:16:46 2013 -0800
Commit changes required to compile on tux316 (a Fedora Core) machine.
-----------------------------------------------------------------------
Summary of changes:
braid/Makefile.in | 1256 ++++----
braid/README | 2 +-
braid/aclocal.m4 | 151 +-
braid/braid/Makefile.include | 10 +-
braid/braid/babel.py | 82 +-
braid/braid/backend.py | 76 +-
braid/braid/braid.py | 2 +-
braid/braid/burg.py | 4 +-
braid/braid/chapel/chpl.py | 10 +-
braid/braid/chapel/chpl_backend.py | 72 +-
braid/braid/chapel/chpl_code.py | 24 +-
braid/braid/chapel/chpl_conversions.burg | 19 +-
braid/braid/chapel/chpl_makefile.py | 2 +-
braid/braid/codegen.py | 100 +-
braid/braid/config.py.in | 2 +-
braid/braid/gramola.pl | 2 +-
braid/braid/ior.py | 6 +-
braid/braid/ior_template.py | 150 +-
braid/braid/ir.def | 4 +-
braid/braid/ir.py | 2 +-
braid/braid/parse_tree.py | 2 +-
braid/braid/patmat.py | 2 +-
braid/braid/rote2braid.py | 2 +-
braid/braid/scanner.l | 2 +-
braid/braid/sidl.py | 3725 --------------------
braid/braid/sidl_parser.py | 138 +-
braid/braid/sidl_symbols.py | 82 +-
braid/braid/sidl_token.py | 2 +-
braid/braid/{sidl.def => sidlir.def} | 4 +-
braid/braid/sidlobjects.py | 70 +-
braid/braid/splicer.py | 2 +-
braid/braid/upc/upc.py | 8 +-
braid/braid/upc/upc_backend.py | 58 +-
braid/braid/upc/upc_code.py | 4 +-
braid/braid/upc/upc_conversions.burg | 8 +-
braid/braid/upc/upc_makefile.py | 2 +-
braid/braid/utils.py | 2 +-
braid/config/config.guess | 259 +-
braid/config/config.sub | 204 +-
braid/config/depcomp | 190 +-
braid/config/install-sh | 29 +-
braid/config/ltmain.sh | 95 +-
braid/config/missing | 53 +-
braid/config/py-compile | 51 +-
braid/config/texinfo.tex | 2100 ++++++++----
braid/config/ylwrap | 34 +-
braid/configure | 578 ++--
braid/doc/braid.1 | 69 +-
braid/doc/users_guide.html | 12 +-
braid/examples/sandbox/hpl/libChpl/sidl.chpl | 2 +-
braid/examples/sandbox/ptrans/libChpl/sidl.chpl | 2 +-
braid/examples/sandbox/ptrans/runChpl/sidl.chpl | 2 +-
braid/m4/libtool.m4 | 271 ++-
braid/m4/ltoptions.m4 | 19 +-
braid/m4/ltversion.m4 | 10 +-
braid/regression/interop/build-client.sh.in | 16 +-
.../interop/struct/runChapel/structtest.chpl | 20 +-
braid/regression/interop/tests.mk | 2 +-
58 files changed, 3744 insertions(+), 6363 deletions(-)
delete mode 100644 braid/braid/sidl.py
rename braid/braid/{sidl.def => sidlir.def} (99%)
mode change 100755 => 100644 braid/config/ltmain.sh
hooks/post-receive
--
compose-hpc
|
|
From: T. D. <tld...@us...> - 2013-02-08 16:48:53
|
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 4676d73078fb1185871bfd1993ad3a1f08ad4f5d (commit)
via f8c57724b94e2738d18fff9aa16a51ffc28cdd49 (commit)
via e85369d244bbdf6a5efe624e4ade2674099850ab (commit)
via ed3bd5509c38e5482a96723cab0df73d33b6b6b0 (commit)
via 4c192fc3da2146929264be345ab0cefe70f92e58 (commit)
via 6389ebc827c712d7ea64a95b930531d85acb9d35 (commit)
via e7795f603377fca8c27c653937b3666947507aa1 (commit)
from eeba70d7643ab6bc64714de50ca9441c5e91ebfb (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 4676d73078fb1185871bfd1993ad3a1f08ad4f5d
Merge: f8c5772 eeba70d
Author: T. Dahlgren <dah...@ll...>
Date: Thu Feb 7 18:59:42 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit f8c57724b94e2738d18fff9aa16a51ffc28cdd49
Author: T. Dahlgren <dah...@ll...>
Date: Thu Feb 7 18:57:43 2013 -0800
Latest snapshot of contract enforcement work with emphasis on visitor version.
commit e85369d244bbdf6a5efe624e4ade2674099850ab
Author: T. Dahlgren <dah...@ll...>
Date: Thu Jan 31 18:54:53 2013 -0800
Snapshot of latest refactoring efforts. Visitor work not quite complete.
commit ed3bd5509c38e5482a96723cab0df73d33b6b6b0
Merge: 4c192fc d4707d9
Author: T. Dahlgren <dah...@ll...>
Date: Thu Jan 31 14:30:03 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 4c192fc3da2146929264be345ab0cefe70f92e58
Merge: 6389ebc 4e92f00
Author: T. Dahlgren <dah...@ll...>
Date: Thu Jan 24 11:56:11 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit 6389ebc827c712d7ea64a95b930531d85acb9d35
Merge: e7795f6 8e3a563
Author: T. Dahlgren <dah...@ll...>
Date: Thu Jan 24 09:23:41 2013 -0800
Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc
commit e7795f603377fca8c27c653937b3666947507aa1
Author: T. Dahlgren <dah...@ll...>
Date: Tue Jan 22 11:33:55 2013 -0800
Preliminary/draft contracts instrumentation visitor version.
-----------------------------------------------------------------------
Summary of changes:
braid/upc/Makefile.include | 142 ----
pcontracts/TODO | 30 +-
pcontracts/src/examples/AssertionExpression.hpp | 34 +-
.../src/examples/ContractAssertionPrinter.cpp | 15 +-
pcontracts/src/examples/ContractComment.hpp | 50 ++-
pcontracts/src/examples/ContractPrinter.cpp | 14 +-
pcontracts/src/examples/ContractsProcessor.cpp | 781 ++++++++++++++------
pcontracts/src/examples/ContractsProcessor.hpp | 45 +-
pcontracts/src/examples/Knapsack.cpp | 6 +-
pcontracts/src/examples/Makefile | 18 +-
.../examples/{Makefile.trans => Makefile.rtrans} | 13 +-
pcontracts/src/examples/Makefile.trans | 15 +-
pcontracts/src/examples/RoseHelpers.cpp | 44 +-
pcontracts/src/examples/RoseHelpers.hpp | 19 +-
.../src/examples/RoutineContractInstrumenter.cpp | 2 +-
pcontracts/src/examples/UnlabeledKnapsack.cpp | 4 +-
.../src/examples/VisitContractsInstrumenter.cpp | 177 +++---
.../src/examples/VisitContractsInstrumenter.hpp | 67 +-
pcontracts/src/examples/helloworld.cc | 2 +-
pcontracts/src/runtime/Makefile | 2 +-
20 files changed, 927 insertions(+), 553 deletions(-)
delete mode 100644 braid/upc/Makefile.include
copy pcontracts/src/examples/{Makefile.trans => Makefile.rtrans} (86%)
hooks/post-receive
--
compose-hpc
|
|
From: Tom E. <tep...@us...> - 2013-02-02 01:05:22
|
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 eeba70d7643ab6bc64714de50ca9441c5e91ebfb (commit)
from 457883c5b71135613d369b5f7e07718315faba1c (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 eeba70d7643ab6bc64714de50ca9441c5e91ebfb
Author: Tom Epperly <epp...@ll...>
Date: Fri Feb 1 17:05:08 2013 -0800
Add newdefinition.
-----------------------------------------------------------------------
Summary of changes:
braid/braid/braid.in | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)
hooks/post-receive
--
compose-hpc
|
