Skip to content

Actions: mamonet/hacl-star

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add Spec.GF128.fst Nix #120: Commit 767bf6f pushed by mamonet
June 26, 2024 09:49 1d 11h 31m 34s gcm_m32
gcm_m32
June 26, 2024 09:49 1d 11h 31m 34s
Update AES-GCM modules Nix #119: Commit 5a07924 pushed by mamonet
June 26, 2024 02:37 1d 5h 2m 34s gcm_m32
gcm_m32
June 26, 2024 02:37 1d 5h 2m 34s
another nit in Gf128 doc Nix #118: Commit 0d0c2cb pushed by mamonet
June 25, 2024 16:50 1d 4h 30m 22s ghash-ni
ghash-ni
June 25, 2024 16:50 1d 4h 30m 22s
small nit in GHASH doc Nix #117: Commit fa943e6 pushed by mamonet
June 24, 2024 10:50 1d 10h 30m 39s ghash-ni
ghash-ni
June 24, 2024 10:50 1d 10h 30m 39s
Document GHASH API Nix #116: Commit 4226645 pushed by mamonet
June 24, 2024 10:21 1d 10h 59m 43s ghash-ni
ghash-ni
June 24, 2024 10:21 1d 10h 59m 43s
Merge branch 'aes-ctr32' of https://github.com/mamonet/hacl-star into… Nix #115: Commit 47e791c pushed by mamonet
June 23, 2024 16:03 1d 5h 17m 19s aes-ctr32
aes-ctr32
June 23, 2024 16:03 1d 5h 17m 19s
Merge branch 'main' into aes-ctr32 Nix #114: Commit f129833 pushed by mamonet
May 29, 2024 21:29 1d 10h 10m 24s aes-ctr32
aes-ctr32
May 29, 2024 21:29 1d 10h 10m 24s
Rename AES-CTR32 high-level functions Nix #113: Commit 1c57c38 pushed by mamonet
May 29, 2024 21:27 1d 10h 12m 34s aes-ctr32
aes-ctr32
May 29, 2024 21:27 1d 10h 12m 34s
Fix AES_CTR32_BUNDLE and update C files in gcc-compatible/ Nix #112: Commit f5a7543 pushed by mamonet
May 29, 2024 21:18 1d 0h 3m 0s aes-ctr32
aes-ctr32
May 29, 2024 21:18 1d 0h 3m 0s
Move fmul_inner function to Hacl.AES.Round.Constant.fst Nix #111: Commit b6568ae pushed by mamonet
May 29, 2024 18:10 1d 3h 10m 52s aes-ctr32
aes-ctr32
May 29, 2024 18:10 1d 3h 10m 52s
Document AES-CTR32 library Nix #110: Commit 1be011e pushed by mamonet
May 29, 2024 16:18 1d 5h 2m 17s aes-ctr32
aes-ctr32
May 29, 2024 16:18 1d 5h 2m 17s
Merge branch 'main' into ghash-ni Nix #109: Commit 61eaa3b pushed by mamonet
May 25, 2024 18:07 1d 8h 10m 21s ghash-ni
ghash-ni
May 25, 2024 18:07 1d 8h 10m 21s
Update C generated files Nix #108: Commit e233467 pushed by mamonet
May 25, 2024 17:38 1d 8h 39m 46s ghash-ni
ghash-ni
May 25, 2024 17:38 1d 8h 39m 46s
Update dist/Makefile.tmpl Nix #107: Commit 30b5b96 pushed by mamonet
May 25, 2024 17:36 1d 8h 41m 30s ghash-ni
ghash-ni
May 25, 2024 17:36 1d 8h 41m 30s
Remove lemma_create_index_vec_w1 from Lib.IntVector Nix #106: Commit d024ebd pushed by mamonet
May 25, 2024 16:26 1d 9h 51m 13s ghash-ni
ghash-ni
May 25, 2024 16:26 1d 9h 51m 13s
Revert changes of vec_permute functions in Lib.IntVector Nix #105: Commit b115aec pushed by mamonet
May 25, 2024 15:49 1d 10h 28m 25s ghash-ni
ghash-ni
May 25, 2024 15:49 1d 10h 28m 25s
Remove ad hoc cast functions in Lib,IntVector with proper one Nix #104: Commit a21f403 pushed by mamonet
May 24, 2024 18:00 1d 3h 21m 4s ghash-ni
ghash-ni
May 24, 2024 18:00 1d 3h 21m 4s
Fully proof Hacl.Spec.Gf128.FieldNI.fst module Nix #103: Commit 31fda83 pushed by mamonet
May 22, 2024 19:24 1d 17h 15m 42s ghash-ni
ghash-ni
May 22, 2024 19:24 1d 17h 15m 42s
Implement lemma_reverse in Vale.Math.Poly2.Galois module Nix #102: Commit a856f67 pushed by mamonet
May 16, 2024 07:21 1d 17h 16m 55s ghash-ni
ghash-ni
May 16, 2024 07:21 1d 17h 16m 55s
Merge branch 'main' into aes-ctr32 Nix #101: Commit 2a3688e pushed by karthikbhargavan
April 29, 2024 12:08 1d 9h 12m 58s aes-ctr32
aes-ctr32
April 29, 2024 12:08 1d 9h 12m 58s
updated authors Nix #100: Commit 60f4dee pushed by karthikbhargavan
April 29, 2024 11:57 1d 9h 23m 41s aes-ctr32
aes-ctr32
April 29, 2024 11:57 1d 9h 23m 41s
Merge upstream/main Nix #99: Commit 7922ccb pushed by mamonet
April 26, 2024 13:41 1d 8h 36m 55s ghash-ni
ghash-ni
April 26, 2024 13:41 1d 8h 36m 55s
Upload GHASH modules Nix #98: Commit 47fb902 pushed by mamonet
April 26, 2024 13:35 1d 8h 42m 59s ghash-ni
ghash-ni
April 26, 2024 13:35 1d 8h 42m 59s
Remove code/aes/.gitignore Nix #97: Commit dcf15eb pushed by mamonet
April 19, 2024 07:28 1d 0h 11m 26s aes-ctr32
aes-ctr32
April 19, 2024 07:28 1d 0h 11m 26s
Utilize functions from test_helpers.h in aes ni test Nix #96: Commit 59558e4 pushed by mamonet
April 18, 2024 06:21 1d 1h 18m 50s aes-ctr32
aes-ctr32
April 18, 2024 06:21 1d 1h 18m 50s