Language Standards

Language Standard 1
Tool Version:>= 1.0

This is the base language standard that was introduced with Coco 1.0.0.

Language Standard 1.1
Tool Version:>= 1.3

This is a small revision to 1 in order to introduce some new features. This standard was introduced in Coco 1.3.0.

The changes are:

  • compound await and simple await were introduced.
  • The builtin Vector module was introduced.
  • The following additional keywords were reserved: abstract, await, inherit, monitor, trace, verify.
  • Ports were prohibted from defining any members called: ambiguous, call, connect, drainQueue, processQueue, send, timer, or unused.

To upgrade to 1.1, modify the Coco.toml file to set language.standard to 1.1. Following this, fix any name clashes identified by the tooling; these should all be clashes with the new reserved words mentioned above.

Language Standard 1.2
Tool Version:>= 1.4

See Migrating to Coco Standard 1.2 for further details on how to upgrade.

Language Standard 2024
Tool Version:>= 1.5

This is a small revision to 1.2. The changes are:

  • The Display trait was introduced.
  • Format strings now default to format expressions using the Display trait instead of the Log trait.
  • Coco’s logging will by default log sends of signals if value logging is enabled. This can be disabled by setting the logSendSignals option to false.
  • The C++ generator will generate functions marked with @noSideEffects as const.
  • The C++ runtime will by default be split into header and source files. This can be disabled by setting the generator.cpp.headerOnlyRuntime option to false.