crucible-saw: rm (#1282)

Fixes #1281
GaloisInc · Feb 4, 2025 · a250201 · a250201
1 parent 25064ae
commit a250201
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 1,860 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -29,7 +29,6 @@ jobs:
           (cd crucible-llvm-cli/; ../hlint-3.8/hlint src test)
           (cd crucible-llvm-syntax/; ../hlint-3.8/hlint src test)
           (cd crucible-mir/; ../hlint-3.8/hlint src)
-          (cd crucible-saw/; ../hlint-3.8/hlint src)
           (cd crucible-symio/; ../hlint-3.8/hlint src tests)
           (cd crucible-syntax/; ../hlint-3.8/hlint src test)
           (cd crucible-wasm/; ../hlint-3.8/hlint src test)

diff --git a/README.md b/README.md
@@ -24,8 +24,6 @@ Currently, the repository consists of the following Haskell packages:
    executing LLVM assembly programs in the Crucible symbolic simulator.
  * **`crucible-jvm`** provides translation and runtime support for
    executing JVM bytecode programs in the Crucible symbolic simulator.
- * **`crucible-saw`** provides functionality for generating
-   SAW Core terms from Crucible Control-Flow-Graphs.
  * **`crux`** provides common support libraries for running the
    crucible simulator in a basic "all-at-once" use mode for simulation
    and verification.  This includes most of the setup steps required

diff --git a/crucible-saw/LICENSE b/crucible-saw/LICENSE
diff --git a/crucible-saw/Setup.hs b/crucible-saw/Setup.hs
diff --git a/crucible-saw/crucible-saw.cabal b/crucible-saw/crucible-saw.cabal