Skip to content

Pull requests: ucsd-progsys/liquidhaskell

New pull request New
19 Open 1,163 Closed
19 Open 1,163 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Bump express from 2.5.9 to 4.17.3 in /docs/slides/plpv14/_support/reveal
dependencies Pull requests that update a dependency file
#2254 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 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 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…
Enable choice of term ordering for REST
#1930 opened Feb 9, 2022 by zgrannan Loading…
5
Fix for #1906: adding GADT fields syntax
#1922 opened Jan 10, 2022 by Fizzixnerd • Draft
1
Fix for #1904 autolifting of data fields
#1921 opened Jan 6, 2022 by Fizzixnerd • Draft
5 of 6 tasks
10
Interpreter only on LHS WIP: Don't Merge Yet
#1899 opened Nov 10, 2021 by nikivazou Loading…
freshVV type aliases to prevend shadowing
#1878 opened Sep 10, 2021 by nikivazou Loading…
Michaelborkowski/benchmarks
#1843 opened Jun 17, 2021 by michaelborkowski • Draft
@ranjitjhala
4
Promote DataCon in matchTyCon
#1828 opened Feb 26, 2021 by nikivazou Loading…
change bivariant to perform no checks
#1825 opened Feb 18, 2021 by nikivazou Loading…
Turn reflects to measures when possible WIP: Don't Merge Yet
#1748 opened Aug 27, 2020 by nikivazou Loading…
Flagged tc
#1667 opened May 11, 2020 by yiyunliu Loading…
Typeclass with minor fixes WIP: Don't Merge Yet
#1641 opened Apr 7, 2020 by yiyunliu Loading…
2
make functor a generic class for #1619
#1621 opened Feb 24, 2020 by nikivazou Loading…
@nikivazou
6
update submodule with elimEta fix
#1608 opened Feb 9, 2020 by yiyunliu Loading…
@nikivazou
6
Drop only dictionaries of type Eq, Ord, Numerical, and ~ WIP: Don't Merge Yet
#1606 opened Feb 8, 2020 by yiyunliu Loading…
@nikivazou
1
Unsound.jp
#1577 opened Dec 19, 2019 by jprider63 Loading…
1
ProTip! Filter pull requests by the default branch with base:develop.