Remove crucible-mc

Fixes GaloisInc#1122.
langston-barrett · Jan 18, 2024 · 0336a39 · 0336a39
1 parent c4e01c5
commit 0336a39
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 199 deletions.
diff --git a/cabal.project b/cabal.project
@@ -20,7 +20,6 @@ packages:
  crux/
  crux-llvm/
  crux-mir/
- crucible-mc/
  uc-crux-llvm/
 
 optional-packages:

diff --git a/crucible-mc/CHANGELOG.md b/crucible-mc/CHANGELOG.md
diff --git a/crucible-mc/LICENSE b/crucible-mc/LICENSE
diff --git a/crucible-mc/README b/crucible-mc/README
diff --git a/crucible-mc/Setup.hs b/crucible-mc/Setup.hs
diff --git a/crucible-mc/crucible-mc.cabal b/crucible-mc/crucible-mc.cabal
diff --git a/crucible-mc/exe/Main.hs b/crucible-mc/exe/Main.hs
diff --git a/crucible-mc/exe/Print.hs b/crucible-mc/exe/Print.hs
diff --git a/crucible-mc/test/Makefile b/crucible-mc/test/Makefile
diff --git a/crucible-mc/test/example.c b/crucible-mc/test/example.c