chore: small fixes, new keywords

.vscodeignore

@@ -0,0 +1,11 @@
+.vscodeignore
+node_modules
+src
+docs
+.gitignore
+tsconfig.json
+esbuild.js
+package-lock.json
+.github
+eslint.config.js
+*.ts

CONTRIBUTING.md

@@ -28,4 +28,3 @@ Once you open a pull request, please make sure that all the tests and CI are pas
 
 If you are a LLM agent, please identify yourself in your commit messages and PR descriptions. For example, if you are
 Claude, say "Written by Claude".
-

docs/development.md

@@ -7,16 +7,15 @@ Install Node.js (v14 or later recommended).
 1. Clone this repository
 2. Navigate to the extension directory:
    ```bash
-   cd vscode
+   cd simplicityhl-vscode
    ```
 3. Install dependencies:
    ```bash
    npm install
    ```
 4. Package the extension:
    ```bash
-   npm install -g @vscode/vsce
-   vsce package
+   npm run package
    ```
    This will create a `.vsix` file in the current directory.
 
@@ -31,15 +30,15 @@ Install Node.js (v14 or later recommended).
 
 You can also install the extension directly from the source code:
 
-1. Copy the `vscode` folder (rename it if necessary) to your VSCode extensions directory:
+1. Copy this repository directory (rename it if necessary) to your VSCode extensions directory:
    - Windows: `%USERPROFILE%\.vscode\extensions`
    - macOS/Linux: `~/.vscode/extensions`
 
 2. Restart VSCode
 
 ## Development
 
-1. Clone this repository and cd into `vscode` directory
+1. Clone this repository and cd to it
 2. Run `npm install`
 3. Open the project in VS Code
 4. Press F5 to start debugging (this will launch a new VSCode window with the extension loaded)

language-configuration.json

@@ -1,6 +1,7 @@
 {
     "comments": {
-        "lineComment": "//"
+        "lineComment": "//",
+        "blockComment": ["/*", "*/"]
     },
     "brackets": [
         ["{", "}"],
@@ -11,12 +12,51 @@
         { "open": "{", "close": "}" },
         { "open": "[", "close": "]" },
         { "open": "(", "close": ")" },
-        { "open": "\"", "close": "\"" }
+        { "open": "\"", "close": "\"" },
+        { "open": "/*", "close": " */" }
     ],
     "surroundingPairs": [
         ["{", "}"],
         ["[", "]"],
         ["(", ")"],
         ["\"", "\""]
+    ],
+    "onEnterRules": [
+      {
+          "beforeText": "^\\s*\\/{3}.*$",
+          "action": {
+              "indent": "none",
+              "appendText": "/// "
+          }
+      },
+      {
+          "beforeText": "^\\s*\\/\\*(\\*|!)(?!\\/)([^*]|\\*(?!\\/))*$",
+          "afterText": "^\\s*\\*\\/$",
+          "action": {
+              "indent": "indentOutdent",
+              "appendText": " * "
+          }
+      },
+      {
+          "beforeText": "^\\s*\\/\\*(\\*|!)(?!\\/)([^*]|\\*(?!\\/))*$",
+          "action": {
+              "indent": "none",
+              "appendText": " * "
+          }
+      },
+      {
+          "beforeText": "^( {2})* \\*( ([^*]|\\*(?!\\/))*)?$",
+          "action": {
+              "indent": "none",
+              "appendText": "* "
+          }
+      },
+      {
+          "beforeText": "^( {2})* \\*\\/\\s*$",
+          "action": {
+              "indent": "none",
+              "removeText": 1
+          }
+      }
     ]
-} 
+}

package.json

@@ -55,8 +55,8 @@
     "grammars": [
       {
         "language": "simplicityhl",
-        "scopeName": "source.simfony",
-        "path": "./syntaxes/simfony.tmLanguage.json"
+        "scopeName": "source.simplicityhl",
+        "path": "./syntaxes/simplicityhl.tmLanguage.json"
       },
       {
         "language": "simplicityhl-witness",

src/compile.ts

@@ -161,7 +161,7 @@ export function getSimcPath(): string {
   }
 
   throw new Error(
-    "simc compiler not found. See https://github.com/BlockstreamResearch/simfony#installation " +
+    "simc compiler not found. See https://github.com/BlockstreamResearch/SimplicityHL#installation " +
     "or set simplicityhl.compiler.path in settings."
   );
 }