Release v2023.12.08 · project-everest/everparse

What's Changed

lowparse: rlimit tweaks for new F* by @mtzguido in #99
Improving a proof in InputStream.Extern by @aseemr in #100
Test case generation for 3d by @tahina-pro in #101
Define KRML_HOST_IGNORE to mark unused arguments by @tahina-pro in #102
KRML_HOST_IGNORE -> KRML_MAYBE_UNUSED_VAR in EverParseEndianness*.h by @tahina-pro in #104
Two bug fixes by @nikswamy in #109
Generate test checker executable by @tahina-pro in #106
EverParse3d.InputStream.Extern.fst: fix proof regression by @mtzguido in #114
fix the Extern.peep proof once and for all by @tahina-pro in #115
Fixes #103 by @lemmy in #113
VxLAN packets are two octets short. by @lemmy in #112
3d: allow fields that consume all input by @tahina-pro in #116
EverParse3d.InputStream.Base: do not use typeclasses for extra_t by @mtzguido in #117
Add branch exploration for Z3 test case generation by @tahina-pro in #111
Support for validating pointer-rich formats given a probe to check for pointer validity by @nikswamy in #118

Full Changelog: v2023.05.03...v2023.12.08