|
From: T. D. <tld...@us...> - 2012-10-12 00:23: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 4c7190a1f9feec20df4b6a9906a8225bc0e43dd5 (commit)
via 20633a22ae38063f61e436ad714350ed8446ed6a (commit)
from c8a8d673a58deb81b6bba268fadf6a42514db5a9 (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 4c7190a1f9feec20df4b6a9906a8225bc0e43dd5
Author: T. Dahlgren <dah...@ll...>
Date: Thu Oct 11 17:20:15 2012 -0700
Remove obsolete preliminary work on contract integration in libpaul.
- Another update to TODO breadcrumbs.
- Removing preliminary 'fork' of contracts decorator.
commit 20633a22ae38063f61e436ad714350ed8446ed6a
Author: T. Dahlgren <dah...@ll...>
Date: Thu Oct 11 17:15:22 2012 -0700
Updated TODO.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 25 +--
pcontracts/src/Makefile | 1 -
pcontracts/src/annots/.gitignore | 1 -
pcontracts/src/annots/CommentVisitor.cpp | 207 --------------------
pcontracts/src/annots/CommentVisitor.hpp | 33 ---
pcontracts/src/annots/ContractsParser.y | 72 +++++++
.../src/annots/ContractsScanner.l | 9 +-
pcontracts/src/annots/PaulContractsDecorate.cpp | 24 ---
pcontracts/src/annots/PaulContractsDecorate.h | 27 ---
9 files changed, 89 insertions(+), 310 deletions(-)
delete mode 100644 pcontracts/src/annots/.gitignore
delete mode 100644 pcontracts/src/annots/CommentVisitor.cpp
delete mode 100644 pcontracts/src/annots/CommentVisitor.hpp
create mode 100644 pcontracts/src/annots/ContractsParser.y
copy paul/demo/scanner.l => pcontracts/src/annots/ContractsScanner.l (83%)
delete mode 100644 pcontracts/src/annots/PaulContractsDecorate.cpp
delete mode 100644 pcontracts/src/annots/PaulContractsDecorate.h
hooks/post-receive
--
compose-hpc
|