Skip to content

Pull requests: ucsd-progsys/liquidhaskell

New pull request New
23 Open 1,392 Closed
23 Open 1,392 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix polymorphic kvar type variable mismatch and add regression tests
#2651 opened Apr 9, 2026 by facundominguez Collaborator Loading…
1
add --save-bfq-on-error flag for liquidhaskell and include it in CI
#2648 opened Apr 1, 2026 by kaf-lamed-beyt Loading…
7
Proposal: Name representation and resolution
#2572 opened Sep 9, 2025 by pieter-bos Contributor Loading…
10
Remove untested typeclass elaboration WIP: Don't Merge Yet
#2434 opened Nov 11, 2024 by facundominguez Collaborator Loading…
8
Bump socket.io from 0.9.6 to 2.5.0 in /docs/slides/flops14/_support/reveal dependencies Pull requests that update a dependency file
#2306 opened Jun 19, 2024 by dependabot bot Loading…
Bump express from 4.17.3 to 4.19.2 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2293 opened May 25, 2024 by dependabot bot Loading…
Bump underscore from 1.3.3 to 1.12.1 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2253 opened Dec 16, 2023 by dependabot bot Loading…
Bump socket.io from 0.9.6 to 2.4.0 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2251 opened Dec 16, 2023 by dependabot bot Loading…
Bump mustache from 0.4.0 to 2.2.1 in /docs/slides/plpv14/_support/reveal dependencies Pull requests that update a dependency file
#2252 opened Dec 16, 2023 by dependabot bot Loading…
Enable choice of term ordering for REST
#1930 opened Feb 9, 2022 by zgrannan Contributor Loading…
5
Fix for #1906: adding GADT fields syntax
#1922 opened Jan 10, 2022 by Fizzixnerd Contributor • Draft
1
Fix for #1904 autolifting of data fields
#1921 opened Jan 6, 2022 by Fizzixnerd Contributor • Draft
5 of 6 tasks
10
Interpreter only on LHS WIP: Don't Merge Yet
#1899 opened Nov 10, 2021 by nikivazou Member Loading…
freshVV type aliases to prevend shadowing
#1878 opened Sep 10, 2021 by nikivazou Member Loading…
Michaelborkowski/benchmarks
#1843 opened Jun 17, 2021 by michaelborkowski Contributor • Draft
@ranjitjhala
4
Promote DataCon in matchTyCon
#1828 opened Feb 26, 2021 by nikivazou Member Loading…
change bivariant to perform no checks
#1825 opened Feb 18, 2021 by nikivazou Member Loading…
Flagged tc
#1667 opened May 11, 2020 by yiyunliu Contributor Loading…
Typeclass with minor fixes WIP: Don't Merge Yet
#1641 opened Apr 7, 2020 by yiyunliu Contributor Loading…
2
make functor a generic class for #1619
#1621 opened Feb 24, 2020 by nikivazou Member Loading…
@nikivazou
6
update submodule with elimEta fix
#1608 opened Feb 9, 2020 by yiyunliu Contributor Loading…
@nikivazou
6
Drop only dictionaries of type Eq, Ord, Numerical, and ~ WIP: Don't Merge Yet
#1606 opened Feb 8, 2020 by yiyunliu Contributor Loading…
@nikivazou
1
Unsound.jp
#1577 opened Dec 19, 2019 by jprider63 Contributor Loading…
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.