Fix typo and update README and CHANGELOG

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [5.0.0] - 2025-01-13
+
+- Simbolik only recompiles the contracts if the source code has changed
+
 ## [4.1.0] - 2024-12-19
 
 - The web version now offers experimental support for debugging transactions from BuildBear sandboxes.

README.md

@@ -18,6 +18,8 @@ Visit our Documentation: https://docs.runtimeverification.com/simbolik
 Join our Discord: https://discord.gg/jnvEeDxW
 Join our TG group: https://t.me/rv_simbolik
 
+<img src="https://github.com/runtimeverification/simbolik-vscode/raw/master/images/simbolik-screenshot-1.png?raw=true" width="800" />
+
 ## Features
 
 - **Step-by-step debugging**: Debug your Solidity smart contracts line by line.

package.json

@@ -11,7 +11,7 @@
   },
   "publisher": "runtimeverification",
   "description": "Advanced Solidity and EVM Debugger",
-  "version": "4.1.0",
+  "version": "5.0.0",
   "engines": {
     "vscode": "^1.79.0"
   },

src/startDebugging.ts

@@ -12,7 +12,7 @@ import { WorkspaceWatcher } from './WorkspaceWatcher';
 export async function startDebugging(
   contract: ContractDefinition,
   method: FunctionDefinition,
-  worksapceWatcher: WorkspaceWatcher
+  workspaceWatcher: WorkspaceWatcher
 ) {
   return await vscode.window.withProgress({
     location: vscode.ProgressLocation.Notification,
@@ -66,13 +66,13 @@ export async function startDebugging(
     // Auto build if needed
     // Notice, that if autobuild is set to 'on-change' and the project is not built, the project will be built
     // This case is handled after this block
-    if (autobuild == 'always' || (autobuild == 'on-change' && worksapceWatcher.hasChanges())) {
+    if (autobuild == 'always' || (autobuild == 'on-change' && workspaceWatcher.hasChanges())) {
       progress.report({ message: "Compiling" });
       const build = forgeBuildTask(activeTextEditor.document.uri);
       const buildExecution = await vscode.tasks.executeTask(build);
       try {
         await completed(buildExecution);
-        worksapceWatcher.reset();
+        workspaceWatcher.reset();
       } catch (e) {
         vscode.window.showErrorMessage('Failed to build project.');
         return;
@@ -92,7 +92,7 @@ export async function startDebugging(
       const buildExecution = await vscode.tasks.executeTask(build);
       try {
         await completed(buildExecution);
-        worksapceWatcher.reset();
+        workspaceWatcher.reset();
         buildInfo = await loadBuildInfo(activeTextEditor.document.uri);
       } catch (e) {
         vscode.window.showErrorMessage('Failed to build project.');