Stream: cranelift

Topic: 2022 roadmap


view this post on Zulip Chris Fallin (Dec 02 2021 at 01:54):

Hi all -- I just posted an RFC containing a proposed roadmap for Cranelift in 2022: link

Please let us know what you think! There are a lot of ideas in there but hopefully the general themes are generally aligned with how folks are thinking about things

Markdown rendered This is a roadmap for work on Cranelift in 2022, highlighting areas of interest and outlining the major projects that we want to focus on in the next year. It is meant to be part ...

view this post on Zulip Chris Fallin (Dec 02 2021 at 01:54):

Also, as a companion to that, a "2021 progress report" post is coming soon

view this post on Zulip scottmcm (Dec 05 2021 at 01:03):

From the peanut gallery, the combination between the DSLs, formal verification, and documentation sounds great. I've stumbled my way through some things, but having more details nailed down formally, documented to help introduce what things do, and making more of the logic more accessible (not thousands of lines of C++ code) sound really helpful for newbies.

view this post on Zulip Sam Parker (Dec 07 2021 at 16:50):

Sounds good to me! Especially cleaning up the IR, moving to ISLE and auto-generating more instruction descriptions - these are long term investments on getting the basics right, which will make development and verification easier.


Last updated: Dec 23 2024 at 12:05 UTC