Skip to content

Actions: argotorg/shuffler.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
BuildBottomUp: complete definition Lean Action CI #35: Commit 19a017f pushed by d-xo
2m 29s main
main
2m 29s
Explain permutation theorem assumptions and bounds Lean Action CI #34: Commit a5fa64d pushed by d-xo
2m 6s main
main
2m 6s
Record produce differences from C++ Lean Action CI #33: Commit 4029cd0 pushed by d-xo
3m 13s main
main
3m 13s
Group Mapping definitions and laws Lean Action CI #32: Commit 7eb28da pushed by d-xo
1m 52s main
main
1m 52s
mapping only takes len of source and target stack Lean Action CI #31: Commit d8170f8 pushed by sophierain
2m 9s main
main
2m 9s
added swap_destination Lean Action CI #30: Commit f6dff13 pushed by sophierain
1m 45s main
main
1m 45s
push for mappings Lean Action CI #29: Commit 1024bc4 pushed by sophierain
2m 18s main
main
2m 18s
snake case Lean Action CI #28: Commit fa108ba pushed by d-xo
2m 25s main
main
2m 25s
continue bbu, rm tests Lean Action CI #27: Commit 1fb1f62 pushed by d-xo
2m 11s main
main
2m 11s
pin targeted solc version Lean Action CI #26: Commit 8dba8fe pushed by d-xo
6m 4s main
main
6m 4s
add bind to mappings Lean Action CI #25: Commit 96a555d pushed by sophierain
1m 35s main
main
1m 35s
Mapping slop Lean Action CI #24: Commit 6524a42 pushed by clonker
1m 39s main
main
1m 39s
simplify pop proof Lean Action CI #23: Commit 10f433a pushed by d-xo
1m 56s main
main
1m 56s
Mapping definition experients Lean Action CI #22: Commit 5783a07 pushed by d-xo
2m 17s main
main
2m 17s
Separate permutation definitions and theorems Lean Action CI #21: Commit f7b25e7 pushed by d-xo
2m 56s main
main
2m 56s
prove permute against new defs Lean Action CI #20: Commit 693de3e pushed by d-xo
8s main
main
8s
extend permute to encode the blocked state Lean Action CI #19: Commit 6e52fa5 pushed by d-xo
1m 55s main
main
1m 55s
tidy up module split Lean Action CI #18: Commit 2bb5b0a pushed by d-xo
2m 23s main
main
2m 23s
measure based permute correctness Lean Action CI #17: Commit 2af312f pushed by d-xo
1m 52s main
main
1m 52s
yolo proof of correctness Lean Action CI #16: Commit 7a7c151 pushed by clonker
1m 49s main
main
1m 49s
simplify proofs Lean Action CI #15: Commit 92c4b1e pushed by clonker
2m 29s main
main
2m 29s
Proof of termination. Lean Action CI #14: Commit 668ccf2 pushed by clonker
1m 35s main
main
1m 35s
Define theorem without proof for the second half of the termination p… Lean Action CI #13: Commit 3f6d62a pushed by clonker
1m 59s main
main
1m 59s
First half of the termination proof of the reduced permute theorem/algo Lean Action CI #12: Commit d38e34c pushed by clonker
1m 39s main
main
1m 39s
Merge pull request #1 from argotorg/use-equiv-perm-for-perms Lean Action CI #11: Commit 6e81977 pushed by clonker
2m 0s main
main
2m 0s