ping Miri team on CTFE/Miri engine changes

rust-lang / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Apache License 2.0

185 stars 128 forks source link

ping Miri team on CTFE/Miri engine changes #334

Closed RalfJung closed 3 years ago

RalfJung commented 3 years ago

@oli-obk let me know if you also want to be mentioned. Or we could mention the @rust-lang/miri team.

oli-obk commented 3 years ago

Yea, let's ping the team

oli-obk commented 3 years ago

Should this also include rustc_middle/mir/interpret ?

RalfJung commented 3 years ago

I was wondering about this. That's mostly just type definitions... but alloc.rs contains some juicy code. So maybe yes, we can always remove it when it turns out too cause too many notifications.