Update liquid-fixpoint

ucsd-progsys · Oct 18, 2023 · 55afc66 · 55afc66
1 parent c55c331
commit 55afc66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/liquid-fixpoint b/liquid-fixpoint
diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -140,7 +140,7 @@ library
                     , gitrev
                     , hashable             >= 1.3 && < 1.5
                     , hscolour             >= 1.22
-                    , liquid-fixpoint      == 0.9.0.2.1
+                    , liquid-fixpoint      == 0.9.2.5
                     , mtl                  >= 2.1
                     , optparse-applicative < 0.18
                     , githash
+2 −2		liquid-fixpoint.cabal
+1 −1		src/Language/Fixpoint/Horn/Types.hs
+6 −4		src/Language/Fixpoint/Misc.hs
+2 −2		src/Language/Fixpoint/Solver/Instantiate.hs
+1 −1		src/Language/Fixpoint/Solver/Sanitize.hs
+6 −7		src/Language/Fixpoint/Types/Config.hs
+3 −3		stack.yaml
+11 −11		stack.yaml.lock
+25 −0		tests/horn/pos/maps00.smt2
+12 −0		tests/horn/pos/str00.smt2