Stream: t-compiler/const-eval

Topic: miri labels


RalfJ (Nov 17 2018 at 10:34, on Zulip):

@Oli I have taken the liberty of organizing miri labels a bit more like rustc. See https://github.com/solson/miri/labels. However, I am not sure what do do with the "interesting project" and "optimization" tags... I made them "Kinds" now but that's not really saying anything.^^ rustc does not seem to have anything like them. Proposals?

RalfJ (Nov 17 2018 at 10:37, on Zulip):

Ah, I think I will make the project thing an "E"

RalfJ (Nov 17 2018 at 10:37, on Zulip):

and remove "optimization"?

Last update: Nov 15 2019 at 20:05UTC