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 Popili. A release channel of the form X or X.Y can be used to pin users to a specific version of Popili. For example, the channel 1.0 will always correspond to the latest bugfix release of version 1.0.
Popili for VSCode (Recommended)
In addition to providing support for the Coco Language, the Popili plugin for VSCode also integrates Popili's verification and Code Generation.
- Download for Linux (ARM) Requires: RHEL 7 or later (ARMV8-A)
- Download for Linux Requires: RHEL 7 or later (x86-64)
- Download for Mac (Apple silicon) Requires: Mac OS 13 (Apple silicon)
- Download for Mac (Intel) Requires: Mac OS 10.15 (x86-64)
- Download for Windows Requires: Windows 10 (x86-64)
Popili for Eclipse
Popili plugin for Eclipse integrates support for the Coco Language and Popili's verification and code generation.
- To install:
- Select Help → Install New Software
- Click Add
- Complete the fields in the popup window as follows:
- Name: Popili
- Location: https://downloads.cocotec.io/eclipse/stable/
- Then click Add
- Tick the box next to the entry for Popili, and then click Next
- Requirements:
- Eclipse: 2023-09 or later (with Java 17)
- Operating system:
- RHEL 7 or later (ARMV8-A)
- RHEL 7 or later (x86-64)
- Mac OS 13 (Apple silicon)
- Mac OS 10.15 (x86-64)
- Windows 10 (x86-64)
Command Line Tools
Popili command-line tools provide access to verification and code generation.
- Download for Linux (ARM) Requires: RHEL 7 or later (ARMV8-A)
- Download for Linux Requires: RHEL 7 or later (x86-64)
- Download for Mac (Apple silicon) Requires: Mac OS 13 (Apple silicon)
- Download for Mac (Intel) Requires: Mac OS 10.15 (x86-64)
- Download for Windows Requires: Windows 10 (x86-64)