Skip to content

Pull requests: rust-lang/polonius

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Enrich gitignore file to exclude editor files
#198 opened Jun 19, 2024 by FullyNonlinear Loading…
inline mir in .dot file
#195 opened Oct 16, 2023 by lengyijun Loading…
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…
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
Add an optional Soufflé backend
#179 opened Aug 19, 2021 by ecstatic-morse Loading…
ProTip! no:milestone will show everything without a milestone.