Skip to content

Pull requests: rust-lang/polonius

New pull request New
13 Open 133 Closed
13 Open 133 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

inline mir in .dot file
#195 opened Oct 16, 2023 by lengyijun Loading…
1
docs: origin_live_at -> origin_live_on_entry
#194 opened Jul 21, 2023 by ivanbakel Loading…
Make Polonius report any found errors by default
#193 opened Jul 21, 2023 by ivanbakel Loading…
add parser support for path related facts
#190 opened Nov 14, 2022 by zirconium-n Loading…
use byte literals
#189 opened May 2, 2022 by danieleades Loading…
prefer 'map' to 'and_then/some(...)'
#188 opened May 1, 2022 by danieleades Loading…
prefer 'char' to 'str' for single character patterns
#187 opened May 1, 2022 by danieleades Loading…
add clippy lint CI target
#186 opened May 1, 2022 by danieleades Loading…
Rewrite polonius-engine
#183 opened Jan 16, 2022 by ecstatic-morse • Draft
4
Add an optional Soufflé backend
#179 opened Aug 19, 2021 by ecstatic-morse Loading…
11
Don't re-index relations just to add an empty tuple
#178 opened Aug 12, 2021 by ecstatic-morse • Draft
6
Filter reflexive subset relations eagerly
#177 opened Aug 12, 2021 by ecstatic-morse • Draft
7
[WIP] Stop materializing placeholder liveness at all points
#157 opened Dec 23, 2020 by lqd • Draft
@nikomatsakis
ProTip! Exclude everything labeled bug with -label:bug.