search

hacspec / hax

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

`hax-lib-macros`: hide dependencies and functionalities behind `cfg(hax)` #593

Open W95Psp opened 5 months ago

W95Psp commented 5 months ago

Do you think we could move all of these dependencies (except for the proc macro related ones) into cfg(hax)? Then none of it needs to get built and it should force the code to be clear that nothing is happening when not using this config.

But let's get this in and then try to do something like the cfg?

Originally posted by @franziskuskiefer in https://github.com/hacspec/hax/pull/591#pullrequestreview-1989613990

github-actions[bot] commented 2 weeks 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.

github-actions[bot] commented 1 week ago

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

W95Psp commented 3 days ago

Still relevant and useful for #632