Downloads

Popili is available in several release channels:

Each release channel will automatically be updated with the latest matching release. The stable release channel is recommended as it will always correspond to the latest stable released version of Coco. A release channel of the form X or X.Y can be used to pin users to a specific version of Coco. For example, the channel 1.0 will always correspond to the latest bugfix release of version 1.0.

Coco Platform for Eclipse

Popili plugin for Eclipse integrates support for the Coco Language and Popili verification and code generation.

  • To install:
    1. Select Help → Install New Software
    2. Click Add
    3. Complete the fields in the popup window as follows:
      • Name: Coco Platform
      • Location:
      • Then click Add
    4. Tick the box next to the entry for Coco Platform, and then click Next
  • Requirements:
    • Eclipse: 4.8+
    • Operating system:
      • Linux icon RHEL 7 or later (ARMV8-A)
      • Linux icon RHEL 7 or later (x86-64)
      • Mac icon Mac OS 12 (Apple Silicon)
      • Mac icon Mac OS 10.15 (x86-64)
      • Windows icon Windows 10 (x86-64)
Eclipse icon

Command Line Tools

The Coco command-line tools provide access to verification and code generation.

Coco C++ Runtime

This enables the C++ code generated by Popili to be compiled. Available under the MIT license.

Download

Coco C Runtime

This enables the C code generated by Popili to be compiled. Available under the MIT license.

Download

Coco for VSCode

Provides support for the Coco Language to VSCode.

VSCode Marketplace