crucible-saw: rm

Fixes #1281
GaloisInc · Jan 31, 2025 · 975c95d · 975c95d
1 parent ada93e9
commit 975c95d
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 1,859 deletions.
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