Skip to content

Actions: cryspen/libcrux

Actions

hax

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hax.yml
1,648 workflow run results
1,648 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Making Spec proofs more robust (for new F* versions) hax #1631: Pull request #591 opened by karthikbhargavan
September 19, 2024 11:24 21s dev-arithmetic-proofs
dev-arithmetic-proofs
September 19, 2024 11:24 21s
F*: avx2: {de,}serialize{1,4,10,12} hax #1630: Pull request #590 synchronize by W95Psp
September 19, 2024 11:11 11m 46s lf-avx2-serialize-deserialize-4
lf-avx2-serialize-deserialize-4
September 19, 2024 11:11 11m 46s
Merge pull request #554 from djmdjm/fuzz hax #1629: Commit 41072c6 pushed by github-merge-queue bot
September 19, 2024 10:56 8m 4s main
main
September 19, 2024 10:56 8m 4s
hax hax #1628: Merge group checks requested
September 19, 2024 10:32 11m 12s
September 19, 2024 10:32 11m 12s
Basic fuzzing for C extraction of ML-KEM768 hax #1627: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 10:08 7m 54s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 10:08 7m 54s
F*: avx2: {de,}serialize{1,4,10,12} hax #1626: Pull request #590 synchronize by W95Psp
September 19, 2024 09:33 11m 14s lf-avx2-serialize-deserialize-4
lf-avx2-serialize-deserialize-4
September 19, 2024 09:33 11m 14s
Basic fuzzing for C extraction of ML-KEM768 hax #1625: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 09:13 12m 57s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 09:13 12m 57s
Basic fuzzing for C extraction of ML-KEM768 hax #1624: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 08:32 11m 30s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 08:32 11m 30s
hax hax #1623: Scheduled
September 19, 2024 00:50 8m 21s main
main
September 19, 2024 00:50 8m 21s
Add conditions for generic compress and serialize functions hax #1622: Pull request #587 synchronize by mamonet
September 18, 2024 15:33 13m 10s dev-serialize
dev-serialize
September 18, 2024 15:33 13m 10s
Merge pull request #589 from cryspen/dev-arithmetic-proofs hax #1621: Commit 5d35b6c pushed by karthikbhargavan
September 18, 2024 15:01 11m 39s dev
dev
September 18, 2024 15:01 11m 39s
Arithmetic and NTT proofs hax #1620: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 14:29 11m 37s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 14:29 11m 37s
Arithmetic and NTT proofs hax #1619: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 14:14 11m 14s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 14:14 11m 14s
Arithmetic and NTT proofs hax #1618: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 13:12 12m 49s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:12 12m 49s
Arithmetic and NTT proofs hax #1617: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 13:11 1m 46s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:11 1m 46s
Arithmetic and NTT proofs hax #1616: Pull request #589 opened by karthikbhargavan
September 18, 2024 13:10 47s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:10 47s
[ML-DSA] AVX2 performance improvements in NTT hax #1615: Pull request #584 synchronize by jschneider-bensch
September 18, 2024 09:26 14m 50s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 18, 2024 09:26 14m 50s
hax hax #1614: Scheduled
September 18, 2024 00:49 8m 0s main
main
September 18, 2024 00:49 8m 0s
Add conditions for generic compress and serialize functions hax #1613: Pull request #587 opened by mamonet
September 17, 2024 17:02 10m 27s dev-serialize
dev-serialize
September 17, 2024 17:02 10m 27s
[ML-DSA] AVX2 performance improvements in NTT hax #1612: Pull request #584 synchronize by jschneider-bensch
September 17, 2024 12:38 8m 21s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 17, 2024 12:38 8m 21s
[ML-DSA] AVX2 performance improvements in NTT hax #1611: Pull request #584 synchronize by jschneider-bensch
September 17, 2024 12:12 8m 36s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 17, 2024 12:12 8m 36s
[ML-DSA] AVX2 performance improvements in NTT hax #1610: Pull request #584 synchronize by jschneider-bensch
September 17, 2024 12:12 39s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 17, 2024 12:12 39s
Merge pull request #586 from cryspen/franziskus/mlkem-usable-unpacked hax #1609: Commit 6a8770c pushed by github-merge-queue bot
September 17, 2024 09:53 9m 2s main
main
September 17, 2024 09:53 9m 2s
hax hax #1608: Merge group checks requested
September 17, 2024 09:29 8m 27s
September 17, 2024 09:29 8m 27s
Make unpacked ML-KEM API extractable hax #1607: Pull request #586 synchronize by franziskuskiefer
September 17, 2024 09:05 8m 17s franziskus/mlkem-usable-unpacked
franziskus/mlkem-usable-unpacked
September 17, 2024 09:05 8m 17s