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 |