From d659b985aa11df738256afc33669cf15521c8d8d Mon Sep 17 00:00:00 2001 From: Mark DenHoed Date: Mon, 22 Dec 2025 17:55:40 +0000 Subject: [PATCH] update readme Removed the note about the final branch destination from the assignment model details. --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index d67a224..e7b0940 100644 --- a/README.md +++ b/README.md @@ -223,7 +223,6 @@ When synthesis succeeds, the CLI will print: 2. **Assignment Model Details** - A detailed breakdown including: - **Inputs (Locations Read)** - All register and memory locations read by each gadget, along with their evaluated values from the model - **Outputs (Locations Written)** - All register and memory locations written by each gadget, along with their evaluated values at the end of the chain - - **Final Branch Destination** - The program counter value after the final gadget (if determinable) _Note: The models produced through the CLI only represent the transitions within a chain. They do not constrain the system state to redirect execution to the chain.