Skip to content

Commit c412dfc

Browse files
committed
Merge #199: Feat/vscode enhance
0f46aef Bump version to 0.3.0 (Patotking12) dc3e43e vscode: Add build integration, status bar, snippets, and file icons (Patotking12) 4b72c7c lsp: Add document symbols, signature help, semantic tokens, and witness validation (Patotking12) e8abe53 Update .gitignore (Patotking12) Pull request description: Added build integration to the VSCode extension with a task provider that runs simc and shows output in a dedicated channel. Also added code snippets for common patterns and custom file icons for .simf and .wit files. On the LSP side, implemented document symbols for the outline view, signature help for function parameter hints, semantic tokens for AST-based highlighting of functions and namespaces, and witness file validation that checks types and reports missing or extra fields in real-time. ACKs for top commit: KyrylR: utACK 0f46aef Tree-SHA512: 8824f820c2d63e1ccbe0028b4eb67609b0c810ad199e61628bf134e56a70ffd8c40ddd5a14b057a4ed97b17cbf6eca1cfc5b0f30d011d354abcf30f36f75d057
2 parents 7b0129d + 0f46aef commit c412dfc

16 files changed

Lines changed: 1587 additions & 35 deletions

.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,6 @@ node_modules/
2424

2525
# VSCode extension package
2626
*.vsix
27+
28+
# macOS
29+
.DS_Store

lsp/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "simplicityhl-lsp"
3-
version = "0.2.1"
3+
version = "0.3.0"
44
edition = "2021"
55
rust-version = "1.79"
66
description = "Language Server Protocol (LSP) server for SimplicityHL."

0 commit comments

Comments
 (0)