Skip to content

Issues: rust-lang/polonius

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 24 Closed
27 Open 24 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Avoid materializing initialization data at all CFG nodes
#182 opened Nov 5, 2021 by ecstatic-morse
1
Attempting to compile unicode-general-category
#181 opened Nov 1, 2021 by HollayHorvath
2
Avoid TC(x, z) :- TC(x, y), TC(y, z) when computing transitive closures
#176 opened Aug 4, 2021 by ecstatic-morse
Document the intuition behind the optimized ruleset
#175 opened Aug 3, 2021 by ecstatic-morse
2
Check constraints arising from higher-rank trait bounds (HRTBs)
#172 opened Jul 30, 2021 by ecstatic-morse
1
A bug from drop
#166 opened Jul 14, 2021 by lengyijun
@ecstatic-morse
Runaway borrow-check times for tinyvec crate
#162 opened Apr 4, 2021 by Byron
2
Attempting to run a polonius check on my code
#154 opened Aug 19, 2020 by Plecra
1
subset errors
#153 opened Aug 5, 2020 by nikomatsakis
4
Move errors: add rule to report partial assignment to moved variables
#152 opened Jun 30, 2020 by utaal
Experiment with Lobster-like memory management
#143 opened Mar 2, 2020 by LifeIsStrange
3
Import the rules from HackMD into the Polonius book
#141 opened Feb 16, 2020 by amandasystems
update polonius-parser to handle facts for liveness
#138 opened Nov 12, 2019 by amandasystems
child facts should only contain immediate children fact-generation
#120 opened Sep 6, 2019 by amandasystems
3
document how to run Polonius in Rust's unit tests in the book
#119 opened Sep 4, 2019 by amandasystems
profile Polonius using measureme
#118 opened Sep 4, 2019 by amandasystems
refactor the fact-generation code to be less messy, use fewer MIR walks fact-generation
#117 opened Sep 4, 2019 by amandasystems
break the analysis pipeline into components
#112 opened Aug 30, 2019 by amandasystems
possible refinement to avoid tracking subset relations wontfix This will not be worked on
#107 opened Jun 6, 2019 by nikomatsakis
2
bring this crate into conformance with compiler-team crate policy
#101 opened Mar 7, 2019 by nikomatsakis
The subset relation contains regions subsets of themselves
#62 opened May 29, 2018 by lqd
Front-end: Compute liveness to emit all region_live_at facts
#61 opened May 29, 2018 by lqd
friendlier front end
#26 opened May 14, 2018 by nikomatsakis
1
Revisit the "Location::All" hack
#24 opened May 12, 2018 by nikomatsakis
2
Idea: condense CFG
#20 opened May 10, 2018 by nikomatsakis
ProTip! no:milestone will show everything without a milestone.