Lucas Franceschino
Lucas Franceschino
This was closed by https://github.com/hacspec/hax/pull/735
Chatting with @karthikbhargavan about that, maybe more verbosity would be nicer: instead of having one `-i ` flag with containing multiple items, we should have `--include`, `--exclude`, `--include-only`, `--include-signature`
I'm inlining issue #688 there, as a possible enhancement: the selection query language could include selecting item based on visibility.
Inlining another issue (https://github.com/hacspec/hax/issues/617): allow to reference anonymous paths
The frontend should also warn if the user writes a selector that selects nothing. This was issue https://github.com/hacspec/hax/issues/466.
Solving rough edges: - #196, #15 - traits: - associated types, constants - stealing issue? (rustc bump before) - fix https://github.com/hacspec/hax/issues/622 -
Still relevant
We have to triage a bit and decide exactly which issues needs to be solved for releasing, let's do that on Monday (23th Sept). Would be nice to have exemplary...
Shall we close this @franziskuskiefer? I don't think we want to make a blog post just yet, let's wait for v1?
The release was done in #1245.