Skip to content

Actions: cryspen/libcrux

Actions

Specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
specs.yml
1,782 workflow runs
1,782 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #591 from cryspen/dev-arithmetic-proofs Specs #1648: Commit 539638b pushed by karthikbhargavan
September 19, 2024 12:06 13m 56s dev
dev
September 19, 2024 12:06 13m 56s
F*: avx2: {de,}serialize{1,4,10,12} Specs #1647: Pull request #590 synchronize by W95Psp
September 19, 2024 12:05 14m 40s lf-avx2-serialize-deserialize-4
lf-avx2-serialize-deserialize-4
September 19, 2024 12:05 14m 40s
Making Spec proofs more robust (for new F* versions) Specs #1646: Pull request #591 synchronize by karthikbhargavan
September 19, 2024 11:24 9m 26s dev-arithmetic-proofs
dev-arithmetic-proofs
September 19, 2024 11:24 9m 26s
Making Spec proofs more robust (for new F* versions) Specs #1645: Pull request #591 opened by karthikbhargavan
September 19, 2024 11:24 20s dev-arithmetic-proofs
dev-arithmetic-proofs
September 19, 2024 11:24 20s
F*: avx2: {de,}serialize{1,4,10,12} Specs #1644: Pull request #590 synchronize by W95Psp
September 19, 2024 11:11 11m 6s lf-avx2-serialize-deserialize-4
lf-avx2-serialize-deserialize-4
September 19, 2024 11:11 11m 6s
Merge pull request #554 from djmdjm/fuzz Specs #1643: Commit 41072c6 pushed by github-merge-queue bot
September 19, 2024 10:56 9m 40s main
main
September 19, 2024 10:56 9m 40s
Specs Specs #1642: Merge group checks requested
September 19, 2024 10:32 7m 11s
September 19, 2024 10:32 7m 11s
Basic fuzzing for C extraction of ML-KEM768 Specs #1641: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 10:08 12m 53s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 10:08 12m 53s
F*: avx2: {de,}serialize{1,4,10,12} Specs #1640: Pull request #590 synchronize by W95Psp
September 19, 2024 09:33 9m 58s lf-avx2-serialize-deserialize-4
lf-avx2-serialize-deserialize-4
September 19, 2024 09:33 9m 58s
Basic fuzzing for C extraction of ML-KEM768 Specs #1639: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 09:13 9m 4s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 09:13 9m 4s
Basic fuzzing for C extraction of ML-KEM768 Specs #1638: Pull request #554 synchronize by franziskuskiefer
September 19, 2024 08:32 12m 0s djmdjm:fuzz
djmdjm:fuzz
September 19, 2024 08:32 12m 0s
Add conditions for generic compress and serialize functions Specs #1637: Pull request #587 synchronize by mamonet
September 18, 2024 15:33 12m 37s dev-serialize
dev-serialize
September 18, 2024 15:33 12m 37s
Merge pull request #589 from cryspen/dev-arithmetic-proofs Specs #1636: Commit 5d35b6c pushed by karthikbhargavan
September 18, 2024 15:01 10m 49s dev
dev
September 18, 2024 15:01 10m 49s
Arithmetic and NTT proofs Specs #1635: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 14:29 7m 42s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 14:29 7m 42s
Arithmetic and NTT proofs Specs #1634: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 14:14 9m 3s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 14:14 9m 3s
Arithmetic and NTT proofs Specs #1633: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 13:12 14m 14s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:12 14m 14s
Arithmetic and NTT proofs Specs #1632: Pull request #589 synchronize by karthikbhargavan
September 18, 2024 13:11 1m 41s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:11 1m 41s
Arithmetic and NTT proofs Specs #1631: Pull request #589 opened by karthikbhargavan
September 18, 2024 13:10 1m 4s dev-arithmetic-proofs
dev-arithmetic-proofs
September 18, 2024 13:10 1m 4s
[ML-DSA] AVX2 performance improvements in NTT Specs #1630: Pull request #584 synchronize by jschneider-bensch
September 18, 2024 09:26 10m 4s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 18, 2024 09:26 10m 4s
Add conditions for generic compress and serialize functions Specs #1629: Pull request #587 opened by mamonet
September 17, 2024 17:02 10m 12s dev-serialize
dev-serialize
September 17, 2024 17:02 10m 12s
[ML-DSA] AVX2 performance improvements in NTT Specs #1628: Pull request #584 synchronize by jschneider-bensch
September 17, 2024 12:38 9m 29s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 17, 2024 12:38 9m 29s
[ML-DSA] AVX2 performance improvements in NTT Specs #1627: Pull request #584 synchronize by jschneider-bensch
September 17, 2024 12:12 9m 45s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 17, 2024 12:12 9m 45s
[ML-DSA] AVX2 performance improvements in NTT Specs #1626: 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 Specs #1625: Commit 6a8770c pushed by github-merge-queue bot
September 17, 2024 09:53 9m 28s main
main
September 17, 2024 09:53 9m 28s
Specs Specs #1624: Merge group checks requested
September 17, 2024 09:29 7m 44s
September 17, 2024 09:29 7m 44s