Skip to content

Actions: formosa-crypto/formosa-25519

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Further proof optimization amd64-linux #46: Pull request #21 synchronize by tfaoliveira-sb
October 1, 2024 09:57 2m 44s proof-optimization
proof-optimization
October 1, 2024 09:57 2m 44s
Further proof optimization amd64-linux #45: Pull request #21 synchronize by tfaoliveira-sb
October 1, 2024 09:51 2m 49s proof-optimization
proof-optimization
October 1, 2024 09:51 2m 49s
Further proof optimization amd64-linux #44: Pull request #21 synchronize by JoaoDiogoDuarte
September 30, 2024 23:43 9h 40m 4s proof-optimization
proof-optimization
September 30, 2024 23:43 9h 40m 4s
Further proof optimization amd64-linux #43: Pull request #21 synchronize by JoaoDiogoDuarte
September 30, 2024 18:53 29m 31s proof-optimization
proof-optimization
September 30, 2024 18:53 29m 31s
divzU re-added and removed lingering W64limbs reference amd64-linux #42: Commit 97e789f pushed by tfaoliveira-sb
September 27, 2024 17:43 3m 0s main
main
September 27, 2024 17:43 3m 0s
Optimization of proof amd64-linux #41: Pull request #20 synchronize by JoaoDiogoDuarte
September 27, 2024 17:37 2m 58s proof-optimization
proof-optimization
September 27, 2024 17:37 2m 58s
Optimization of proof amd64-linux #40: Pull request #20 opened by JoaoDiogoDuarte
September 27, 2024 17:21 5m 52s proof-optimization
proof-optimization
September 27, 2024 17:21 5m 52s
Merge pull request #19 from formosa-crypto/proof_no_check_links amd64-linux #39: Commit c72e80c pushed by tfaoliveira-sb
September 27, 2024 16:58 3m 16s main
main
September 27, 2024 16:58 3m 16s
proof/Makefile: avoid links amd64-linux #38: Pull request #19 opened by tfaoliveira-sb
September 27, 2024 16:54 3m 4s proof_no_check_links
proof_no_check_links
September 27, 2024 16:54 3m 4s
Merge pull request #18 from formosa-crypto/proofs amd64-linux #37: Commit 2e184a1 pushed by tfaoliveira-sb
September 27, 2024 16:11 4m 31s main
main
September 27, 2024 16:11 4m 31s
EasyCrypt Proofs - C. PR17 amd64-linux #36: Pull request #18 synchronize by tfaoliveira-sb
September 27, 2024 16:06 4m 15s proofs
proofs
September 27, 2024 16:06 4m 15s
EasyCrypt Proofs - C. PR17 amd64-linux #35: Pull request #18 opened by tfaoliveira-sb
September 27, 2024 16:04 1m 41s proofs
proofs
September 27, 2024 16:04 1m 41s
Updated correctness proof amd64-linux #34: Pull request #17 opened by JoaoDiogoDuarte
September 27, 2024 13:38 2m 26s JoaoDiogoDuarte:curve25519-proof
JoaoDiogoDuarte:curve25519-proof
September 27, 2024 13:38 2m 26s
Dockerfile: change the owner of copied contents amd64-linux #31: Commit 522bda3 pushed by tfaoliveira-sb
September 9, 2024 18:24 1m 42s main
main
September 9, 2024 18:24 1m 42s
feat(extract-libjade.sh): Variable naming amd64-linux #30: Commit aaed212 pushed by koraa
August 7, 2024 16:40 1m 41s main
main
August 7, 2024 16:40 1m 41s
feat(extract-libjade.sh): Cleanup --gen-implementation amd64-linux #29: Commit dc9e813 pushed by koraa
August 7, 2024 16:38 1m 42s main
main
August 7, 2024 16:38 1m 42s
feat(extract-libjade.sh): Consistent quouting in list_implementations amd64-linux #28: Commit 478b2f8 pushed by koraa
August 7, 2024 16:12 1m 48s main
main
August 7, 2024 16:12 1m 48s
feat(extract-libjade.sh): Use separate functions per command mode amd64-linux #27: Commit e85c50f pushed by koraa
August 7, 2024 16:11 1m 53s main
main
August 7, 2024 16:11 1m 53s
feat(extract-libjade.sh): Refactor project root detection amd64-linux #26: Commit 651f6dc pushed by koraa
August 7, 2024 16:05 6m 18s main
main
August 7, 2024 16:05 6m 18s
Merge pull request #13 from formosa-crypto/benchmarks amd64-linux #25: Commit ff8869f pushed by tfaoliveira-sb
August 7, 2024 15:55 1m 44s main
main
August 7, 2024 15:55 1m 44s
bench: clean things and remove dependency on gsl amd64-linux #24: Pull request #13 opened by tfaoliveira-sb
August 7, 2024 15:52 2m 55s benchmarks
benchmarks
August 7, 2024 15:52 2m 55s
feat(extract-libjade.sh): Return exit code 0 if script was successful amd64-linux #23: Commit 5f80ce8 pushed by koraa
August 7, 2024 15:44 1m 49s main
main
August 7, 2024 15:44 1m 49s
feat(extract-libjade.sh): call -> script; top_dir -> project_dir amd64-linux #22: Commit ff792d3 pushed by koraa
August 7, 2024 15:40 1m 41s main
main
August 7, 2024 15:40 1m 41s
feat(extract-libjade.sh): Consistent variable quoting amd64-linux #21: Commit dd25feb pushed by koraa
August 7, 2024 15:36 1m 58s main
main
August 7, 2024 15:36 1m 58s
feat(extract-libjade.sh): Nice usage functions amd64-linux #20: Commit 845c7b9 pushed by koraa
August 7, 2024 15:22 1m 47s main
main
August 7, 2024 15:22 1m 47s