From: T. D. <tld...@us...> - 2013-10-11 23:44: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 87483079e0b465cad700ffc9c33cb621f4f28aa1 (commit) via 7355f6129523b5798b0f89942cbf45a27b30c4cc (commit) from e78beec4070e8cc568124d2b0af0939b33c6c03d (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 87483079e0b465cad700ffc9c33cb621f4f28aa1 Author: T. Dahlgren <dah...@ll...> Date: Fri Oct 11 16:42:57 2013 -0700 Snapshot of the addition of support for some built-in expression routines. commit 7355f6129523b5798b0f89942cbf45a27b30c4cc Author: T. Dahlgren <dah...@ll...> Date: Tue Oct 8 18:19:42 2013 -0700 Continued fleshing out annotations documentation and tightened expressions. ----------------------------------------------------------------------- Summary of changes: pcontracts/Doxyfile | 3 +- pcontracts/Makefile | 5 +- pcontracts/TODO | 4 +- pcontracts/dox/Annotations.dox | 66 +++++++--- pcontracts/dox/Programs.dox | 3 +- pcontracts/dox/advanced_table.html | 58 ++++++++ pcontracts/dox/expressions_table.html | 35 +++++ pcontracts/dox/keywords_table.html | 24 +++ pcontracts/include/ExpressionRoutines.h | 78 ++++++++++ pcontracts/include/contractClauseTypes.hpp | 57 +++----- pcontracts/src/contracts/ContractsProcessor.cpp | 31 +++-- pcontracts/src/examples/knapsack.c | 2 +- pcontracts/src/examples/unlabeledknapsack.c | 2 +- pcontracts/src/runtime/ExpressionRoutines.c | 82 +++++++++++ pcontracts/src/runtime/Makefile | 5 +- pcontracts/src/tests/Makefile | 21 +++- pcontracts/src/tests/testExpressionRoutines.c | 172 +++++++++++++++++++++++ 17 files changed, 572 insertions(+), 76 deletions(-) create mode 100644 pcontracts/dox/advanced_table.html create mode 100644 pcontracts/dox/expressions_table.html create mode 100644 pcontracts/dox/keywords_table.html create mode 100644 pcontracts/include/ExpressionRoutines.h create mode 100644 pcontracts/src/runtime/ExpressionRoutines.c create mode 100644 pcontracts/src/tests/testExpressionRoutines.c hooks/post-receive -- compose-hpc |