Restore previous SimpleLoopFixpoint functionality

GaloisInc · Mar 7, 2024 · 6b7d94c · 6b7d94c
1 parent e356be1
commit 6b7d94c
Show file tree

Hide file tree

Showing 2 changed files with 893 additions and 0 deletions.
diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -88,6 +88,7 @@ library
     Lang.Crucible.LLVM.Printf
     Lang.Crucible.LLVM.QQ
     Lang.Crucible.LLVM.SymIO
+    Lang.Crucible.LLVM.SimpleLoopFixpoint
     Lang.Crucible.LLVM.SimpleLoopFixpointCHC
     Lang.Crucible.LLVM.SimpleLoopInvariant
     Lang.Crucible.LLVM.Translation