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
Also, as a companion to that, a "2021 progress report" post is coming soon
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.
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