Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
104
stars
6
forks
source link
Issue 1120, 1133: Optimize consecutive message field assignments and fix several bugs #1134
Closed
treiher closed 2 years ago
Closes #1120 Closes #1133