write formal operational semantics for Cryptol #43
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
This process might unearth some tweaks we need to make. After writing the new semantics on paper, we can then turn to mechanizing them (#42) and then use them to verify our interpreter (#44).
The text was updated successfully, but these errors were encountered: