Export external items as interfaces

W95Psp commented 1 year ago

External Rust items have no special treatment in the frontend. We need to collect them to produce interface files in the various backends so that one can provide models in the backends for external crates. For instance, Hacspec_lib is an external crate, and we would like Circus to generate an interface each backend should implement.

TODO:

[ ] the frontend should collect every item signature for every external crate;
[ ] the frontend should mark which external item is used by the exported crate;
[ ] have an interface generation mode for backends.

W95Psp commented 3 months ago

Progress have been made with PR #743

github-actions[bot] commented 1 week 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.

hacspec / hax

Export external items as interfaces #13