{"id":49279447,"url":"https://github.com/tornado80/easycrypt-vscode-ide","last_synced_at":"2026-04-25T18:00:54.431Z","repository":{"id":331387516,"uuid":"1125252630","full_name":"tornado80/easycrypt-vscode-ide","owner":"tornado80","description":"A VSCode extension for EasyCrypt Proof Assistant","archived":false,"fork":false,"pushed_at":"2026-04-25T16:02:08.000Z","size":2284,"stargazers_count":1,"open_issues_count":0,"forks_count":1,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-25T16:22:45.332Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tornado80.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-12-30T11:56:07.000Z","updated_at":"2026-04-25T16:00:53.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/tornado80/easycrypt-vscode-ide","commit_stats":null,"previous_names":["tornado80/easycrypt-vscode-ide"],"tags_count":4,"template":false,"template_full_name":null,"purl":"pkg:github/tornado80/easycrypt-vscode-ide","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tornado80%2Feasycrypt-vscode-ide","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tornado80%2Feasycrypt-vscode-ide/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tornado80%2Feasycrypt-vscode-ide/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tornado80%2Feasycrypt-vscode-ide/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tornado80","download_url":"https://codeload.github.com/tornado80/easycrypt-vscode-ide/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tornado80%2Feasycrypt-vscode-ide/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32271243,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-25T09:15:33.318Z","status":"ssl_error","status_checked_at":"2026-04-25T09:15:31.997Z","response_time":59,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2026-04-25T18:00:53.819Z","updated_at":"2026-04-25T18:00:54.425Z","avatar_url":"https://github.com/tornado80.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# EasyCrypt VS Code Extension\n\nEasyCrypt language support for Visual Studio Code: syntax highlighting, diagnostics via the `easycrypt` CLI, and interactive proof development with proof-state navigation.\n\n## Features\n\n- **Syntax highlighting** for EasyCrypt (`.ec`, `.eca`).\n- **Diagnostics / squiggles** by running EasyCrypt and parsing its output.\n  - Manual check via command.\n  - Optional live checks on change/save.\n- **Interactive proof navigation** backed by a long-running EasyCrypt process:\n  - Step forward/backward through statements.\n  - Jump to cursor.\n  - Reset proof state.\n- **Proof State view** (Explorer panel) that shows goals/messages/output and includes navigation buttons.\n- **Status bar indicator** for quick “check file” access.\n- **Verbose logging** to the “EasyCrypt” Output channel (optional).\n\n## Requirements\n\n- EasyCrypt installed locally.\n- The `easycrypt` executable must be available on your `PATH`, or configured explicitly via `easycrypt.executablePath`.\n\n## Getting Started\n\n1. Install EasyCrypt.\n2. Open an EasyCrypt file (`.ec`/`.eca`) in VS Code.\n3. Run **“EasyCrypt: Check File”** from the Command Palette.\n4. (Optional) Open the **Proof State** view in the Explorer to step through proofs.\n\n## Commands\n\nFrom the Command Palette:\n\n- **EasyCrypt: Check File** (`easycrypt.checkFile`)\n- **EasyCrypt: Start/Restart Process** (`easycrypt.startProcess`)\n- **EasyCrypt: Stop Process** (`easycrypt.stopProcess`)\n- **EasyCrypt: Clear All Diagnostics** (`easycrypt.clearAllDiagnostics`)\n- **EasyCrypt: Clear File Diagnostics** (`easycrypt.clearFileDiagnostics`)\n- **EasyCrypt: Show Diagnostic Count** (`easycrypt.showDiagnosticCount`)\n- **EasyCrypt: Step Forward** (`easycrypt.stepForward`)\n- **EasyCrypt: Step Backward** (`easycrypt.stepBackward`)\n- **EasyCrypt: Go to Cursor** (`easycrypt.goToCursor`)\n- **EasyCrypt: Reset Proof State** (`easycrypt.resetProof`)\n- **EasyCrypt: Force Recovery (Fix Desync)** (`easycrypt.forceRecovery`)\n- **EasyCrypt: Toggle Verbose Logging** (`easycrypt.toggleVerboseLogging`)\n\n## Keybindings\n\nThe extension provides navigation keybindings when editing EasyCrypt files, controlled by `easycrypt.keybindings.profile`:\n\n- `default`\n  - Step Forward: `Alt+Down`\n  - Step Backward: `Alt+Up`\n  - Go to Cursor: `Alt+Right`\n  - Reset Proof State: `Alt+Left`\n- `proof-general`\n  - Step Forward: `Ctrl+Alt+Down` (macOS: `Ctrl+Down`)\n  - Step Backward: `Ctrl+Alt+Up` (macOS: `Ctrl+Up`)\n  - Go to Cursor: `Ctrl+Alt+Right` (macOS: `Ctrl+Right`)\n  - Reset Proof State: `Ctrl+Alt+Left` (macOS: `Ctrl+Left`)\n- `none`\n  - No keybindings are contributed by the extension.\n\nAdditionally:\n\n- Check File: `Ctrl+Shift+C` (macOS: `Cmd+Shift+C`)\n\n## Configuration\n\nSettings (see VS Code Settings UI under “EasyCrypt”):\n\n- `easycrypt.keybindings.profile`: `default` | `proof-general` | `none`\n- `easycrypt.executablePath`: path to the EasyCrypt binary (default: `easycrypt`)\n- `easycrypt.arguments`: additional CLI args passed to EasyCrypt on startup\n- `easycrypt.proverArgs`: args for backend provers (passed through EasyCrypt)\n\nDiagnostics:\n\n- `easycrypt.diagnostics.enabled`: enable/disable diagnostics\n- `easycrypt.diagnostics.liveChecks`: enable/disable live checks\n- `easycrypt.diagnostics.delay`: debounce delay (ms) for live checks\n- `easycrypt.diagnostics.onChange`: run checks when text changes\n- `easycrypt.diagnostics.onSave`: run checks on save\n\nLogging / debug:\n\n- `easycrypt.verboseLogging`: enable verbose logging to the “EasyCrypt” Output channel\n- `easycrypt.proofStateView.debug.showEmacsPromptMarker`: show the EasyCrypt `-emacs` prompt marker in the Proof State view\n\n## Troubleshooting\n\n- **“EasyCrypt executable not found”**\n  - Set `easycrypt.executablePath` to the full path of your `easycrypt` binary.\n  - Or ensure `easycrypt` is on your `PATH` and restart VS Code.\n- **Desynchronized proof state**\n  - Run **“EasyCrypt: Force Recovery (Fix Desync)”**.\n  - If needed, run **“EasyCrypt: Reset Proof State”**.\n- **Where are logs?**\n  - Open **View → Output** and select **EasyCrypt**.\n  - Enable verbose logs with **“EasyCrypt: Toggle Verbose Logging”**.\n\n## Development\n\nPrereqs: Node.js 24 + npm.\n\nIf you use nvm:\n\n- `nvm install`\n- `nvm use`\n\n- Install dependencies: `npm install`\n- Compile: `npm run compile`\n- Watch: `npm run watch`\n- Lint: `npm run lint`\n\n### Running the extension locally\n\n- Open this repo in VS Code.\n- Press `F5` to launch an Extension Development Host.\n- Open a `.ec` file in the dev host to activate the extension.\n\n### Tests\n\n- Unit tests: `npm test`\n- E2E tests: `npm run test:e2e`\n\n## License\n\nGPL-3.0. See [LICENSE](LICENSE).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftornado80%2Feasycrypt-vscode-ide","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftornado80%2Feasycrypt-vscode-ide","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftornado80%2Feasycrypt-vscode-ide/lists"}