IMITATOR in VS Code

Visual Studio Code extension for IMITATOR, a tool for parametric verification of real-time systems.

Overview

IMITATOR is a parametric timed model checker that allows for the modeling and verification of real-time systems with timing parameters. This VS Code extension brings the full power of IMITATOR development directly into your editor with rich language features, intelligent code completion, real-time error detection, and integrated execution capabilities.

Features

• Syntax highlighting for IMITATOR files (.imi, .imiprop, .res)
• Code completion and error detection
• Integrated execution commands
• Custom themes for better readability

Installation

Prerequisites

1. IMITATOR must be installed on your system. Download it from imitator.fr
2. VS Code version 1.54.0 or higher

Extension Installation

From VS Code Marketplace (Recommended)

1. Open VS Code
2. Go to Extensions view (Ctrl+Shift+X / Cmd+Shift+X)
3. Search for "IMITATOR in VSCode"
4. Click Install

Manual Installation

1. Download the .vsix file from the releases page
2. Open VS Code
3. Run Extensions: Install from VSIX... from the Command Palette
4. Select the downloaded .vsix file

Getting Started

Create a new .imi file and start modeling your system. Use the right-click context menu to run IMITATOR commands.

Settings

Configure the IMITATOR executable path:

{
    "imitator.executablePath": "/path/to/imitator",
    "imitator.autoOpenResults": true
}

Themes

The extension includes custom themes optimized for IMITATOR syntax:

• IMITATOR Variables Dark: Dark theme with enhanced variable highlighting
• IMITATOR Variables Light: Light theme with clear syntax differentiation

Access themes via File > Preferences > Color Theme.

Requirements

• IMITATOR: The IMITATOR tool must be installed and accessible
• VS Code: Version 1.54.0 or higher

License

This project is licensed under the GNU General Public License v3.0 - see the LICENSE file for details.

Links

• IMITATOR Official Website
• Report Issues