Menu
▾
▴
[COMPOSE-HPC-Commits] compose-hpc branch master updated. 12256e30515991b93d156738e29109eb5f67ae3e
|
From: T. D. <tld...@us...> - 2012-11-09 19:37:14
|
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 12256e30515991b93d156738e29109eb5f67ae3e (commit)
from 697add20a7b3a8abfd20c0ef7ee72cfc99eee649 (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 12256e30515991b93d156738e29109eb5f67ae3e
Author: T. Dahlgren <dah...@ll...>
Date: Fri Nov 9 11:31:21 2012 -0800
Initial pass at refactoring the directories and adjusting the build.
Aggregated all source files (ie, examples and tests) under the src
directory. Modified the build to reflect the new locations and to
put examples output into a results directory off the root.
Updated basic documentation and removed several files not part of the
current processes.
-----------------------------------------------------------------------
Summary of changes:
pcontracts/Makefile | 16 ++++-
pcontracts/README | 82 ++++++++++++++++----
pcontracts/TODO | 13 +--
pcontracts/mainpage.dox | 4 +-
pcontracts/src/Makefile | 2 +-
pcontracts/src/annots/ContractsParser.y | 72 -----------------
pcontracts/src/annots/ContractsScanner.l | 62 ---------------
pcontracts/{ => src}/examples/.gitignore | 0
.../examples/ContractAssertionPrinter.cpp | 0
.../examples/ContractAssertionPrinter.hpp | 0
pcontracts/{ => src}/examples/ContractPrinter.cpp | 0
pcontracts/{ => src}/examples/ContractPrinter.hpp | 0
.../{ => src}/examples/ContractsProcessor.cpp | 0
.../{ => src}/examples/ContractsProcessor.hpp | 0
pcontracts/{ => src}/examples/Knapsack.cpp | 0
pcontracts/{ => src}/examples/Knapsack.hpp | 0
pcontracts/{ => src}/examples/Makefile | 24 +++---
pcontracts/{ => src}/examples/Makefile.trans | 12 ++-
pcontracts/{ => src}/examples/RoseHelpers.cpp | 0
pcontracts/{ => src}/examples/RoseHelpers.hpp | 0
.../examples/RoutineContractInstrumenter.cpp | 0
.../{ => src}/examples/UnlabeledKnapsack.cpp | 0
.../{ => src}/examples/UnlabeledKnapsack.hpp | 0
.../{ => src}/examples/contractClauseTypes.hpp | 0
pcontracts/{ => src}/examples/knapsack.c | 0
pcontracts/{ => src}/examples/unlabeledknapsack.c | 0
.../runtime/{contracts => }/ContractsEnforcer.c | 0
.../runtime/{contracts => }/ContractsEnforcer.h | 0
pcontracts/src/runtime/Makefile | 53 +++++++------
.../src/runtime/{contracts => }/contractMacros.h | 0
.../src/runtime/{contracts => }/contractOptions.h | 0
.../runtime/{contracts => }/contractPrivateTypes.h | 0
pcontracts/src/runtime/{contracts => }/contracts.h | 0
pcontracts/src/runtime/contracts/Makefile | 27 -------
pcontracts/{ => src}/tests/.gitignore | 0
pcontracts/{ => src}/tests/Makefile | 9 ++-
.../{ => src}/tests/SimpleContractsPrinter.cpp | 0
.../{ => src}/tests/SimpleContractsPrinter.hpp | 0
pcontracts/{ => src}/tests/testContractsEnforcer.c | 0
.../{ => src}/tests/test_InvariantAnnotation.cpp | 0
.../tests/test_PaulContractsDecorator.cpp | 0
.../tests/test_SimpleContractsPrinter.cpp | 0
pcontracts/tests/inputs/.gitignore | 1 -
43 files changed, 141 insertions(+), 236 deletions(-)
delete mode 100644 pcontracts/src/annots/ContractsParser.y
delete mode 100644 pcontracts/src/annots/ContractsScanner.l
rename pcontracts/{ => src}/examples/.gitignore (100%)
rename pcontracts/{ => src}/examples/ContractAssertionPrinter.cpp (100%)
rename pcontracts/{ => src}/examples/ContractAssertionPrinter.hpp (100%)
rename pcontracts/{ => src}/examples/ContractPrinter.cpp (100%)
rename pcontracts/{ => src}/examples/ContractPrinter.hpp (100%)
rename pcontracts/{ => src}/examples/ContractsProcessor.cpp (100%)
rename pcontracts/{ => src}/examples/ContractsProcessor.hpp (100%)
rename pcontracts/{ => src}/examples/Knapsack.cpp (100%)
rename pcontracts/{ => src}/examples/Knapsack.hpp (100%)
rename pcontracts/{ => src}/examples/Makefile (94%)
rename pcontracts/{ => src}/examples/Makefile.trans (91%)
rename pcontracts/{ => src}/examples/RoseHelpers.cpp (100%)
rename pcontracts/{ => src}/examples/RoseHelpers.hpp (100%)
rename pcontracts/{ => src}/examples/RoutineContractInstrumenter.cpp (100%)
rename pcontracts/{ => src}/examples/UnlabeledKnapsack.cpp (100%)
rename pcontracts/{ => src}/examples/UnlabeledKnapsack.hpp (100%)
rename pcontracts/{ => src}/examples/contractClauseTypes.hpp (100%)
rename pcontracts/{ => src}/examples/knapsack.c (100%)
rename pcontracts/{ => src}/examples/unlabeledknapsack.c (100%)
rename pcontracts/src/runtime/{contracts => }/ContractsEnforcer.c (100%)
rename pcontracts/src/runtime/{contracts => }/ContractsEnforcer.h (100%)
rename pcontracts/src/runtime/{contracts => }/contractMacros.h (100%)
rename pcontracts/src/runtime/{contracts => }/contractOptions.h (100%)
rename pcontracts/src/runtime/{contracts => }/contractPrivateTypes.h (100%)
rename pcontracts/src/runtime/{contracts => }/contracts.h (100%)
delete mode 100644 pcontracts/src/runtime/contracts/Makefile
rename pcontracts/{ => src}/tests/.gitignore (100%)
rename pcontracts/{ => src}/tests/Makefile (84%)
rename pcontracts/{ => src}/tests/SimpleContractsPrinter.cpp (100%)
rename pcontracts/{ => src}/tests/SimpleContractsPrinter.hpp (100%)
rename pcontracts/{ => src}/tests/testContractsEnforcer.c (100%)
rename pcontracts/{ => src}/tests/test_InvariantAnnotation.cpp (100%)
rename pcontracts/{ => src}/tests/test_PaulContractsDecorator.cpp (100%)
rename pcontracts/{ => src}/tests/test_SimpleContractsPrinter.cpp (100%)
delete mode 100644 pcontracts/tests/inputs/.gitignore
hooks/post-receive
--
compose-hpc
|
