Readme dependencies patch

README.md

@@ -11,9 +11,9 @@ If you would like to try a legacy version of the project, [this blog post](https
 
 ## For Developers
 
-### Setup
+### KMIR Setup
 
-Pre-requisites: `python >= 3.10`, `pip >= 20.0.2`, `poetry >= 1.3.2`.
+Pre-requisites: `python >= 3.10`, `pip >= 20.0.2`, `poetry >= 1.3.2`, `gcc >= 11.4.0`, `cargo == nightly-2024-11-29`, `k >= v7.1.205`. To install K, follow the steps available in [K's Quick Start instructions](https://github.com/runtimeverification/k?tab=readme-ov-file#quick-start). 
 
 ```bash
 make build
@@ -23,6 +23,17 @@ Use `make` to run common tasks (see the [Makefile](Makefile) for a complete list
 
 For interactive use, spawn a shell with `poetry -C kmir/ shell` (after `poetry -C kmir/ install`), then run an interpreter. Or directly run from `mir-semantics` root with `poetry run -C kmir kmir <COMMAND>`
 
+### Stable-MIR-JSON Setup
+
+At the moment, to interact with some of KMIR functionalities, it is necessary to provide the tool with a serialized JSON of a Rust program's Stable MIR. To be able to extract these serialized SMIR JSONs, you can use the `Stable-MIR-JSON` tool, setting it up with the following commands:
+
+```Rust
+git submodule update --init --recursive
+make stable-mir-json
+```
+
+For more information on testing, installation, and general usage of this tool, please check [Stable-MIR-JSON's repository](https://github.com/runtimeverification/stable-mir-json/).
+
 ## Usage
 
 Use `--help` with each command for more details.

kmir/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmir"
-version = "0.3.106"
+version = "0.3.107"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

kmir/src/kmir/__init__.py

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.106'
+VERSION: Final = '0.3.107'

package/version

@@ -1 +1 @@
-0.3.106
+0.3.107