package hacl-star

0.4.5

• Faster fallback implementations for certain intrinsics, leading to improved performance, notably on ARMv8

0.4.4

• Build fixes (#494)

0.4.3

• Improved performance for Ed25519 (#486)

0.4.2

• Fix for bug impacting performance

0.4.1

• Support for FreeBSD

• Build fixes

0.4.0

• Complete documentation

• Redesigned API:

  • by default, functions return result buffer instead of taking them as arguments

  • arguments are now labeled

• Improvements to runtime checks, unit tests

0.3.2

• Build fixes addressing performance and compatibility issues

0.3.0

• Updates to P-256 API

• Build fixes

0.2.2

• Fix for bug impacting performance

0.2.1

• Minor fixes

0.2.0

• Updated bindings for P-256

• Bytecode files provided in hacl-star-raw to ease debugging

0.1.1

• Support for ARM

0.1

The first release of the OCaml API for HACL*