From fa502b4e8bdbbddc1e0a51105c1d45c2d5c4d142 Mon Sep 17 00:00:00 2001
From: christiane-certora <christiane@certora.com>
Date: Mon, 18 May 2026 15:43:35 +0200
Subject: [PATCH 1/6] Update solana installation instructions

---
 docs/solana/installation.md | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index 0cf8a3259..b81072a28 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -11,27 +11,34 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
 
    `curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh`
 
-   It is useful to have Rust versions 1.75, 1.79, and 1.81 or above installed.
+   It is useful to have Rust versions 1.75, 1.79, and 1.85 or above installed.
 
    ```
    rustup toolchain install 1.79
    rustup toolchain install 1.75
-   rustup toolchain install 1.81
+   rustup toolchain install 1.85
    ```
 
 2. Install `certora-sbf` cargo sub-command
 
-   `cargo +1.81 install cargo-certora-sbf`
+   `cargo +1.85 install cargo-certora-sbf`
 
    Note that a minimal version of Rust required to install `certora-sbf` is
-   v1.81.
+   v1.85.
 
 3. Test the installation by using `certora-sbf` to download and install Certora
    Platform Tools
 
    `cargo certora-sbf --no-build`
 
-4. It is strongly recommended to install VSCode and the rust-analyzer extension.
+4. Install [llvm](https://releases.llvm.org/), you can typically install it also via apt or brew.
+
+5. Install [rustfilt](https://github.com/luser/rustfilt)
+   ```
+   cargo install rustfilt
+   ```
+
+7. It is strongly recommended to install VSCode and the rust-analyzer extension.
 
 ----
 

From 80813c4905141abea392fb9424b9157e30bca460 Mon Sep 17 00:00:00 2001
From: christiane-certora <christiane@certora.com>
Date: Mon, 18 May 2026 15:52:35 +0200
Subject: [PATCH 2/6] more consistent formatting

with the big code box because it gives the user a nice copy button
---
 docs/solana/installation.md | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index b81072a28..b05b938af 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -21,24 +21,28 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
 
 2. Install `certora-sbf` cargo sub-command
 
-   `cargo +1.85 install cargo-certora-sbf`
+   ```
+   cargo +1.85 install cargo-certora-sbf
+   ```
 
    Note that a minimal version of Rust required to install `certora-sbf` is
    v1.85.
 
-3. Test the installation by using `certora-sbf` to download and install Certora
+4. Test the installation by using `certora-sbf` to download and install Certora
    Platform Tools
 
-   `cargo certora-sbf --no-build`
+   ```
+   cargo certora-sbf --no-build
+   ```
 
-4. Install [llvm](https://releases.llvm.org/), you can typically install it also via apt or brew.
+6. Install [llvm](https://releases.llvm.org/), you can typically install it also via apt or brew.
 
-5. Install [rustfilt](https://github.com/luser/rustfilt)
+7. Install [rustfilt](https://github.com/luser/rustfilt)
    ```
    cargo install rustfilt
    ```
 
-7. It is strongly recommended to install VSCode and the rust-analyzer extension.
+8. It is strongly recommended to install VSCode and the rust-analyzer extension.
 
 ----
 

From 574769af6950ee9efd333de92dcd5b550cb3d17f Mon Sep 17 00:00:00 2001
From: christiane-certora <christiane@certora.com>
Date: Mon, 18 May 2026 16:30:24 +0200
Subject: [PATCH 3/6] part of CR changes

---
 docs/solana/installation.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index b05b938af..4d07e71b0 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -19,15 +19,12 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
    rustup toolchain install 1.85
    ```
 
-2. Install `certora-sbf` cargo sub-command
+2. Install [`certora-sbf`](https://github.com/Certora/cargo-certora-sbf) cargo sub-command
 
    ```
-   cargo +1.85 install cargo-certora-sbf
+   cargo install cargo-certora-sbf
    ```
 
-   Note that a minimal version of Rust required to install `certora-sbf` is
-   v1.85.
-
 4. Test the installation by using `certora-sbf` to download and install Certora
    Platform Tools
 

From 8b7314458e96bd7ed27c769cb6f8acf1181148a2 Mon Sep 17 00:00:00 2001
From: Johannes Spaeth <johannes@certora.com>
Date: Tue, 19 May 2026 10:43:43 +0200
Subject: [PATCH 4/6] Update Solana installation docs with statements about
 versions

---
 docs/solana/installation.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index 4d07e71b0..d256900e2 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -11,12 +11,13 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
 
    `curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh`
 
-   It is useful to have Rust versions 1.75, 1.79, and 1.85 or above installed.
+Rust 1.85 or above is recommended to be able to build cargo-certora-sbf and when using cvlr-solana ≥ 0.5. Version 1.75 can be used when analyzing programs that use older cvlr-solana versions (below or equal to 0.4) and programs that are bundled with Solana v1.18 (1.79 matches the one bundled with Solana v2.1). Install whichever versions correspond to the Solana releases you target:
+
 
    ```
-   rustup toolchain install 1.79
-   rustup toolchain install 1.75
-   rustup toolchain install 1.85
+   rustup toolchain install 1.85   # (recommended) if the program under analysis uses Solana v2.3
+   rustup toolchain install 1.79   # (alternatively) if the program under analysis uses Solana v2.1
+   rustup toolchain install 1.75   # (alternatively) if the program under analysis uses Solana v1.18
    ```
 
 2. Install [`certora-sbf`](https://github.com/Certora/cargo-certora-sbf) cargo sub-command

From 02e292eb2928140ddee9c7eaaaf045df25258fc2 Mon Sep 17 00:00:00 2001
From: Johannes Spaeth <johannes@certora.com>
Date: Tue, 19 May 2026 11:20:10 +0200
Subject: [PATCH 5/6] spell check

---
 docs/solana/installation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index d256900e2..b7d2b7c82 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -11,7 +11,7 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
 
    `curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh`
 
-Rust 1.85 or above is recommended to be able to build cargo-certora-sbf and when using cvlr-solana ≥ 0.5. Version 1.75 can be used when analyzing programs that use older cvlr-solana versions (below or equal to 0.4) and programs that are bundled with Solana v1.18 (1.79 matches the one bundled with Solana v2.1). Install whichever versions correspond to the Solana releases you target:
+Rust 1.85 or above is recommended to be able to build `cargo-certora-sbf` and when using `cvlr-solana` ≥ 0.5. Version 1.75 can be used when analyzing programs that use `cvlr-solana` versions (below or equal to 0.4) and programs that are bundled with Solana v1.18 (Rust version 1.79 matches the one bundled with Solana v2.1). Install whichever versions correspond to the Solana releases you target:
 
 
    ```

From 7fce2589bb7090bcc4deaa4cd713a656df36dddd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20Sp=C3=A4th?= <johspaeth@users.noreply.github.com>
Date: Tue, 19 May 2026 13:01:31 +0200
Subject: [PATCH 6/6] Apply suggestions from code review
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Johannes Späth <johspaeth@users.noreply.github.com>
---
 docs/solana/installation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/solana/installation.md b/docs/solana/installation.md
index b7d2b7c82..60d4f0283 100644
--- a/docs/solana/installation.md
+++ b/docs/solana/installation.md
@@ -11,7 +11,7 @@ Begin by following the steps in the {ref}`Certora Prover installation guide <ins
 
    `curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh`
 
-Rust 1.85 or above is recommended to be able to build `cargo-certora-sbf` and when using `cvlr-solana` ≥ 0.5. Version 1.75 can be used when analyzing programs that use `cvlr-solana` versions (below or equal to 0.4) and programs that are bundled with Solana v1.18 (Rust version 1.79 matches the one bundled with Solana v2.1). Install whichever versions correspond to the Solana releases you target:
+Rust 1.85 or above is recommended when using `cvlr-solana` ≥ 0.5. Version 1.75 or 1.79 can be used when analyzing programs that use `cvlr-solana` versions below or equal to 0.4. Use 1.75 when the target program is bundled with Solana v1.18 and version 1.79 when targeting Solana v2.1. Install whichever version correspond to the Solana release you target:
 
 
    ```