write formal denotational semantics for Cryptol #45
Labels
feature request
Asking for new or improved functionality
research
A difficult problem that we don't know how to solve and may require additional academic research.
semantics
Issues related to the dynamic semantics of Cryptol.
Milestone
Doing so, and mechanizing such, permits us to verify our verification backend.
The text was updated successfully, but these errors were encountered: