mirror of
https://github.com/boostorg/contract.git
synced 2026-01-19 16:12:17 +00:00
9240492490
- Dependencies require C++11 so this library now does as well. - Fixed and refreshed CI. - This fixes #30. (duplicate of issue-36) - This fixes #32. (issue-32 requires C++11 due to dependencies) - This fixes #35. (issue-35 missing header in test code. - Fixed deprecated boost/bind header inclusion.
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"
|
|
}
|