• Product
  • About
    • Documentation
    • Downloads
    • Help
    • Status
  • Login Login avatar
Cocotec Cocotec All systems go
  • Popili Tooling
  • Introduction
  • Getting Started
  • Coco Language Reference
  • Introductory Tutorial
  • Coco C++
  • Popili Tooling
    • Eclipse
    • VS Code
    • Command-Line Tools
    • API
    • Schemas
  • Status
  • Versioning
  • Release Notes
  • Index
Popili Documentation

Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

Popili Tooling¶

  • Eclipse
    • Popili Perspective
    • Popili Preferences
    • Coco Packages
    • Coco Editor
    • Verifying Coco
      • Assertions View
      • Running the Verification
      • Counterexamples View
      • Launching the Simulator with Counterexamples
      • Remote Verification
    • Simulator for Coco
    • Watching Variables
    • Visualising Architectures
    • Visualising State Machines
      • State Machine Diagram
      • Structure Viewer
    • Generating Code
    • Creating a Support Bundle
    • Getting Updates
    • Uninstalling Popili
  • VS Code
    • Overview
    • Popili Preferences
    • Coco Packages
    • Coco Editor
    • Verifying Coco
      • Assertions View
      • Run the Verification
      • Verification Statistics
      • Counterexamples View
      • Simulate Counterexamples
      • Remote Verification
    • Simulator for Coco
    • Visualising Architectures
      • Live Updates
    • Visualising State Machines
      • State Machine Diagram
    • Generating Code
    • Creating a Support Bundle
    • Getting Updates
    • Uninstalling Popili
  • Command-Line Tools
    • popili
    • Global Options
    • Subcommands
      • format
      • generate
      • generate-c
      • generate-cpp
      • generate-csharp
      • graph-component
      • graph-states
      • metadata
      • support-bundle
      • transform
      • typecheck
      • verify
    • Using Popili in CI pipelines
      • Licensing
  • API
    • .NET API
      • Installing
      • Getting Started
    • Java API
      • Installing
      • Getting Started
      • EMF
    • Implementation
    • Licensing
    • General Advice
  • Schemas
    • Metadata
      • Coco Abstract Syntax Tree
      • Coco Imports
      • Diagnostics
      • Process Statistics
    • Code Indexes
      • Code Index Coco Positions
      • C-Like Code Index
      • Code Index Common Parts
Next Previous
  • Github Github icon
  • LinkedIn LinkedIn icon
© 2020 Cocotec | Privacy