search

project-everest / everparse

Automated generation of provably secure, zero-copy parsers from format specifications
https://project-everest.github.io/everparse
Apache License 2.0
251 stars 15 forks source link

fix the Extern.peep proof once and for all #115

Closed tahina-pro closed 11 months ago

tahina-pro commented 11 months ago

With that, extern/ passes --quake 10