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: adrian <adr...@us...> - 2013-01-22 21:18:57
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via 5b9b23941b97d19e5dabed0c56f8fac118f9720a (commit) from 7b92edd201a8fd7b351178a6e7a4b3e73b981cab (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 5b9b23941b97d19e5dabed0c56f8fac118f9720a Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 22 13:18:07 2013 -0800 delete some more redundant make rules ----------------------------------------------------------------------- Summary of changes: paul/libpaul/src/Makefile.am | 10 ---------- paul/libpaul/tests/Makefile.am | 7 +------ 2 files changed, 1 insertions(+), 16 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-22 21: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 7b92edd201a8fd7b351178a6e7a4b3e73b981cab (commit) via 0a5a66872dffa7cfbb2801dfc0974b450eb69e37 (commit) via 7b054f7b61ddcb8a63ca2e55417a9ec4a5a88678 (commit) via 623280a0c1d17add0a6695f528809a9db54d7e37 (commit) via 4e4710412b4383863edc58a3e4ed89ce7c005677 (commit) from 028e99a0fc29242eeb7ff7cee130483784b6efbd (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 7b92edd201a8fd7b351178a6e7a4b3e73b981cab Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 22 13:06:08 2013 -0800 vastly simplified makefiles + make -j distcheck works now commit 0a5a66872dffa7cfbb2801dfc0974b450eb69e37 Merge: 7b054f7 028e99a Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 22 09:59:59 2013 -0800 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit 7b054f7b61ddcb8a63ca2e55417a9ec4a5a88678 Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 22 09:59:52 2013 -0800 add contracts <-> sexpr parsers commit 623280a0c1d17add0a6695f528809a9db54d7e37 Merge: 4e47104 ebe8ac2 Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 22 09:52:32 2013 -0800 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit 4e4710412b4383863edc58a3e4ed89ce7c005677 Author: Adrian Prantl <ad...@ll...> Date: Fri Jan 18 15:00:25 2013 -0800 package bxl ----------------------------------------------------------------------- Summary of changes: paul/bxl/Makefile.am | 3 + paul/bxl/bxl.in | 3 + paul/bxl/configure | 3817 ++++++++++++++++++++++++++++++++ paul/bxl/configure.ac | 18 + paul/libpaul/AUTHORS | 3 +- paul/libpaul/config.h.in | 3 + paul/libpaul/configure.ac | 8 +- paul/libpaul/src/KVAnnotationValue.cpp | 2 + paul/libpaul/src/Makefile.am | 62 +- paul/libpaul/src/scanner.l | 4 - paul/libpaul/tests/Makefile.am | 49 +- paul/libpaul/tests/contract2sexp.bxl | 78 + paul/libpaul/tests/sexp2contract.bxl | 66 + 13 files changed, 4034 insertions(+), 82 deletions(-) create mode 100644 paul/bxl/Makefile.am create mode 100644 paul/bxl/bxl.in create mode 100755 paul/bxl/configure create mode 100644 paul/bxl/configure.ac create mode 100755 paul/libpaul/tests/contract2sexp.bxl create mode 100755 paul/libpaul/tests/sexp2contract.bxl hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-01-22 17:58: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 028e99a0fc29242eeb7ff7cee130483784b6efbd (commit) from ebe8ac252263703cb3c9be469adde909808694d3 (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 028e99a0fc29242eeb7ff7cee130483784b6efbd Author: T. Dahlgren <dah...@ll...> Date: Tue Jan 22 09:57:22 2013 -0800 Added missing RoseUtilities files. ----------------------------------------------------------------------- Summary of changes: .../libpaul/src/RoseUtilities.cpp | 139 +++++--------------- paul/libpaul/src/RoseUtilities.hpp | 99 ++++++++++++++ 2 files changed, 134 insertions(+), 104 deletions(-) copy pcontracts/src/examples/RoseHelpers.cpp => paul/libpaul/src/RoseUtilities.cpp (59%) create mode 100644 paul/libpaul/src/RoseUtilities.hpp hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2013-01-22 17:47: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 ebe8ac252263703cb3c9be469adde909808694d3 (commit) via 220f6733c344c38e272ea06570586ff2987518ed (commit) via 2cc6b011d7c4f93e298441a79aab6e8280486eb1 (commit) via cbf9faeafa7a088af3469a2cee5782397c79bfbf (commit) via 294962b9d94e2a45402cfd4fbfd1a06a860d7f3c (commit) from 6df05712e756bcc6751249413304d9cbe2a80e54 (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 ebe8ac252263703cb3c9be469adde909808694d3 Author: T. Dahlgren <dah...@ll...> Date: Tue Jan 22 09:46:48 2013 -0800 Doxygen tweaks. commit 220f6733c344c38e272ea06570586ff2987518ed Author: T. Dahlgren <dah...@ll...> Date: Tue Jan 22 09:28:19 2013 -0800 Added missing Utilities files. commit 2cc6b011d7c4f93e298441a79aab6e8280486eb1 Merge: cbf9fae 6df0571 Author: T. Dahlgren <dah...@ll...> Date: Thu Jan 17 10:10:16 2013 -0800 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit cbf9faeafa7a088af3469a2cee5782397c79bfbf Author: T. Dahlgren <dah...@ll...> Date: Fri Dec 21 14:18:32 2012 -0800 Adding two simple examples. commit 294962b9d94e2a45402cfd4fbfd1a06a860d7f3c Author: T. Dahlgren <dah...@ll...> Date: Fri Dec 21 12:28:52 2012 -0800 Disable STL doxygen option since over-populates classes list. ----------------------------------------------------------------------- Summary of changes: paul/libpaul/src/Utilities.cpp | 125 ++++++++++++++++++++++++++++++ paul/libpaul/src/Utilities.h | 68 ++++++++++++++++ pcontracts/Doxyfile | 8 ++- pcontracts/src/examples/helloworld-v2.cc | 35 ++++++++ pcontracts/src/examples/helloworld.cc | 32 ++++++++ 5 files changed, 266 insertions(+), 2 deletions(-) create mode 100644 paul/libpaul/src/Utilities.cpp create mode 100644 paul/libpaul/src/Utilities.h create mode 100644 pcontracts/src/examples/helloworld-v2.cc create mode 100644 pcontracts/src/examples/helloworld.cc hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-16 21:29:10
|
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 6df05712e756bcc6751249413304d9cbe2a80e54 (commit) from 62815b3c35c9c4dfbfd5116269f39044157323f7 (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 6df05712e756bcc6751249413304d9cbe2a80e54 Author: Adrian Prantl <ad...@ll...> Date: Wed Jan 16 13:26:54 2013 -0800 build chapel-related targets conditionally ----------------------------------------------------------------------- Summary of changes: braid/Makefile.am | 2 + braid/Makefile.in | 1561 +++++++++++++++++++++++-------------- braid/aclocal.m4 | 466 ++++++------ braid/configure | 1367 +++++++++++++++++++-------------- braid/doc/braid.1 | 2 +- braid/doc/users_guide.html | 4 +- braid/regression/interop/tests.mk | 2 +- braid/upc/Makefile.include | 2 +- 8 files changed, 1978 insertions(+), 1428 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-16 19:59: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 62815b3c35c9c4dfbfd5116269f39044157323f7 (commit) from 77f73f81b201fb16e7df32ab0bce25221a0bc6b9 (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 62815b3c35c9c4dfbfd5116269f39044157323f7 Author: Adrian Prantl <ad...@ll...> Date: Wed Jan 16 11:58:37 2013 -0800 add an extra check for libfl for fedora ----------------------------------------------------------------------- Summary of changes: braid/configure | 910 ++++++++++++++++++++++++---------------------------- braid/configure.ac | 4 +- 2 files changed, 430 insertions(+), 484 deletions(-) hooks/post-receive -- compose-hpc |
From: Tom E. <tep...@us...> - 2013-01-16 18:59: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 77f73f81b201fb16e7df32ab0bce25221a0bc6b9 (commit) from ae25802efda8e5ce203c1d9cecf4d0b9b6df6b2c (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 77f73f81b201fb16e7df32ab0bce25221a0bc6b9 Author: Tom Epperly <epp...@ll...> Date: Wed Jan 16 10:58:52 2013 -0800 Fix UPC configuration to not cause errors. ----------------------------------------------------------------------- Summary of changes: braid/Makefile.in | 689 +++++++++++++++++++++++--------------------- braid/aclocal.m4 | 147 +++++++--- braid/configure | 119 ++++++-- braid/configure.ac | 4 +- braid/m4/upc-noerror.m4 | 6 +- braid/upc/Makefile.include | 2 +- 6 files changed, 565 insertions(+), 402 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-16 18:48:52
|
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 ae25802efda8e5ce203c1d9cecf4d0b9b6df6b2c (commit) from cc2f9f4d7d58d175f7e16e6cf21e938f2dc51244 (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 ae25802efda8e5ce203c1d9cecf4d0b9b6df6b2c Author: Adrian Prantl <ad...@ll...> Date: Wed Jan 16 10:46:38 2013 -0800 make UPC an optional feature ----------------------------------------------------------------------- Summary of changes: braid/Makefile.am | 1 + braid/Makefile.in | 696 ++++++++++++++++++------------------- braid/NEWS | 4 +- braid/aclocal.m4 | 171 +++------- braid/configure | 114 ++----- braid/configure.ac | 2 +- braid/doc/braid.1 | 2 +- braid/doc/users_guide.html | 6 +- braid/m4/upc-noerror.m4 | 21 ++ braid/regression/interop/tests.mk | 2 +- 10 files changed, 430 insertions(+), 589 deletions(-) create mode 100644 braid/m4/upc-noerror.m4 hooks/post-receive -- compose-hpc |
From: Tom E. <tep...@us...> - 2013-01-16 18:33: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 cc2f9f4d7d58d175f7e16e6cf21e938f2dc51244 (commit) from c337aa043e52002fafe0ad8d36c7340f6ef00b7a (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 cc2f9f4d7d58d175f7e16e6cf21e938f2dc51244 Author: Tom Epperly <epp...@ll...> Date: Wed Jan 16 10:32:49 2013 -0800 Fix some issues discovered when compiling on Fedora. ----------------------------------------------------------------------- Summary of changes: braid/Makefile.in | 760 +- braid/aclocal.m4 | 151 +- braid/configure |16601 +++++++++++++---------------- braid/configure.ac | 32 +- braid/m4/llnl_libxml.m4 | 2 +- braid/regression/interop/Makefile.include | 2 +- 6 files changed, 8126 insertions(+), 9422 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-12 01:01:35
|
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 c337aa043e52002fafe0ad8d36c7340f6ef00b7a (commit) via 3285c67bcb9d1205a902f697522913ad248514ca (commit) from 7fff806533a3523dc1e71222cf9e746e6cf23731 (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 c337aa043e52002fafe0ad8d36c7340f6ef00b7a Author: Adrian Prantl <ad...@ll...> Date: Fri Jan 11 16:43:15 2013 -0800 chapel rarray struct implementation complete commit 3285c67bcb9d1205a902f697522913ad248514ca Author: Adrian Prantl <ad...@ll...> Date: Thu Jan 10 09:36:02 2013 -0800 warn about obsolete version ----------------------------------------------------------------------- Summary of changes: braid/braid/chapel/chpl_backend.py | 9 +- braid/braid/chapel/chpl_conversions.burg | 307 +++++++++++++++++------------ braid/braid/ir.def | 14 ++ braid/braid/ir.py | 14 ++ braid/braid/sidl.def | 19 ++- braid/braid/sidl.py | 16 ++ braid/doc/braid.1 | 2 +- braid/doc/users_guide.html | 6 +- rote/minitermite/README | 6 + 9 files changed, 257 insertions(+), 136 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-10 16:59: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 7fff806533a3523dc1e71222cf9e746e6cf23731 (commit) from 157e5d1d4453c41bea2cff5174d3d52ab47e3ed6 (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 7fff806533a3523dc1e71222cf9e746e6cf23731 Author: Adrian Prantl <ad...@ll...> Date: Thu Jan 10 08:59:13 2013 -0800 implement nested structs in chapel ----------------------------------------------------------------------- Summary of changes: braid/braid/chapel/chpl_conversions.burg | 180 +++++++++++++++++++----------- braid/doc/braid.1 | 2 +- braid/doc/users_guide.html | 6 +- 3 files changed, 119 insertions(+), 69 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2013-01-09 00:50: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 157e5d1d4453c41bea2cff5174d3d52ab47e3ed6 (commit) via 999da62dee13bbc8424c428ae026c91a9c301552 (commit) via d13c22f68e4b219dd8a865fbed6510e7ead5410b (commit) via 7daa227df285320962238a9ab0da0f7b64ebfae7 (commit) via 2626b3126ddd2163db6411b2483ccb4566723850 (commit) via ec44b5c5e662437d7e5a2986073339833db2800f (commit) via a3ce314cd78d9f0b158008de19f31fb7f1ca429c (commit) from 16b6f799981b9bd8c1309d80515b41bb148ca958 (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 157e5d1d4453c41bea2cff5174d3d52ab47e3ed6 Merge: 999da62 16b6f79 Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 8 16:49:35 2013 -0800 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit 999da62dee13bbc8424c428ae026c91a9c301552 Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 8 09:47:25 2013 -0800 formatting commit d13c22f68e4b219dd8a865fbed6510e7ead5410b Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 8 09:47:14 2013 -0800 update for Chapel 1.6 commit 7daa227df285320962238a9ab0da0f7b64ebfae7 Author: Adrian Prantl <ad...@ll...> Date: Tue Jan 8 09:47:01 2013 -0800 struct handling work-in-progress commit 2626b3126ddd2163db6411b2483ccb4566723850 Author: Adrian Prantl <ad...@ll...> Date: Fri Nov 30 16:37:40 2012 -0800 documentation commit ec44b5c5e662437d7e5a2986073339833db2800f Author: Adrian Prantl <ad...@ll...> Date: Fri Nov 30 16:37:24 2012 -0800 fix an issue with now superfluous arguments commit a3ce314cd78d9f0b158008de19f31fb7f1ca429c Author: Adrian Prantl <ad...@ll...> Date: Fri Nov 30 16:02:06 2012 -0800 updated chapel patches ----------------------------------------------------------------------- Summary of changes: braid/COPYRIGHT | 2 +- braid/Makefile.am | 2 +- braid/Makefile.in | 4 +- braid/braid/babel.py | 4 +- braid/braid/burg.py | 67 ++-- braid/braid/chapel/chpl_backend.py | 13 +- braid/braid/chapel/chpl_code.py | 15 +- braid/braid/chapel/chpl_conversions.burg | 395 ++++++++++++++------ braid/braid/sidl.def | 8 +- braid/braid/sidl.py | 6 +- braid/braid/sidl_symbols.py | 11 +- braid/braid/sidlobjects.py | 4 +- braid/braid/utils.py | 8 + .../0013-remove-fied-access-from-get-ref.diff | 33 ++ ...dd-endCount-argument-to-_waitEndCount-call.diff | 26 ++ ...0015-fix-wrong-pointer-in-cmdline-handling.diff | 19 + braid/chapel-patches/0016-synch-with-upstream.diff | 71 ++++ braid/chpl/chpl_sidl_array.h | 4 +- braid/configure | 6 +- braid/doc/braid.1 | 4 +- braid/doc/users_guide.html | 8 +- braid/regression/interop/tests.mk | 2 +- paul/bxl/aterm2contract.bxl | 6 +- paul/bxl/bxl.py | 14 +- 24 files changed, 520 insertions(+), 212 deletions(-) create mode 100644 braid/chapel-patches/0015-fix-wrong-pointer-in-cmdline-handling.diff create mode 100644 braid/chapel-patches/0016-synch-with-upstream.diff hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-12-21 02:27: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 16b6f799981b9bd8c1309d80515b41bb148ca958 (commit) from 6763bfbbc3f0abe0add579f555cdb64c2ec87900 (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 16b6f799981b9bd8c1309d80515b41bb148ca958 Author: Matthew Sottile <ma...@ga...> Date: Thu Dec 20 18:27:02 2012 -0800 experimenting with generalization techniques ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 5 +-- rote/struct-diff/RuleGen/Filter.hs | 51 +++++++++++++++++++++++++++- rote/struct-diff/RuleGen/Trees.hs | 7 +++- rote/struct-diff/RuleGen/Weaver.hs | 43 +++++++++++++++++++++++- rote/struct-diff/RuleGen/rulegen.hs | 26 ++++++++++++-- 5 files changed, 122 insertions(+), 10 deletions(-) hooks/post-receive -- compose-hpc |
From: Geoff H. <ghu...@us...> - 2012-12-19 00:26: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 6763bfbbc3f0abe0add579f555cdb64c2ec87900 (commit) from dc9001da68ad065b1180881d32066d6a2f1fb7e0 (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 6763bfbbc3f0abe0add579f555cdb64c2ec87900 Author: Geoff Hulette <ghu...@gm...> Date: Tue Dec 18 16:23:16 2012 -0800 Cleanup ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 11 ++---- rote/struct-diff/RuleGen/rulegen.hs | 42 ++++++++++++---------------- 2 files changed, 22 insertions(+), 31 deletions(-) hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-12-05 22:28: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 dc9001da68ad065b1180881d32066d6a2f1fb7e0 (commit) from da6124c0099e05e5a9d226893f16d26b3e1f0a93 (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 dc9001da68ad065b1180881d32066d6a2f1fb7e0 Author: Matthew Sottile <ma...@ga...> Date: Wed Dec 5 14:27:47 2012 -0800 debugging issues with holes ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Weaver.hs | 16 +++++++++------- rote/struct-diff/RuleGen/Yang.hs | 6 ++++++ rote/struct-diff/tests/simple/runner.sh | 9 +++++++++ 3 files changed, 24 insertions(+), 7 deletions(-) create mode 100644 rote/struct-diff/tests/simple/runner.sh hooks/post-receive -- compose-hpc |
From: Geoff H. <ghu...@us...> - 2012-12-05 05:10:24
|
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 da6124c0099e05e5a9d226893f16d26b3e1f0a93 (commit) from 54dab05de8a24e1af4989b389731c45a8280c255 (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 da6124c0099e05e5a9d226893f16d26b3e1f0a93 Author: Geoff Hulette <ghu...@gm...> Date: Tue Dec 4 21:10:04 2012 -0800 Added .gitignore file ----------------------------------------------------------------------- Summary of changes: {paul => rote/struct-diff}/.gitignore | 0 1 files changed, 0 insertions(+), 0 deletions(-) copy {paul => rote/struct-diff}/.gitignore (100%) hooks/post-receive -- compose-hpc |
From: Geoff H. <ghu...@us...> - 2012-12-05 05:04: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 54dab05de8a24e1af4989b389731c45a8280c255 (commit) from 1d95856a2393b5e29629c943a8265d326f4eb8b2 (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 54dab05de8a24e1af4989b389731c45a8280c255 Author: Geoff Hulette <ghu...@gm...> Date: Tue Dec 4 21:03:29 2012 -0800 Added two examples with a larger C file ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/tests/large1/in.c | 84 ++++++++++++++++++++++++++++++++ rote/struct-diff/tests/large1/out.c | 92 +++++++++++++++++++++++++++++++++++ rote/struct-diff/tests/large2/in.c | 84 ++++++++++++++++++++++++++++++++ rote/struct-diff/tests/large2/out.c | 85 ++++++++++++++++++++++++++++++++ 4 files changed, 345 insertions(+), 0 deletions(-) create mode 100644 rote/struct-diff/tests/large1/in.c create mode 100644 rote/struct-diff/tests/large1/out.c create mode 100644 rote/struct-diff/tests/large2/in.c create mode 100644 rote/struct-diff/tests/large2/out.c hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-12-01 01:46:14
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via 1d95856a2393b5e29629c943a8265d326f4eb8b2 (commit) from 9c258043372f9cbe2a2873963cbcf31eac8086d6 (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 1d95856a2393b5e29629c943a8265d326f4eb8b2 Author: Matthew Sottile <ma...@ga...> Date: Fri Nov 30 17:44:58 2012 -0800 more cleanup ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 12 +++++++----- 1 files changed, 7 insertions(+), 5 deletions(-) hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-12-01 01:15:17
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via 9c258043372f9cbe2a2873963cbcf31eac8086d6 (commit) from 441d45fb6f1ce674ffefe48a9dec7e06701dbabe (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 9c258043372f9cbe2a2873963cbcf31eac8086d6 Author: Matthew Sottile <ma...@ga...> Date: Fri Nov 30 17:14:41 2012 -0800 generate good metavariables for use in contextualization ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/Contextualizer.hs | 54 +++++++++++++++++---------- rote/struct-diff/RuleGen/GraphvizUtil.hs | 6 ++-- rote/struct-diff/RuleGen/IDGen.hs | 4 +- rote/struct-diff/RuleGen/rulegen.hs | 4 ++- 4 files changed, 42 insertions(+), 26 deletions(-) hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-11-30 23:01:50
|
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 441d45fb6f1ce674ffefe48a9dec7e06701dbabe (commit) from 41f748fe0d94d5461b9fd01898984338edaefd38 (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 441d45fb6f1ce674ffefe48a9dec7e06701dbabe Author: Matthew Sottile <ma...@ga...> Date: Fri Nov 30 15:01:01 2012 -0800 separating command line processing from main driver ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/CmdlineArgs.hs | 93 +++++++++++++++++++++++++++++++ rote/struct-diff/RuleGen/rulegen.hs | 76 +------------------------ 2 files changed, 95 insertions(+), 74 deletions(-) create mode 100644 rote/struct-diff/RuleGen/CmdlineArgs.hs hooks/post-receive -- compose-hpc |
From: Matt S. <ma...@us...> - 2012-11-30 22:21:14
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via 41f748fe0d94d5461b9fd01898984338edaefd38 (commit) from ea6d2fa0b7eaedfde9343d0010d911e271759ca8 (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 41f748fe0d94d5461b9fd01898984338edaefd38 Author: Matthew Sottile <ma...@ga...> Date: Fri Nov 30 14:20:35 2012 -0800 edits ----------------------------------------------------------------------- Summary of changes: rote/struct-diff/RuleGen/GraphvizUtil.hs | 20 ++++---------------- rote/struct-diff/RuleGen/IDGen.hs | 30 ++++++++++++++++++++++++++++++ rote/struct-diff/RuleGen/Stratego.hs | 2 +- rote/struct-diff/TODO | 7 ++++++- 4 files changed, 41 insertions(+), 18 deletions(-) create mode 100644 rote/struct-diff/RuleGen/IDGen.hs hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2012-11-29 22:58: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 ea6d2fa0b7eaedfde9343d0010d911e271759ca8 (commit) from f59bdff8419cf3c7e4eddb6ba2403ef9333b19dd (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 ea6d2fa0b7eaedfde9343d0010d911e271759ca8 Author: Adrian Prantl <ad...@ll...> Date: Thu Nov 29 14:57:41 2012 -0800 add legalese ----------------------------------------------------------------------- Summary of changes: paul/bxl/bxl.py | 63 +++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 61 insertions(+), 2 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2012-11-29 22:52: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 f59bdff8419cf3c7e4eddb6ba2403ef9333b19dd (commit) from 481fd7dbc5a3f8960c5f98eca4318b34fee52c2c (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 f59bdff8419cf3c7e4eddb6ba2403ef9333b19dd Author: Adrian Prantl <ad...@ll...> Date: Thu Nov 29 14:51:46 2012 -0800 more documentation ----------------------------------------------------------------------- Summary of changes: paul/bxl/README | 11 ++++++++--- paul/bxl/bxl.py | 42 ++++++++++++++++++++++++++++++++++-------- 2 files changed, 42 insertions(+), 11 deletions(-) hooks/post-receive -- compose-hpc |
From: adrian <adr...@us...> - 2012-11-29 20:16:47
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via 481fd7dbc5a3f8960c5f98eca4318b34fee52c2c (commit) via ab1876a31ebbc4f32e69b814c1998cb1c4ffa676 (commit) from 0631e5fe0de553e573af25b79848fa80007e1b2f (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 481fd7dbc5a3f8960c5f98eca4318b34fee52c2c Merge: ab1876a 0631e5f Author: Adrian Prantl <ad...@ll...> Date: Thu Nov 29 12:15:43 2012 -0800 Merge branch 'master' of ssh://compose-hpc.git.sourceforge.net/gitroot/compose-hpc/compose-hpc commit ab1876a31ebbc4f32e69b814c1998cb1c4ffa676 Author: Adrian Prantl <ad...@ll...> Date: Thu Nov 29 12:15:15 2012 -0800 release BXL version 1.0! ----------------------------------------------------------------------- Summary of changes: paul/bxl/README | 80 ++++++++++++ paul/bxl/aterm2contract.bxl | 65 ++++++++++ paul/bxl/bxl.py | 293 +++++++++++++++++++++++++++++++++++++++++++ paul/bxl/contract2aterm.bxl | 77 +++++++++++ paul/bxl/demo.sh | 21 +++ 5 files changed, 536 insertions(+), 0 deletions(-) create mode 100644 paul/bxl/README create mode 100644 paul/bxl/aterm2contract.bxl create mode 100755 paul/bxl/bxl.py create mode 100644 paul/bxl/contract2aterm.bxl create mode 100644 paul/bxl/demo.sh hooks/post-receive -- compose-hpc |
From: T. D. <tld...@us...> - 2012-11-29 03:20: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 0631e5fe0de553e573af25b79848fa80007e1b2f (commit) from bec509c9c67e938a8ec6bbb7d32e2be87c8e1656 (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 0631e5fe0de553e573af25b79848fa80007e1b2f Author: T. Dahlgren <dah...@ll...> Date: Wed Nov 28 18:11:42 2012 -0800 Cleaned up Doxygen comments and set to exclude tests directory contents. - Repaired and improved the copyright and source paragraphs, leveraging doxygen's htmlinclude command. - Used \internal and \endinternal doxygen commands to hide file-related details that are not relevant to the documentation. - Added brief annotations, which show up in the File List. - Added details annotations where longer descriptions exist. - Moved some enumeration comments around to facilitate doxygen inclusion. - Disabled generation of doxygen content for files in the tests directory. - Created new doxygen include file directory since now have multiple files. - Added parameter direction, though punted on 'inout' (since not supported in my installed version). ----------------------------------------------------------------------- Summary of changes: pcontracts/Doxyfile | 370 ++++++++++++++------ pcontracts/Makefile | 3 +- pcontracts/TODO | 9 +- pcontracts/dox/contractsSource.html | 6 + pcontracts/dox/copyright.html | 12 + pcontracts/dox/knapsackSource.html | 5 + pcontracts/{ => dox}/mainpage.dox | 13 +- pcontracts/include/PaulContracts.h | 13 +- pcontracts/src/examples/AssertionExpression.hpp | 29 +-- .../src/examples/ContractAssertionPrinter.cpp | 52 ++-- .../src/examples/ContractAssertionPrinter.hpp | 30 +- pcontracts/src/examples/ContractComment.hpp | 55 ++-- pcontracts/src/examples/ContractPrinter.cpp | 34 +- pcontracts/src/examples/ContractPrinter.hpp | 29 +- pcontracts/src/examples/ContractsProcessor.cpp | 162 +++++---- pcontracts/src/examples/ContractsProcessor.hpp | 28 +-- pcontracts/src/examples/Knapsack.cpp | 102 +++--- pcontracts/src/examples/Knapsack.hpp | 49 ++-- pcontracts/src/examples/RoseHelpers.cpp | 43 ++-- pcontracts/src/examples/RoseHelpers.hpp | 49 +-- .../src/examples/RoutineContractInstrumenter.cpp | 29 +-- pcontracts/src/examples/UnlabeledKnapsack.cpp | 31 +- pcontracts/src/examples/UnlabeledKnapsack.hpp | 53 ++-- pcontracts/src/examples/contractClauseTypes.hpp | 27 +-- pcontracts/src/examples/knapsack.c | 61 ++-- pcontracts/src/examples/unlabeledknapsack.c | 62 ++-- pcontracts/src/runtime/ContractsEnforcer.c | 344 +++++++++---------- pcontracts/src/runtime/ContractsEnforcer.h | 171 +++++----- pcontracts/src/runtime/contractMacros.h | 37 +-- pcontracts/src/runtime/contractOptions.h | 69 ++--- pcontracts/src/runtime/contractPrivateTypes.h | 69 ++-- pcontracts/src/runtime/contracts.h | 33 +-- pcontracts/src/tests/SimpleContractsPrinter.cpp | 34 +-- pcontracts/src/tests/SimpleContractsPrinter.hpp | 27 +- pcontracts/src/tests/testContractsEnforcer.c | 38 +-- pcontracts/src/tests/test_InvariantAnnotation.cpp | 30 +-- .../src/tests/test_PaulContractsDecorator.cpp | 26 +- .../src/tests/test_SimpleContractsPrinter.cpp | 28 +-- 38 files changed, 1124 insertions(+), 1138 deletions(-) create mode 100644 pcontracts/dox/contractsSource.html create mode 100644 pcontracts/dox/copyright.html create mode 100644 pcontracts/dox/knapsackSource.html rename pcontracts/{ => dox}/mainpage.dox (90%) hooks/post-receive -- compose-hpc |