libraries.json 551 B

1234567891011121314
  1. {
  2. "key": "contract",
  3. "name": "Contract",
  4. "authors": [
  5. "Lorenzo Caminiti"
  6. ],
  7. "maintainers": [
  8. "Lorenzo Caminiti <lorcaminiti -at- gmail.com>"
  9. ],
  10. "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.",
  11. "category": [
  12. "Correctness"
  13. ]
  14. }