Skip to content

Pull requests: ucsd-progsys/liquidhaskell

New pull request New
16 Open 1,418 Closed
16 Open 1,418 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

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
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! Exclude everything labeled bug with -label:bug.