We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Add a note about the 8-bit bytes assumption
Extend explanation pointer_length, add explanation of pointer_block
Updated Home (markdown)
Updated _Sidebar (markdown)
Created Platform-Dependent Verification (markdown)
Updated Making a new VerCors release (markdown)
Document the steps known to make a new VerCors release
Created Making a new VerCors release (markdown)
Updated Developing for VerCors (markdown)
Add some implicit assumptions about how we manage branches/PRs.
Clarify that set comprehensions are currently unsupported
Fix tables on website
add link to DevGuide
Updated VeyMont (markdown)
Changes