Welcome to the Popili plugin for VSCode. This includes:
Support for syntax highlighting and language intelligence for the Coco programming language, including
goto-declaration, code completion, automated formatting, and semantically-aware refactorings.
An advanced formal verification engine that is able to verify the correctness of software written in Coco, and then
debug it graphically within VScode.
Semantically-equivalent code generation, allowing Coco code to be converted into code in a conventional programming
language.
The ability to simulate a Coco model whilst it is being built, to help understand how your code behaves.
Various diagramming features, including the ability to view state machine and architecture diagrams of your Coco code.
Use of this plugin requires a license from Cocotec Limited.
