Skip to content

Releases: dune-universe/hacl-star-dune

0.4.5+dune3

05 May 11:20
@Leonidas-from-XIV Leonidas-from-XIV
v0.4.5+dune3
846a59f
Compare
Choose a tag to compare
0.4.5+dune3 Latest
Latest

CHANGES:

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

0.4.5+dune2

14 Apr 14:39
@NathanReb NathanReb
v0.4.5+dune2
34e7e22
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
0.4.5+dune2

CHANGES:

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

0.4.5+dune

14 Apr 13:11
@tmattio tmattio
v0.4.5+dune
ddd4d29
Compare
Choose a tag to compare
0.4.5+dune

Release dune port of v0.4.5

Assets 3
Loading