Skip to content

Actions: cryspen/hax

Actions

Extract and TC ML-Kem

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mlkem.yml
1,427 workflow runs
1,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hax home page using mkdocs Extract and TC ML-Kem #1327: Pull request #1225 synchronize by W95Psp
January 13, 2025 15:29 4s franziskus/docs-setup
franziskus/docs-setup
January 13, 2025 15:29 4s
Hax home page using mkdocs Extract and TC ML-Kem #1326: Pull request #1225 opened by W95Psp
January 13, 2025 15:23 4s franziskus/docs-setup
franziskus/docs-setup
January 13, 2025 15:23 4s
fix(engine) Attempt to fix double return bug. Extract and TC ML-Kem #1325: Pull request #1223 synchronize by maximebuyse
January 13, 2025 10:27 5s fix-double-return
fix-double-return
January 13, 2025 10:27 5s
fix(engine) Attempt to fix double return bug. Extract and TC ML-Kem #1324: Pull request #1223 synchronize by maximebuyse
January 9, 2025 17:09 4s fix-double-return
fix-double-return
January 9, 2025 17:09 4s
fix(engine) Attempt to fix double return bug. Extract and TC ML-Kem #1323: Pull request #1223 synchronize by maximebuyse
January 9, 2025 14:51 4s fix-double-return
fix-double-return
January 9, 2025 14:51 4s
fix(engine) Attempt to fix double return bug. Extract and TC ML-Kem #1322: Pull request #1223 opened by maximebuyse
January 9, 2025 09:55 3s fix-double-return
fix-double-return
January 9, 2025 09:55 3s
Make predicate handling a bit more consistent Extract and TC ML-Kem #1321: Pull request #1222 opened by Nadrieril
January 8, 2025 14:09 4s Nadrieril:fix-more-generics
Nadrieril:fix-more-generics
January 8, 2025 14:09 4s
feat(lib) New sandwich core changes Extract and TC ML-Kem #1320: Pull request #1192 synchronize by maximebuyse
January 8, 2025 13:39 4s new-sandwich-core-changes
new-sandwich-core-changes
January 8, 2025 13:39 4s
Merge pull request #1220 from hacspec/fix-1218 Extract and TC ML-Kem #1319: Commit 98ded93 pushed by github-merge-queue bot
January 7, 2025 10:30 4s main
main
January 7, 2025 10:30 4s
Extract and TC ML-Kem Extract and TC ML-Kem #1318: Merge group checks requested
January 7, 2025 10:11 28m 11s
January 7, 2025 10:11 28m 11s
Visit trait goals to rename impl expr they may contain. Extract and TC ML-Kem #1317: Pull request #1220 opened by maximebuyse
January 7, 2025 09:51 4s fix-1218
fix-1218
January 7, 2025 09:51 4s
Merge pull request #1215 from Nadrieril/fix-call-generics Extract and TC ML-Kem #1316: Commit 4d7cbff pushed by github-merge-queue bot
January 6, 2025 15:46 4s main
main
January 6, 2025 15:46 4s
Extract and TC ML-Kem Extract and TC ML-Kem #1315: Merge group checks requested
January 6, 2025 15:26 28m 32s
January 6, 2025 15:26 28m 32s
Fix generics handling for function calls Extract and TC ML-Kem #1314: Pull request #1215 synchronize by Nadrieril
January 6, 2025 15:06 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
January 6, 2025 15:06 4s
Merge pull request #1216 from hacspec/W95Psp-patch-readme Extract and TC ML-Kem #1313: Commit 52ad1f9 pushed by github-merge-queue bot
January 6, 2025 13:42 3s main
main
January 6, 2025 13:42 3s
Extract and TC ML-Kem Extract and TC ML-Kem #1312: Merge group checks requested
January 6, 2025 13:24 38m 37s
January 6, 2025 13:24 38m 37s
Update README.md: unsafe is OK to use Extract and TC ML-Kem #1311: Pull request #1216 synchronize by W95Psp
January 6, 2025 13:10 4s W95Psp-patch-readme
W95Psp-patch-readme
January 6, 2025 13:10 4s
Merge pull request #1206 from hacspec/fix-visitors-quote Extract and TC ML-Kem #1310: Commit ffcd803 pushed by github-merge-queue bot
January 6, 2025 11:20 4s main
main
January 6, 2025 11:20 4s
Update README.md: unsafe is OK to use Extract and TC ML-Kem #1309: Pull request #1216 opened by W95Psp
January 6, 2025 11:19 3s W95Psp-patch-readme
W95Psp-patch-readme
January 6, 2025 11:19 3s
Extract and TC ML-Kem Extract and TC ML-Kem #1308: Merge group checks requested
January 6, 2025 11:00 37m 54s
January 6, 2025 11:00 37m 54s
fix(engine) Make sub-parts of Quote visited by visitors Extract and TC ML-Kem #1307: Pull request #1206 synchronize by maximebuyse
January 6, 2025 10:32 4s fix-visitors-quote
fix-visitors-quote
January 6, 2025 10:32 4s
Merge pull request #1212 from hacspec/fix-mlkem-ci-fstar Extract and TC ML-Kem #1306: Commit b2f930b pushed by github-merge-queue bot
January 6, 2025 10:28 4s main
main
January 6, 2025 10:28 4s
Extract and TC ML-Kem Extract and TC ML-Kem #1305: Merge group checks requested
January 6, 2025 10:09 38m 44s
January 6, 2025 10:09 38m 44s
fix(CI) Update F* version to fix mlkem CI job Extract and TC ML-Kem #1304: Pull request #1212 synchronize by maximebuyse
January 6, 2025 09:55 3s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
January 6, 2025 09:55 3s
Fix generics handling for function calls Extract and TC ML-Kem #1303: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4s