CI: test the frontend (THIR+MIR) on a list of given crate

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

194 stars 20 forks source link

CI: test the frontend (THIR+MIR) on a list of given crate #481

Open W95Psp opened 9 months ago

W95Psp commented 9 months ago

We should put the frontend under CI:

[ ] for all our tests and examples
[ ] for a list of Rust external crate

Note the tests should extract bodies both as MIR and as THIR.

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

Still relevant, and the work is ongoing (@maximebuyse is looking at that!)