Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rust-lang/project-stable-mir issues and pull requests

#88 - onboarding friction log

Issue - State: open - Opened by nikomatsakis 11 months ago

#87 - Add an API to get associated items

Issue - State: open - Opened by celinval about 1 year ago

#86 - Add more queries to AdtDef to check for rust language types

Issue - State: open - Opened by celinval about 1 year ago - 1 comment
Labels: good first issue

#85 - Add an Instance resolve for the closure function itself

Issue - State: open - Opened by celinval about 1 year ago - 1 comment

#84 - Move the book to `book/` folder and add more content

Pull Request - State: closed - Opened by celinval about 1 year ago

#83 - Provide access to item attributes

Issue - State: open - Opened by celinval about 1 year ago - 6 comments

#82 - Allow users to get generics of a few definitions

Issue - State: open - Opened by celinval about 1 year ago
Labels: good first issue

#81 - Create a `MutMirVisitor`

Issue - State: open - Opened by celinval about 1 year ago
Labels: good first issue

#80 - Create a new trait CrateDefType to retrieve definiton type

Issue - State: closed - Opened by celinval about 1 year ago

#78 - Annotate SMIR with lifetime information

Issue - State: open - Opened by xldenis about 1 year ago - 2 comments

#77 - Add an API to check if a function is intrinsic

Issue - State: closed - Opened by momvart about 1 year ago - 1 comment

#76 - Create a StableMIR User Guide

Issue - State: open - Opened by celinval over 1 year ago

#74 - Smir demo

Pull Request - State: closed - Opened by celinval over 1 year ago - 1 comment

#73 - Update README.md

Pull Request - State: closed - Opened by celinval over 1 year ago - 1 comment

#72 - Improve code documentation

Issue - State: open - Opened by celinval over 1 year ago - 5 comments

#71 - ConstOperand is duplicated and mir::Const is missing

Issue - State: open - Opened by RalfJung over 1 year ago - 1 comment

#70 - Add APIs for coroutines equivalent to those for closures

Issue - State: open - Opened by momvart over 1 year ago - 2 comments

#69 - Create a StableMIR driver

Issue - State: open - Opened by celinval over 1 year ago - 1 comment

#68 - Add an API to resolve the name of a function

Issue - State: open - Opened by celinval over 1 year ago - 14 comments

#67 - Add an API to check if a `Ty` implements a trait

Issue - State: open - Opened by momvart over 1 year ago - 1 comment

#66 - Initial Use Case: Port MiniRust

Issue - State: open - Opened by celinval over 1 year ago - 2 comments

#65 - Add an API to get the basename of an intrinsic

Issue - State: closed - Opened by adpaco-aws over 1 year ago - 5 comments
Labels: good first issue

#64 - Add an API to fetch the list of all reachable items of a crate

Issue - State: closed - Opened by momvart over 1 year ago - 5 comments
Labels: good first issue

#63 - Add a method to get the `FnAbi` of a function pointer

Issue - State: open - Opened by celinval over 1 year ago - 3 comments
Labels: good first issue

#62 - Add support to caller location

Issue - State: open - Opened by celinval over 1 year ago

#61 - Add more information for `ForeignDef`

Issue - State: closed - Opened by momvart over 1 year ago - 9 comments

#60 - Fix compilation after changes to trait and run

Pull Request - State: closed - Opened by celinval over 1 year ago - 4 comments

#59 - Add Stable APIs to emit diagnostic messages

Issue - State: open - Opened by celinval over 1 year ago - 4 comments

#58 - Expand ABI support by replacing opaque items

Issue - State: closed - Opened by celinval over 1 year ago

#57 - Provide `Display` implementation for types that can be used in diagnostic messages

Issue - State: open - Opened by celinval over 1 year ago - 4 comments
Labels: good first issue

#56 - Provide proper encapsulation of StableMIR APIs

Issue - State: open - Opened by celinval over 1 year ago - 3 comments

#55 - Fix tests after creation of CrateDef trait

Pull Request - State: closed - Opened by celinval over 1 year ago

#54 - Improve emit=stable-mir

Issue - State: open - Opened by ouz-a over 1 year ago

#53 - Implement richer debug information for ProjectionElem

Issue - State: closed - Opened by klinvill over 1 year ago - 9 comments
Labels: good first issue

#52 - Replace String with an interned version

Issue - State: open - Opened by celinval over 1 year ago

#51 - Improve our tests to check instances and visitor

Pull Request - State: closed - Opened by celinval over 1 year ago - 3 comments

#50 - StableMIR crashes due to `CoroutineWitness`

Issue - State: closed - Opened by celinval over 1 year ago - 1 comment

#49 - Add support for Projection

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment

#48 - Adjust test driver due to breaking changes

Pull Request - State: closed - Opened by celinval almost 2 years ago

#46 - Add a conversion method for going from smir::Ty to rustc::Ty

Issue - State: closed - Opened by oli-obk almost 2 years ago - 2 comments

#45 - Fix tests after nightly breaking changes

Pull Request - State: closed - Opened by celinval almost 2 years ago

#44 - Get information out of Span

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment

#43 - Fix mdbook and add format check

Pull Request - State: closed - Opened by celinval almost 2 years ago

#42 - Add a developer documentation to our book

Pull Request - State: closed - Opened by celinval almost 2 years ago - 3 comments

#40 - Find crate by name should return a vector

Issue - State: closed - Opened by celinval almost 2 years ago - 2 comments
Labels: enhancement

#39 - Failures running rustc suite should fail nightly

Issue - State: open - Opened by celinval almost 2 years ago

#38 - Panic while trying to get item body due to NormalizationFailure

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment
Labels: bug

#37 - Fail to find implemented trait in the list returned from `all_trait_decls`

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment
Labels: bug

#36 - Add support to `InstanceDef` and monomorphized `Instance`

Issue - State: closed - Opened by celinval almost 2 years ago - 2 comments

#35 - Improve handling of indexed types

Issue - State: closed - Opened by ouz-a almost 2 years ago - 1 comment

#34 - Clarify and rename `CrateItem`

Issue - State: open - Opened by celinval almost 2 years ago - 14 comments

#33 - Provide more Debug information for indexed types.

Issue - State: open - Opened by ouz-a almost 2 years ago - 2 comments

#32 - Implement visitor for smir types

Issue - State: closed - Opened by ericmarkmartin almost 2 years ago - 2 comments

#31 - Add support to span

Issue - State: closed - Opened by celinval almost 2 years ago - 7 comments

#30 - Tracking issue for crates.io (v0.1) release

Issue - State: open - Opened by celinval almost 2 years ago

#29 - Initial use case: a-mir-formality

Issue - State: open - Opened by celinval almost 2 years ago - 2 comments

#28 - Initial use case: Kani

Issue - State: closed - Opened by celinval almost 2 years ago - 3 comments

#27 - How to make ABI compatible between crates.io release and rustc_smir

Issue - State: open - Opened by celinval almost 2 years ago - 2 comments

#26 - Add test coverage

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment

#25 - Create tooling for end-to-end testing

Pull Request - State: closed - Opened by celinval almost 2 years ago - 5 comments

#24 - Add support to monomorphization

Issue - State: closed - Opened by celinval almost 2 years ago - 1 comment

#23 - Provide an easy method to run the compiler and inspect SMIR

Issue - State: closed - Opened by celinval almost 2 years ago - 2 comments

#22 - Handle Prov better

Issue - State: closed - Opened by ouz-a almost 2 years ago - 3 comments

#21 - Add ability to get a list of all trait impls

Issue - State: closed - Opened by spastorino almost 2 years ago - 3 comments

#20 - Add ability to get a list of all trait declarations

Issue - State: closed - Opened by spastorino almost 2 years ago - 1 comment

#19 - Add a minimum triage bot

Pull Request - State: closed - Opened by celinval about 2 years ago

#18 - Abi enum is not very "stable"

Issue - State: open - Opened by oli-obk about 2 years ago - 2 comments

#17 - Infrastructure: Run SMIR validation against rustc tests

Issue - State: closed - Opened by celinval about 2 years ago - 1 comment

#16 - Infrastructure: Add mechanism to validate SMIR

Issue - State: closed - Opened by celinval about 2 years ago - 4 comments

#15 - Add conversion to constants

Issue - State: closed - Opened by celinval about 2 years ago - 10 comments

#14 - Add conversion to all missing statements

Issue - State: closed - Opened by celinval about 2 years ago - 3 comments

#13 - Add conversion to all rvalue constructs

Issue - State: closed - Opened by celinval about 2 years ago - 1 comment

#12 - fix rustc_smir link

Pull Request - State: closed - Opened by oskgo over 2 years ago

#11 - add link to rustc_smir

Pull Request - State: closed - Opened by RalfJung over 2 years ago

#10 - remove erroneous duplicate import.

Pull Request - State: closed - Opened by pnkfelix almost 3 years ago - 3 comments

#9 - Add `Terminator` and `ty`

Pull Request - State: closed - Opened by xldenis about 3 years ago

#8 - List all crates used in crate source in Cargo.toml

Pull Request - State: closed - Opened by oli-obk about 3 years ago - 1 comment

#7 - Fix typo

Pull Request - State: closed - Opened by pierwill about 3 years ago - 2 comments

#6 - Add additional crates to `very_unstable

Pull Request - State: closed - Opened by xldenis about 3 years ago

#5 - Synchronize smir crate with rust-lang/rust

Pull Request - State: closed - Opened by oli-obk about 3 years ago - 2 comments

#4 - Use canonical URL to avoid link to 404

Pull Request - State: closed - Opened by fee1-dead about 3 years ago

#3 - Fix workflow after branch rename

Pull Request - State: closed - Opened by celinval about 3 years ago - 1 comment

#2 - Do we need synchronous meetings?

Issue - State: closed - Opened by pnkfelix about 3 years ago - 4 comments

#1 - Fill in the repository template gaps

Pull Request - State: closed - Opened by celinval about 3 years ago - 1 comment