Stream: t-compiler

Topic: facebook mirai


nikomatsakis (Dec 19 2018 at 19:35, on Zulip):

Does anybody know anything about this? https://github.com/facebookexperimental/MIRAI

cc @Oli @RalfJ @eddyb @Ariel Ben-Yehuda

nikomatsakis (Dec 19 2018 at 19:36, on Zulip):

@Vytautas Astrauskas pointed it out to me

nikomatsakis (Dec 19 2018 at 19:36, on Zulip):

seems interesting :)

RalfJ (Dec 19 2018 at 19:37, on Zulip):

no I have not^^

Vytautas Astrauskas (Dec 19 2018 at 20:38, on Zulip):

They wrote an email to the WG-Verification mailing list some time ago in which they mentioned that they are planning to build a static analyser based on abstract interpretation and asked if anyone would be interested in discussing that. Since for our stuff it is very relevant, we followed up.

blitzerr (Dec 20 2018 at 03:30, on Zulip):

That's awesome !

Last update: Nov 16 2019 at 01:10UTC