v2024.10.23
Pre-release
Pre-release
·
87 commits
to _release
since this release
What's Changed
- Moving FStar.Getopt -> FStarC.Getopt by @mtzguido in #148
- Update ASN1.Spec.Interpreter.fst with converters in ASN1.Base.fst by @Black-Kamous in #147
- ASN1* : Provably Correct Non-Malleable Parsing for ASN.1 DER by @FVRobbin in #66
- 3D: optimize total compile-time constant-size pairs without actions by @tahina-pro in #152
- also simplify compile-time constant-sized lists in pairs by @tahina-pro in #153
- Optimize validation of arrays by @nikswamy in #151
- A few miscellaneous fixes to 3D by @nikswamy in #154
New Contributors
- @Black-Kamous made their first contribution in #147
- @FVRobbin made their first contribution in #66
Full Changelog: v2024.08.23...v2024.10.23
Contributors
mtzguido, nikswamy, and 3 other contributors