Skip to content

Actions: mamonet/hacl-star

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix extracting C files for SHA3 Vec Nix #70: Commit 99d06ff pushed by mamonet
April 4, 2024 12:55 1d 8h 25m 17s vec-sha3
vec-sha3
April 4, 2024 12:55 1d 8h 25m 17s
Increase max fuel for get_multiblock_1 in SHA3 Vec module Nix #69: Commit 841c152 pushed by mamonet
April 3, 2024 21:22 1d 10h 17m 30s vec-sha3
vec-sha3
April 3, 2024 21:22 1d 10h 17m 30s
Make update_last_sha3 more stable Nix #68: Commit 6652e5a pushed by mamonet
April 3, 2024 19:54 1d 1h 26m 35s vec-sha3
vec-sha3
April 3, 2024 19:54 1d 1h 26m 35s
Utilize functions from Hacl.Impl.SHA3.Vec in Hacl.Hash.SHA3 Nix #67: Commit 098e92e pushed by mamonet
April 3, 2024 17:43 1d 3h 37m 24s vec-sha3
vec-sha3
April 3, 2024 17:43 1d 3h 37m 24s
Remove keccak_alg parameter in SHA3 Vec Nix #66: Commit fcef6e6 pushed by mamonet
March 29, 2024 12:01 2d 9h 37m 15s vec-sha3
vec-sha3
March 29, 2024 12:01 2d 9h 37m 15s
Restore SHA3 Vec internal signatures to fst files Nix #65: Commit 7595c15 pushed by mamonet
March 29, 2024 09:28 2d 12h 10m 55s vec-sha3
vec-sha3
March 29, 2024 09:28 2d 12h 10m 55s
Increase z3rlimit in Hacl.Spec.SHA3.Equiv.fst Nix #64: Commit 3902509 pushed by mamonet
March 28, 2024 16:56 1d 4h 24m 33s vec-sha3
vec-sha3
March 28, 2024 16:56 1d 4h 24m 33s
Seperate signatures in SHA3.Vec modules Nix #63: Commit 05161b5 pushed by mamonet
March 28, 2024 16:51 1d 4h 29m 33s vec-sha3
vec-sha3
March 28, 2024 16:51 1d 4h 29m 33s
Delete Lib.Sliceable and Lib.Transposition64x8 modules Nix #62: Commit e10b733 pushed by mamonet
March 26, 2024 06:57 2d 9h 55m 38s aes-ctr32
aes-ctr32
March 26, 2024 06:57 2d 9h 55m 38s
Remove AES BitSlice tests Nix #61: Commit 4c93478 pushed by mamonet
March 16, 2024 17:19 9d 13h 38m 26s aes-ctr32
aes-ctr32
March 16, 2024 17:19 9d 13h 38m 26s
Remove AES BitSlice bits Nix #60: Commit c0e63f5 pushed by mamonet
March 16, 2024 17:13 9d 13h 44m 31s aes-ctr32
aes-ctr32
March 16, 2024 17:13 9d 13h 44m 31s
Verify SHA Vec Scalar/Simd256 functions Nix #59: Commit 199ff0f pushed by mamonet
March 16, 2024 11:35 9d 19h 22m 19s vec-sha3
vec-sha3
March 16, 2024 11:35 9d 19h 22m 19s
Full proofs for Hacl.Spec.SHA3.Equiv.fst Nix #58: Commit 13c9135 pushed by mamonet
March 15, 2024 09:16 1d 12h 4m 32s vec-sha3
vec-sha3
March 15, 2024 09:16 1d 12h 4m 32s
Import AES-CTR32 modules from pnmadelaine_aes branch and prove NI fun… Nix #57: Commit 1650f22 pushed by mamonet
March 9, 2024 17:15 5d 16h 3m 2s aes-ctr32
aes-ctr32
March 9, 2024 17:15 5d 16h 3m 2s
Merge branch 'aes_ctr32' of https://github.com/mamonet/hacl-star into… Nix #56: Commit d6681f7 pushed by mamonet
March 9, 2024 16:40 5d 16h 38m 2s aes_ctr32
aes_ctr32
March 9, 2024 16:40 5d 16h 38m 2s
Add proofs for AES CTR32 high level functions Nix #55: Commit 939c461 pushed by mamonet
March 9, 2024 16:36 5d 16h 42m 8s aes_ctr32
aes_ctr32
March 9, 2024 16:36 5d 16h 42m 8s
Implement Lemma for AES Round Constant Nix #54: Commit 193f660 pushed by mamonet
March 9, 2024 10:27 5d 22h 51m 15s aes_ctr32
aes_ctr32
March 9, 2024 10:27 5d 22h 51m 15s
Restore functions in Spec.AES.fst Nix #53: Commit fa64c01 pushed by mamonet
March 7, 2024 15:18 1d 19h 11m 34s aes_ctr32
aes_ctr32
March 7, 2024 15:18 1d 19h 11m 34s
Fully proved Hacl.Impl.AES.Generic.fst Nix #52: Commit 1facf86 pushed by mamonet
March 7, 2024 14:44 1d 19h 46m 13s aes_ctr32
aes_ctr32
March 7, 2024 14:44 1d 19h 46m 13s
Update AES modules Nix #51: Commit 70cd4ce pushed by mamonet
February 29, 2024 23:42 6d 15h 4m 18s aes_ctr32
aes_ctr32
February 29, 2024 23:42 6d 15h 4m 18s
various optimizations in Hacl.Impl.AES.Generic.fst Nix #50: Commit 789e367 pushed by mamonet
February 28, 2024 00:42 1d 23h 1m 8s aes_ctr32
aes_ctr32
February 28, 2024 00:42 1d 23h 1m 8s
Update Hacl.Impl.AES.Generic.fst Nix #49: Commit fcd023c pushed by mamonet
February 26, 2024 20:36 1d 4h 7m 20s aes_ctr32
aes_ctr32
February 26, 2024 20:36 1d 4h 7m 20s
Use immediate rcon values in AES generic module Nix #48: Commit d45abd7 pushed by mamonet
February 26, 2024 15:39 1d 9h 4m 39s aes_ctr32
aes_ctr32
February 26, 2024 15:39 1d 9h 4m 39s
Verify key_expansion256 Nix #47: Commit 600898e pushed by mamonet
February 24, 2024 20:18 1d 19h 23m 50s aes_ctr32
aes_ctr32
February 24, 2024 20:18 1d 19h 23m 50s
Verify key_expansion128 Nix #46: Commit bcd96f0 pushed by mamonet
February 21, 2024 18:06 3d 2h 12m 49s aes_ctr32
aes_ctr32
February 21, 2024 18:06 3d 2h 12m 49s