hax Organise Helper/Macro libraries

          This starts to polute the top level. We should figure out a better way to organise these.

Originally posted by @franziskuskiefer in https://github.com/hacspec/hax/pull/395#discussion_r1437707266

Jan 02 '24 14:01 jschneider-bensch

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.

Oct 02 '24 02:10 github-actions[bot]

Still relevant!

Oct 02 '24 06:10 W95Psp

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.

Dec 04 '24 02:12 github-actions[bot]

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.

Mar 06 '25 01:03 github-actions[bot]

Let's try to figure out if we can do this as part of a bigger reorganisation

Apr 24 '25 11:04 maximebuyse

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.

Nov 27 '25 00:11 github-actions[bot]

Let's look at that when we work on the PV backend

Dec 04 '25 14:12 maximebuyse