Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>cstarNew to Visual Studio Code? Get it now.
cstar

cstar

kevinx

|
78 installs
| (1) | Free
CStar IDE
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

CStar IDE

Functionality

This CStar IDE works for *.cst file. It has the following language features:

  • Hover
  • Show Symbolic State

Structure

.
├── client // Language Client
│   ├── src
│   │   ├── test // End to End tests for Language Client / Server
│   │   └── extension.ts // Language Client entry point
├── package.json // The extension manifest.
└── server // Dumped Language Server
    └── src
        └── server.ts // Language Server entry point

Run the CStarIDE Project

  • Run npm install in this folder. This installs all necessary npm modules in both the client and server folder
  • Open VS Code on this folder.
  • Press Ctrl+Shift+B to start compiling the client and server in watch mode.
  • Switch to the Run and Debug View in the Sidebar (Ctrl+Shift+D).
  • Select Launch Client from the drop down (if it is not already).
  • Press ▷ to run the launch config (F5).
  • In the Extension Development Host instance of VSCode, open a document in 'plain text' language mode.
    • Type j or t to see Javascript and TypeScript completion.
    • Enter text content such as AAA aaa BBB. The extension will emit diagnostics for all words in all-uppercase.

Enjoy the Features

Preparatory Work

  • Fix your configuration in Settings

    • Cstaride: Xstarpath
    • CStaride: Bdwgcflag
  • Start LCF Server

    # In your lcf_server directory:
    make run
    

Hover

Hover Theorem/Term Value :

  • open your .csv file.

  • make sure the LCF Server is running, and you should restart LCF Server when some difination changed or the opened file changed.

  • save the new file or the changed file, and pay attention to the message prompt in the lower right corner. hovergen hoverfinished

  • Move your cursor to the Theorem Value.

    hover

Show Symbolic State

  • Press right-hand button to see CStar Show Sym Here, or
  • Press Ctrl + Alt + Down

symexec

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft