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.
| Created Version: | boost-1.67.0 |
| Most Recent Modified Version: | boost-1.92.0 |
| Total Repositories: | 7 |
| Average New Repositories Per Year: | 1.00 |
| Most Recent Year Repository Count: | 0 |
| Most Used Year: | 2019 |
| Average Stars: | 181 |
| Activity Score: | -0.119 |
| Internal Consumers: | 0 |
| Contributors in Most Recent Version: | 1 |
| Total Contributors: | 8 |