Skip to content

Conversation

@Nadrieril
Copy link
Member

@Nadrieril Nadrieril commented Nov 4, 2024

Thanks to cryspen/hax#1054 we can now use hax's DefIds to compute names instead of doing queries ourselves.

This also fixes #449 as a drive-by.

@Nadrieril Nadrieril merged commit 8b0b96b into AeneasVerif:main Nov 4, 2024
@Nadrieril Nadrieril deleted the fulldef-for-names branch November 4, 2024 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Please avoid the after_crate_root_parsing driver callback

1 participant