Remove Tools/BoogieToStrata (#1329)

`BoogieToStrata` is now here:

https://github.com/strata-org/Strata-Boogie/

Author: atomb

.github/labeler.yml

@@ -43,8 +43,6 @@ dependencies:
           - 'lean-toolchain'
           - 'Tools/Python-base/pyproject.toml'
           - 'StrataPython/Tools/strata-python/pyproject.toml'
-          - 'Tools/BoogieToStrata/**/*.csproj'
-          - 'Tools/BoogieToStrata/**/*.sln'
 
 github_actions:
   - changed-files:

.github/pull_request_template.md

@@ -4,4 +4,4 @@ The code that will be moved includes:
 - Strata/DDM/*
 - Strata/Languages/Boole/*
 - Strata/Languages/Python/* along with Tools/Python/*
-- Tools/BoogieToStrata
+- Tools/BoogieToStrata

.github/workflows/ci.yml

@@ -6,9 +6,6 @@ on:
   push:
     branches: [main]
 
-env:
-  SOLUTION: Tools/BoogieToStrata/BoogieToStrata.sln
-
 jobs:
   get-branch-name:
     runs-on: ubuntu-latest
@@ -94,10 +91,6 @@ jobs:
       - name: Build and run strata verify
         run: lake exe strata verify ../Examples/SimpleProc.core.st
         working-directory: StrataCLI
-      - name: Build BoogieToStrata
-        run: dotnet build -warnaserror ${SOLUTION}
-      - name: Test BoogieToStrata
-        run: dotnet test ${SOLUTION}
       - name: Test Strata Command line
         run: .github/scripts/testStrataCommand.sh
       - name: Validate examples against expected output

.kiro/steering/structure.md

@@ -15,7 +15,7 @@ Strata is a Lean4 verification framework using **dialects** as composable langua
 - `Strata/` - Core implementation (DDM, dialects, languages, transforms, backends)
 - `StrataTest/` - Unit tests (mirrors Strata/ structure)
 - `Examples/` - Sample programs (`.st` files, naming: `<name>.<dialect>.st`)
-- `Tools/` - External tools (BoogieToStrata, Python utilities)
+- `Tools/` - External tools (Python utilities)
 - `vcs/` - Generated SMT2 verification conditions
 
 ### Core Components