v2024.08.09

What's Changed

• LowParse.Low.Int32le: add assert by @mtzguido in #119
• Produce and upload a Windows binary package by @tahina-pro in #120
• GenMakefile: copy EverParse.h by @tahina-pro in #121
• Avoid local variable shadowing in generated C code by @tahina-pro in #122
• Fix warnings and documentation for "at-most" constructs by @tahina-pro in #128
• Assorted build fixes. by @gebner in #123
• Total Length is the length of the datagram, measured in octets, including internet header and data. by @lemmy in #131
• PayloadLength = 0 => NextHeader \in {0, 59} by @lemmy in #132
• Add constraint for UDP's length field by @lemmy in #134
• LowParse.Low.Sum: bump rlimit by @mtzguido in #139
• Allow external functions returning values by @tahina-pro in #140
• Z3TestGen fixes: negative test cases, handle outparameters in test executables by @tahina-pro in #141
• 3d: weaken allow_reading for entrypoints by @tahina-pro in #142

New Contributors

• @gebner made their first contribution in #123

Full Changelog: v2023.12.08...v2024.08.09