Skip to content

Actions: opencompl/datapath-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 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
CSA Chain Correctness Proof Lean Action CI #51: Commit 6200a6a pushed by osmanyasar05
2m 11s main
main
2m 11s
CSA Chain Correctness Proof with Vector Drop Lean Action CI #50: Pull request #5 synchronize by osmanyasar05
1m 44s use_drop
use_drop
1m 44s
comments Lean Action CI #49: Commit 4e58800 pushed by osmanyasar05
1m 56s use_drop
use_drop
1m 56s
CSA Chain Correctness Proof with Vector Drop Lean Action CI #48: Pull request #5 opened by osmanyasar05
2m 13s use_drop
use_drop
2m 13s
first commit Lean Action CI #47: Commit 9c616e7 pushed by osmanyasar05
2m 25s use_drop
use_drop
2m 25s
CSA Chain Correctness Theorem Lean Action CI #46: Pull request #4 synchronize by osmanyasar05
1m 56s ChainCorrectness
ChainCorrectness
1m 56s
add comments Lean Action CI #45: Commit e780c2f pushed by osmanyasar05
1m 58s ChainCorrectness
ChainCorrectness
1m 58s
CSA Chain Correctness Theorem Lean Action CI #44: Pull request #4 synchronize by osmanyasar05
1m 48s ChainCorrectness
ChainCorrectness
1m 48s
separate proofs Lean Action CI #43: Commit 5df00af pushed by osmanyasar05
1m 53s ChainCorrectness
ChainCorrectness
1m 53s
CSA Chain Correctness Theorem Lean Action CI #42: Pull request #4 synchronize by osmanyasar05
1m 43s ChainCorrectness
ChainCorrectness
1m 43s
chain with proof Lean Action CI #41: Commit f0727e3 pushed by osmanyasar05
1m 51s ChainCorrectness
ChainCorrectness
1m 51s
CSA Chain Correctness Theorem Lean Action CI #40: Pull request #4 opened by osmanyasar05
1m 51s ChainCorrectness
ChainCorrectness
1m 51s
First commit Lean Action CI #39: Commit 7ad5593 pushed by osmanyasar05
2m 50s ChainCorrectness
ChainCorrectness
2m 50s
Chained CSA (#3) Lean Action CI #38: Commit c11e56e pushed by osmanyasar05
2m 9s main
main
2m 9s
Chained CSA Lean Action CI #37: Pull request #3 synchronize by osmanyasar05
1m 41s ChainedCSA
ChainedCSA
1m 41s
remove correctness theorem Lean Action CI #36: Commit 81942d2 pushed by osmanyasar05
1m 44s ChainedCSA
ChainedCSA
1m 44s
Chained CSA Lean Action CI #35: Pull request #3 synchronize by osmanyasar05
1m 54s ChainedCSA
ChainedCSA
1m 54s
match n with 3 Lean Action CI #34: Commit 8ba1a53 pushed by osmanyasar05
2m 6s ChainedCSA
ChainedCSA
2m 6s
Chained CSA Lean Action CI #33: Pull request #3 synchronize by osmanyasar05
1m 50s ChainedCSA
ChainedCSA
1m 50s
chained compressor Lean Action CI #32: Commit b3f9c86 pushed by osmanyasar05
2m 29s ChainedCSA
ChainedCSA
2m 29s
Chained CSA Lean Action CI #31: Pull request #3 opened by osmanyasar05
1m 43s ChainedCSA
ChainedCSA
1m 43s
chained CSA Lean Action CI #30: Commit 000f975 pushed by osmanyasar05
1m 46s ChainedCSA
ChainedCSA
1m 46s
Merge pull request #2 from opencompl/CSANonRecursive Lean Action CI #29: Commit badf31b pushed by osmanyasar05
2m 18s main
main
2m 18s
CSA/4 input proofs Lean Action CI #28: Pull request #2 synchronize by osmanyasar05
2m 14s CSANonRecursive
CSANonRecursive
2m 14s
add comments Lean Action CI #27: Commit 0cd5136 pushed by osmanyasar05
2m 16s CSANonRecursive
CSANonRecursive
2m 16s