Skip to content

Actions: cryspen/libcrux

Actions

Build & Test C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
c.yml
1,446 workflow runs
1,446 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refresh C code + fix c.yaml following latest eurydice/krml changes Build & Test C #1452: Pull request #782 opened by protz
January 31, 2025 22:43 32m 4s protz_refresh
protz_refresh
January 31, 2025 22:43 32m 4s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1451: Pull request #780 synchronize by karthikbhargavan
January 31, 2025 08:46 33m 46s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 31, 2025 08:46 33m 46s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1450: Pull request #780 synchronize by karthikbhargavan
January 31, 2025 08:45 38s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 31, 2025 08:45 38s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1449: Pull request #780 synchronize by karthikbhargavan
January 31, 2025 08:40 5m 8s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 31, 2025 08:40 5m 8s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1448: Pull request #780 synchronize by mamonet
January 30, 2025 19:06 35m 36s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 30, 2025 19:06 35m 36s
[ML-KEM] incremental API Build & Test C #1447: Pull request #757 synchronize by franziskuskiefer
January 30, 2025 18:20 28m 56s franziskus/mlkem-incremental2
franziskus/mlkem-incremental2
January 30, 2025 18:20 28m 56s
Functional correctness for portable encoding commitment Build & Test C #1446: Pull request #776 synchronize by karthikbhargavan
January 30, 2025 16:10 46m 55s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 16:10 46m 55s
Merge pull request #781 from cryspen/update-fstar-new-naming Build & Test C #1445: Commit 59fcb15 pushed by maximebuyse
January 30, 2025 16:05 33m 37s main
main
January 30, 2025 16:05 33m 37s
Update F* output with latest hax (after merging new naming). Build & Test C #1444: Pull request #781 synchronize by maximebuyse
January 30, 2025 15:27 37m 33s update-fstar-new-naming
update-fstar-new-naming
January 30, 2025 15:27 37m 33s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1443: Pull request #780 synchronize by mamonet
January 30, 2025 15:11 34m 32s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 30, 2025 15:11 34m 32s
Update F* output with latest hax (after merging new naming). Build & Test C #1442: Pull request #781 opened by maximebuyse
January 30, 2025 14:32 24m 14s update-fstar-new-naming
update-fstar-new-naming
January 30, 2025 14:32 24m 14s
Functional correctness for portable encoding commitment Build & Test C #1441: Pull request #776 synchronize by W95Psp
January 30, 2025 13:19 36m 49s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 13:19 36m 49s
Functional correctness for portable encoding commitment Build & Test C #1440: Pull request #776 synchronize by W95Psp
January 30, 2025 12:30 34m 36s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 12:30 34m 36s
Add proofs for the basic functions of MLDSA arithmetic Build & Test C #1439: Pull request #780 opened by mamonet
January 30, 2025 09:43 50m 57s ml-dsa-arithmetic-basic
ml-dsa-arithmetic-basic
January 30, 2025 09:43 50m 57s
hacl rs p256 Build & Test C #1438: Pull request #779 opened by franziskuskiefer
January 30, 2025 09:39 54m 30s franziskus/hacl-rs-p256
franziskus/hacl-rs-p256
January 30, 2025 09:39 54m 30s
Functional correctness for portable encoding commitment Build & Test C #1437: Pull request #776 synchronize by W95Psp
January 30, 2025 07:49 48m 6s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:49 48m 6s
Functional correctness for portable encoding commitment Build & Test C #1436: Pull request #776 synchronize by W95Psp
January 30, 2025 07:47 33s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:47 33s
Functional correctness for portable encoding commitment Build & Test C #1435: Pull request #776 synchronize by W95Psp
January 30, 2025 07:46 2m 54s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:46 2m 54s
Functional correctness for portable encoding commitment Build & Test C #1434: Pull request #776 synchronize by W95Psp
January 30, 2025 07:46 56s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:46 56s
Functional correctness for portable encoding commitment Build & Test C #1433: Pull request #776 synchronize by W95Psp
January 30, 2025 07:46 19s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:46 19s
Functional correctness for portable encoding commitment Build & Test C #1432: Pull request #776 synchronize by W95Psp
January 30, 2025 07:46 12s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:46 12s
Functional correctness for portable encoding commitment Build & Test C #1431: Pull request #776 synchronize by W95Psp
January 30, 2025 07:45 26s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:45 26s
Functional correctness for portable encoding commitment Build & Test C #1430: Pull request #776 synchronize by W95Psp
January 30, 2025 07:45 26s lf-portable-encoding-commitment
lf-portable-encoding-commitment
January 30, 2025 07:45 26s
Merge pull request #775 from cryspen/make-hax-diffs-opt-out Build & Test C #1429: Commit 0ca79fc pushed by franziskuskiefer
January 30, 2025 07:44 32m 13s main
main
January 30, 2025 07:44 32m 13s
Add option to skip hax diffs. Build & Test C #1428: Pull request #775 synchronize by franziskuskiefer
January 30, 2025 06:58 46m 15s make-hax-diffs-opt-out
make-hax-diffs-opt-out
January 30, 2025 06:58 46m 15s