Search results

CVC5 is an hard dependency if the build instruction in the readme are followed

Status: Open.

#2610 In ucsd-progsys/liquidhaskell;

· AlecsFerra opened on Jan 7, 2026

Support for GHC 9.14?

Status: Open.

#2608 In ucsd-progsys/liquidhaskell;

· ulysses4ever opened on Jan 7, 2026

State of Liquid Haskell development

Status: Open.

#2603 In ucsd-progsys/liquidhaskell;

· chrisdone-artificial opened on Jan 4, 2026

Investigate unresponsive queries of z3 in Lists.hs

Status: Open.

#2599 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Dec 17, 2025

Name resolution chokes on dependent pairs + type aliases

Status: Open.

#2590 In ucsd-progsys/liquidhaskell;

· AlecsFerra opened on Nov 7, 2025

Why do we need inline, measure, and reflection?

Status: Open.

#2584 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Oct 31, 2025

Reflection doesn't behave as measures

Status: Open.

#2582 In ucsd-progsys/liquidhaskell;

· pacastega opened on Oct 30, 2025

Reflection weakens higher order reasoning

Status: Open.

#2579 In ucsd-progsys/liquidhaskell;

· nikivazou opened on Oct 28, 2025

Confusion of value-kinded type variables

Status: Open.

#2574 In ucsd-progsys/liquidhaskell;

· pieter-bos opened on Sep 29, 2025

Data Constructors in Higher Order Positions

Status: Open.

#2573 In ucsd-progsys/liquidhaskell;

· nikivazou opened on Sep 26, 2025

<code>--cores</code> flag is detrimental to performance

Status: Open.

#2562 In ucsd-progsys/liquidhaskell;

· facundominguez opened on Jul 27, 2025

Nix setup for Liquid Haskell

Status: Open.

#2557 In ucsd-progsys/liquidhaskell;

· mikesperber opened on Jul 16, 2025