Syntax Highlighting (in VS-Code) for Z^3 Language

ZCubes Syntax Highlighting for VS Code

This guide will help you install and use the ZCubes syntax highlighting extension in VS Code. Since this extension is not yet published to the marketplace, you'll need to run it locally using VS Code's Extension Development Host.

Prerequisites

Visual Studio Code (latest version recommended) Git (for cloning the repository)

Installation Steps

1. Clone the Repository

First, clone the ZCubes syntax highlighting extension repository to your local machine:

git clone https://github.com/Vishwa18K/Z3-Syntax-Highlighter.git
cd zcubes-syntax-highlighting

2. Open in VS Code

Open the extension project in VS Code or alternatively, you can: Open VS Code Go to File → Open Folder Select the cloned extension directory