Update liquid-fixpoint · ucsd-progsys/liquidhaskell@468aa7d

Commit

Update liquid-fixpoint

Browse files

facundominguez committed Jan 28, 2024

1 parent 74cc5eb commit 468aa7d

+3 −1		.github/workflows/cabal.yml
+3 −1		.github/workflows/hlint.yml
+5 −2		.github/workflows/stack.yml
+4 −2		.github/workflows/stan.yml
+7 −0		cabal.project
+1 −1		liquid-fixpoint.cabal
+0 −2		src/Language/Fixpoint/Defunctionalize.hs
+12 −14		src/Language/Fixpoint/Horn/Solve.hs
+74 −75		src/Language/Fixpoint/Horn/Transformations.hs
+3 −5		src/Language/Fixpoint/Horn/Types.hs
+0 −2		src/Language/Fixpoint/Minimize.hs
+2 −4		src/Language/Fixpoint/Parse.hs
+7 −9		src/Language/Fixpoint/Smt/Interface.hs
+7 −8		src/Language/Fixpoint/Smt/Serialize.hs
+2 −3		src/Language/Fixpoint/Smt/Theories.hs
+2 −3		src/Language/Fixpoint/Smt/Types.hs
+3 −5		src/Language/Fixpoint/Solver.hs
+7 −9		src/Language/Fixpoint/Solver/Common.hs
+35 −37		src/Language/Fixpoint/Solver/EnvironmentReduction.hs
+17 −18		src/Language/Fixpoint/Solver/Extensionality.hs
+5 −7		src/Language/Fixpoint/Solver/GradualSolution.hs
+45 −47		src/Language/Fixpoint/Solver/Instantiate.hs
+6 −2		src/Language/Fixpoint/Solver/Simplify.hs
+0 −2		src/Language/Fixpoint/SortCheck.hs
+12 −1		stack.yaml
+25 −4		stack.yaml.lock
+5 −2		tests/tasty/InterpretTests.hs