Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
107
stars
7
forks
source link
Issue 689: Use postponed evaluation of annotations and type hinting generics in standard collections in Python code #1212
Closed
treiher closed 2 years ago
Closes #689