|
From: T. D. <tld...@us...> - 2012-03-17 00:19: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 ff6c487b50fbf235f479047b9673d0b95645e574 (commit)
via e99db49200b39ac38443af00801144439d36e3f4 (commit)
via 8cf259e8778c5ece9ce5844f42db2f12041cf6b0 (commit)
from 597f43792b2d103b8b09112689ef21b8614be42e (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 ff6c487b50fbf235f479047b9673d0b95645e574
Author: T. Dahlgren <dah...@ll...>
Date: Fri Mar 16 17:16:48 2012 -0700
Files mssing from last commit
commit e99db49200b39ac38443af00801144439d36e3f4
Author: T. Dahlgren <dah...@ll...>
Date: Fri Mar 16 17:02:37 2012 -0700
VERY rough attempt to identify relevant features to support and test paul interface contracts. Main focus today was on tests and examples. Also tweaked the configuration file.
commit 8cf259e8778c5ece9ce5844f42db2f12041cf6b0
Author: T. Dahlgren <dah...@ll...>
Date: Fri Mar 16 17:00:00 2012 -0700
VERY rough attempt to identify relevant features to support and test paul interface contracts. Main focus today was on tests and examples. Also tweaked the configuration file.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/.gitignore | 1 +
pcontracts/README | 35 ++++
pcontracts/TODO | 21 ++-
pcontracts/WARNING | 7 +
pcontracts/{ => conf}/Contracts.paulconf | 4 +-
pcontracts/examples/.gitignore | 1 +
pcontracts/examples/Knapsack.cpp | 213 ++++++++++++++++++++
pcontracts/examples/Knapsack.hpp | 75 +++++++
pcontracts/examples/knapsack.c | 29 +++
pcontracts/include/.gitignore | 1 +
pcontracts/include/PaulContracts.h | 5 +
pcontracts/src/.gitignore | 1 +
.../src/CommentVisitor.cpp | 163 ++++++++-------
pcontracts/src/CommentVisitor.hpp | 33 +++
pcontracts/src/PaulContractsDecorate.cpp | 24 +++
.../src/PaulContractsDecorate.h | 17 +-
pcontracts/tests/.gitignore | 1 +
pcontracts/tests/Makefile.am | 78 +++++++
pcontracts/tests/SimpleContractsPrinter.cpp | 35 ++++
pcontracts/tests/SimpleContractsPrinter.hpp | 29 +++
pcontracts/tests/inputs/.gitignore | 1 +
pcontracts/tests/test_InvariantAnnotation.cpp | 32 +++
pcontracts/tests/test_PaulContractsDecorator.cpp | 23 ++
pcontracts/tests/test_SimpleContractsPrinter.cpp | 32 +++
24 files changed, 769 insertions(+), 92 deletions(-)
create mode 100644 pcontracts/.gitignore
create mode 100644 pcontracts/README
create mode 100644 pcontracts/WARNING
rename pcontracts/{ => conf}/Contracts.paulconf (61%)
create mode 100644 pcontracts/examples/.gitignore
create mode 100644 pcontracts/examples/Knapsack.cpp
create mode 100644 pcontracts/examples/Knapsack.hpp
create mode 100644 pcontracts/examples/knapsack.c
create mode 100644 pcontracts/include/.gitignore
create mode 100644 pcontracts/include/PaulContracts.h
create mode 100644 pcontracts/src/.gitignore
copy paul/libpaul/src/PaulDecorate.cpp => pcontracts/src/CommentVisitor.cpp (67%)
create mode 100644 pcontracts/src/CommentVisitor.hpp
create mode 100644 pcontracts/src/PaulContractsDecorate.cpp
copy paul/libpaul/src/PaulDecorate.h => pcontracts/src/PaulContractsDecorate.h (60%)
create mode 100644 pcontracts/tests/.gitignore
create mode 100644 pcontracts/tests/Makefile.am
create mode 100644 pcontracts/tests/SimpleContractsPrinter.cpp
create mode 100644 pcontracts/tests/SimpleContractsPrinter.hpp
create mode 100644 pcontracts/tests/inputs/.gitignore
create mode 100644 pcontracts/tests/test_InvariantAnnotation.cpp
create mode 100644 pcontracts/tests/test_PaulContractsDecorator.cpp
create mode 100644 pcontracts/tests/test_SimpleContractsPrinter.cpp
hooks/post-receive
--
compose-hpc
|