Skip to content

Actions: dtumad/lean-crypto-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

trying lists over vectors .github/workflows/lean_build.yml #361: Commit dc2a8b1 pushed by dtumad
January 26, 2024 12:25 1h 28m 28s vector-thing
vector-thing
January 26, 2024 12:25 1h 28m 28s
build errors and cleanup .github/workflows/lean_build.yml #360: Commit 01fdee4 pushed by dtumad
January 26, 2024 09:24 1h 33m 30s simulate-simps
simulate-simps
January 26, 2024 09:24 1h 33m 30s
cleaning up simulation proofs .github/workflows/lean_build.yml #359: Commit 47b23c2 pushed by dtumad
January 26, 2024 08:29 55m 18s simulate-simps
simulate-simps
January 26, 2024 08:29 55m 18s
decidable equality .github/workflows/lean_build.yml #358: Commit 9e4de07 pushed by dtumad
January 26, 2024 00:59 5m 21s master
master
January 26, 2024 00:59 5m 21s
pairing diffie helman .github/workflows/lean_build.yml #357: Commit 78b8531 pushed by dtumad
January 24, 2024 09:28 5m 21s master
master
January 24, 2024 09:28 5m 21s
bilinear pairings .github/workflows/lean_build.yml #356: Commit 220bd4c pushed by dtumad
January 24, 2024 09:18 5m 13s master
master
January 24, 2024 09:18 5m 13s
paper formatting .github/workflows/lean_build.yml #355: Commit 142af95 pushed by dtumad
January 24, 2024 00:11 5m 58s master
master
January 24, 2024 00:11 5m 58s
build errors .github/workflows/lean_build.yml #354: Commit 952ce8a pushed by dtumad
January 23, 2024 17:22 5m 59s master
master
January 23, 2024 17:22 5m 59s
build errors .github/workflows/lean_build.yml #353: Commit 952ce8a pushed by dtumad
January 23, 2024 17:22 1h 29m 25s prop-prob-event
prop-prob-event
January 23, 2024 17:22 1h 29m 25s
working on nicer proofs .github/workflows/lean_build.yml #352: Commit 6f277df pushed by dtumad
January 23, 2024 17:06 16m 36s prop-prob-event
prop-prob-event
January 23, 2024 17:06 16m 36s
hhs_build errors .github/workflows/lean_build.yml #351: Commit 5efbf35 pushed by dtumad
January 23, 2024 11:29 1h 31m 22s prop-prob-event
prop-prob-event
January 23, 2024 11:29 1h 31m 22s
simulation fixes .github/workflows/lean_build.yml #350: Commit cba670c pushed by dtumad
January 23, 2024 11:03 26m 12s prop-prob-event
prop-prob-event
January 23, 2024 11:03 26m 12s
nicer elgamal proof .github/workflows/lean_build.yml #349: Commit 753f5d0 pushed by dtumad
January 23, 2024 10:50 13m 12s prop-prob-event
prop-prob-event
January 23, 2024 10:50 13m 12s
archive some old things .github/workflows/lean_build.yml #348: Commit 5053dc4 pushed by dtumad
January 23, 2024 08:29 1h 27m 37s prop-prob-event
prop-prob-event
January 23, 2024 08:29 1h 27m 37s
build errors and sorry .github/workflows/lean_build.yml #347: Commit e0ab785 pushed by dtumad
January 23, 2024 08:13 16m 55s prop-prob-event
prop-prob-event
January 23, 2024 08:13 16m 55s
repeat .github/workflows/lean_build.yml #346: Commit 1e6f525 pushed by dtumad
January 23, 2024 07:32 40m 43s prop-prob-event
prop-prob-event
January 23, 2024 07:32 40m 43s
prop notation .github/workflows/lean_build.yml #345: Commit bac6a7b pushed by dtumad
January 23, 2024 05:42 1h 42m 9s prop-prob-event
prop-prob-event
January 23, 2024 05:42 1h 42m 9s
nice prop setup for distr .github/workflows/lean_build.yml #344: Commit 3c9fc00 pushed by dtumad
January 22, 2024 08:31 1h 26m 42s prop-prob-event
prop-prob-event
January 22, 2024 08:31 1h 26m 42s
more build errors .github/workflows/lean_build.yml #343: Commit 259c433 pushed by dtumad
January 22, 2024 08:05 26m 24s prop-prob-event
prop-prob-event
January 22, 2024 08:05 26m 24s
build errors still .github/workflows/lean_build.yml #342: Commit ca8900c pushed by dtumad
January 22, 2024 07:26 39m 41s prop-prob-event
prop-prob-event
January 22, 2024 07:26 39m 41s
more build errors .github/workflows/lean_build.yml #341: Commit 09c11d2 pushed by dtumad
January 22, 2024 06:16 1h 10m 21s prop-prob-event
prop-prob-event
January 22, 2024 06:16 1h 10m 21s
swap machines .github/workflows/lean_build.yml #340: Commit 4d017f8 pushed by dtumad
January 19, 2024 23:32 1h 29m 19s prop-prob-event
prop-prob-event
January 19, 2024 23:32 1h 29m 19s
trucking along .github/workflows/lean_build.yml #339: Commit 1a4479e pushed by dtumad
January 18, 2024 22:50 1h 22m 13s prop-prob-event
prop-prob-event
January 18, 2024 22:50 1h 22m 13s
testing out these changes .github/workflows/lean_build.yml #338: Commit f1c563b pushed by dtumad
January 18, 2024 22:01 48m 56s prop-prob-event
prop-prob-event
January 18, 2024 22:01 48m 56s
build errors .github/workflows/lean_build.yml #337: Commit c721583 pushed by dtumad
January 18, 2024 05:10 6m 9s master
master
January 18, 2024 05:10 6m 9s