mirror of
https://github.com/boostorg/contract.git
synced 2026-01-23 05:22:16 +00:00
599728fa1f
- Dependencies require C++11 so this library now does as well. - Fixed and refreshed CI. - Fixed issue-35 missing header in test code. - Fixed deprecated boost/bind header inclusion. This fixes #35.
16 lines
571 B
JSON
16 lines
571 B
JSON
{
|
|
"key": "contract",
|
|
"name": "Contract",
|
|
"authors": [
|
|
"Lorenzo Caminiti"
|
|
],
|
|
"maintainers": [
|
|
"Lorenzo Caminiti <lorcaminiti -at- gmail.com>"
|
|
],
|
|
"description": "Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.",
|
|
"category": [
|
|
"Correctness"
|
|
],
|
|
"cxxstd": "11"
|
|
}
|