Skip to content

Conversation

@Nadrieril
Copy link
Member

This partly supercedes #840.

@Nadrieril Nadrieril added this pull request to the merge queue Oct 13, 2025
@Nadrieril Nadrieril changed the title Fill missing fields in vtable Fill missing fields in vtables Oct 13, 2025
Merged via the queue into AeneasVerif:main with commit 3b306e7 Oct 13, 2025
7 checks passed
@Nadrieril Nadrieril deleted the fill-vtable-basic-data branch October 13, 2025 14:24
@Nadrieril Nadrieril mentioned this pull request Oct 13, 2025
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.

1 participant