Skip to content

Actions: pq-code-package/mlkem-native

Actions

HOL-Light

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hol_light.yml
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #662 from pq-code-package/hol_light HOL-Light #12: Commit 9492a8b pushed by hanno-becker
January 28, 2025 11:34 1h 47m 19s main
main
January 28, 2025 11:34 1h 47m 19s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #11: Pull request #662 synchronize by hanno-becker
January 28, 2025 09:44 1h 46m 41s hol_light
hol_light
January 28, 2025 09:44 1h 46m 41s
[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation HOL-Light #10: Pull request #695 synchronize by hanno-becker
January 24, 2025 14:30 1h 47m 23s poly_compress
poly_compress
January 24, 2025 14:30 1h 47m 23s
[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation HOL-Light #9: Pull request #695 synchronize by hanno-becker
January 24, 2025 14:29 1m 14s poly_compress
poly_compress
January 24, 2025 14:29 1m 14s
[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation HOL-Light #8: Pull request #695 synchronize by hanno-becker
January 24, 2025 14:28 1m 34s poly_compress
poly_compress
January 24, 2025 14:28 1m 34s
[DRAFT] Add polyvec_[de]compress_du to backend and add AVX2 intrinsics implementation HOL-Light #7: Pull request #695 opened by hanno-becker
January 24, 2025 14:25 3m 21s poly_compress
poly_compress
January 24, 2025 14:25 3m 21s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #6: Pull request #662 synchronize by hanno-becker
January 24, 2025 12:31 1h 48m 22s hol_light
hol_light
January 24, 2025 12:31 1h 48m 22s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #5: Pull request #662 synchronize by hanno-becker
January 24, 2025 11:08 1h 23m 8s hol_light
hol_light
January 24, 2025 11:08 1h 23m 8s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #4: Pull request #662 synchronize by hanno-becker
January 24, 2025 09:43 1h 7m 41s hol_light
hol_light
January 24, 2025 09:43 1h 7m 41s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #3: Pull request #662 synchronize by hanno-becker
January 24, 2025 07:50 1h 7m 29s hol_light
hol_light
January 24, 2025 07:50 1h 7m 29s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #2: Pull request #662 synchronize by hanno-becker
January 24, 2025 07:19 13m 38s hol_light
hol_light
January 24, 2025 07:19 13m 38s
Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light HOL-Light #1: Pull request #662 synchronize by hanno-becker
January 24, 2025 06:30 7m 16s hol_light
hol_light
January 24, 2025 06:30 7m 16s