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 |