search

hacspec / hax

A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
198 stars 20 forks source link

Engine: investigate extensible variants to replace `Diagnostics.Phases` #816

Closed W95Psp closed 2 weeks ago

W95Psp commented 3 months ago

Currently, phase names are declared in one monolithic file: adding a phase requires creating two files and adding a variant to another file. Extensible variants would help there, and we could use __MODULE__ and a PPX to generate names automatically (since modules names are unique).

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

W95Psp commented 1 month ago

That's still something I want to address