3 ms·
Just use recordflux for binary parser proved absent of runtime errors... ;-)
by touisteur 5y ago
Just use recordflux for binary parser proved absent of runtime errors... ;-)
- einpoklum 5y agoCan you expand on that a little?
- michaelmior 5y agoRecordFlux[0] is a DSL written in Ada for specifying messages in a binary protocol. Code for parsing these messages is then generated automatically with a number of useful properties automatically proven including that no runtime errors will occur. [0] https://github.com/Componolit/RecordFlux https://github.com/Componolit/RecordFlux