Debugger

Cargo.toml

@@ -1,5 +1,10 @@
 [workspace]
-members = ["silverscript-lang", "covenants/sdk"]
+members = [
+    "silverscript-lang",
+    "debugger/session",
+    "debugger/cli",
+    "covenants/sdk",
+]
 exclude = ["tree-sitter"]
 resolver = "2"
 

README.md

@@ -17,9 +17,23 @@ This repository is a Rust workspace. The main crate is `silverscript-lang`.
 cargo test -p silverscript-lang
 ```
 
+## Debugger
+
+The workspace includes a source-level debugger for stepping through scripts:
+
+```bash
+cargo run -p cli-debugger -- \
+  silverscript-lang/tests/examples/if_statement.sil \
+  --function hello \
+  --ctor-arg 3 --ctor-arg 10 \
+  --arg 1 --arg 2
+```
+
 ## Layout
 
 - `silverscript-lang/` – compiler, parser, and tests
+- `debugger/session/` – `DebugSession` runtime (stepping, variable inspection)
+- `debugger/cli/` – `sil-debug` CLI REPL
 - `silverscript-lang/tests/examples/` – example contracts (`.sil` files)
 
 ## Documentation

debugger/cli/Cargo.toml

@@ -0,0 +1,20 @@
+[package]
+name = "cli-debugger"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+authors.workspace = true
+repository.workspace = true
+rust-version.workspace = true
+
+[[bin]]
+name = "cli-debugger"
+path = "src/main.rs"
+
+[dependencies]
+debugger-session = { path = "../session" }
+silverscript-lang = { path = "../../silverscript-lang" }
+kaspa-consensus-core.workspace = true
+kaspa-txscript.workspace = true
+kaspa-txscript-errors.workspace = true
+clap = { version = "4.5.60", features = ["derive"] }