hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Cleanup of `ast_utils`

Open W95Psp opened this issue 1 year ago • 1 comments

ast_utils.ml is a big module providing a ton of different, unrelated utils on the AST. That'd be better to split it in smaller units.

W95Psp avatar Apr 11 '24 11:04 W95Psp

https://github.com/hacspec/hax/pull/442

W95Psp avatar Apr 11 '24 11:04 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.

github-actions[bot] avatar Sep 01 '24 02:09 github-actions[bot]

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.

github-actions[bot] avatar Sep 12 '24 02:09 github-actions[bot]

Very much relevant, I'd like to address that soon.

W95Psp avatar Sep 16 '24 06:09 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.

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

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.

github-actions[bot] avatar Dec 15 '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.

github-actions[bot] avatar Feb 20 '25 01:02 github-actions[bot]