Status¶
The following table gives an indication of the stability of individual features within the Coco Platform. The statuses are as follows:
| Status | Meaning |
|---|---|
| Stable | The feature is now stable and backwards-incompatible changes should be rare and will require a major version bump (i.e. 1.x to 2.x). |
| Release Candidate | The feature is almost stable, and backwards-incompatible changes will only be made in order to fix serious issues uncovered during final testing. |
| Beta | The feature is moving towards becoming stable, but backwards incompatible changes can be made. |
| Alpha | A preview of a feature. The feature could change substantially and no compatibility guarantee is offered at all. |
As of Coco 1.0.0, the status of the individual features is:
| Feature | Status |
|---|---|
Core Coco Language (Including the syntax and semantics of the language, including the verification semantics.) |
Stable. |
| Command Line Tooling | Stable. |
| Coco C++ Generator | Stable. |
| Coco C Generator | Release Candidate. This will reach final by September 2022, depending on feedback. |
| Coco Object-Orientated C Generator | Beta. This will reach final by September 2022, depending on feedback. |
| Generated Code Indexes | Stable |
standard = "1.1" |
Beta. This will reach final by January 2023, depending on feedback. |
| Await | Beta. This will reach final by January 2023, depending on feedback. |
Note that the timeframes above are only indicative, and may be subject to change depending on feedback.