Skip to content

Pull requests: ucsd-progsys/liquidhaskell

New pull request New
Clear current search query, filters, and sorts
20 Open 1,178 Closed
20 Open 1,178 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Unsound.jp
#1577 opened Dec 19, 2019 by jprider63 Loading…
1
Drop only dictionaries of type Eq, Ord, Numerical, and ~ WIP: Don't Merge Yet
#1606 opened Feb 8, 2020 by yiyunliu Loading…
@nikivazou
1
update submodule with elimEta fix
#1608 opened Feb 9, 2020 by yiyunliu Loading…
@nikivazou
6
make functor a generic class for #1619
#1621 opened Feb 24, 2020 by nikivazou Loading…
@nikivazou
6
Typeclass with minor fixes WIP: Don't Merge Yet
#1641 opened Apr 7, 2020 by yiyunliu Loading…
2
Flagged tc
#1667 opened May 11, 2020 by yiyunliu Loading…
change bivariant to perform no checks
#1825 opened Feb 18, 2021 by nikivazou Loading…
Promote DataCon in matchTyCon
#1828 opened Feb 26, 2021 by nikivazou Loading…
Michaelborkowski/benchmarks
#1843 opened Jun 17, 2021 by michaelborkowski • Draft
@ranjitjhala
4
freshVV type aliases to prevend shadowing
#1878 opened Sep 10, 2021 by nikivazou Loading…
Interpreter only on LHS WIP: Don't Merge Yet
#1899 opened Nov 10, 2021 by nikivazou Loading…
Fix for #1904 autolifting of data fields
#1921 opened Jan 6, 2022 by Fizzixnerd • Draft
5 of 6 tasks
10
Fix for #1906: adding GADT fields syntax
#1922 opened Jan 10, 2022 by Fizzixnerd • Draft
1
Enable choice of term ordering for REST
#1930 opened Feb 9, 2022 by zgrannan Loading…
5
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…
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 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…
WIP update to latest liquid-fixpoint
#2302 opened Jun 17, 2024 by clayrat Loading…
3
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…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.