Second version to build with GHC 9.10.1

• Implement opaque reflection, a feature to allow reflecting functions which call to non-reflected functions #2323.
• Implement reflection from interface files, which can reflect functions from their unfoldings #2326. The feature is limited at the moment by the constraints that affect reflecting functions in general. But we hope it becomes more interesting as reflection is made more flexible.
• Operators in the logic cannot be shadowed locally anymore since #2327.
• Added a flag --dump-pre-normalized-core to show core before A normalization and constraint generation #2336.
• Augmented the context of error messages #2350.
• Add a new flag --etabeta to reason with lambdas in PLE #2356
• Add a new flag --dependentcase to expand support for higher-order reasoning #2384
• Add support for reflecting lambda expressions #2465.
• Enabling the LiquidHaskell plugin now enables -fno-ignore-interface-pragmas (#2326) and -dkeep-comments (#2367).
• LiquidHaskell earned a new --minimal verbosity level as default that prints the banner with the amount of constraints checked (#2395).
  This banner is now suppressed when the verbosity is set to --quiet (#2391).
• Avoid reparsing and retypechecking when verifying modules #2389.
• Name resolution is done only when verifying a module. It is no longer done when importing it #2169. One side effect of this change is that LH can now pick up names in scope using import aliases in most places (but see #2481).
• Allow to link Haskell definitions with logical primitives via define declarations #2463.
• CVC5 solver is now supported for all logical theories, including Sets/Bags #2483

Version to build with GHC 9.8.2

• Support for GHC 9.8.2.
• Implement assume-reflect, a feature to assume the reflection of functions in dependencies 2313.
• Fixed the polymorphism-related crash in liquid-fixpoint caused by a restrictive theory encoding #2272.

Initial version to build with GHC 9.10.1

v0.9.10.1

Tweak .cabal to release liquidhaskell-boot-0.9.10.1

First version built with GHC 9.8.1

• Set support for GHC 9.8.1 #2248
• Embedded files include/CoreToLogic.lg and syntax/liquid.css in the source code #2265

Final version built with GHC 9.6.3

Sets support to build and run with GHC 9.6.3

Final version built with GHC 9.4.7

v0.9.4.7

Update CHANGES.md

Final version built with GHC 9.2.8

v9.2.8

Move CHANGES and README to extra-doc-files

Final version built with GHC 9.2.5

v9.2.5

Update installation documentation for version 0.9.5.2

Final version built with GHC 9.0.2

v9.0.2

Bump bounds of liquid-* packages for ghc-9.0.2

Final version built with GHC 8.10.2

Final version built with GHC 8.10.2