Skip to content

Actions: opencompl/datapath-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 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
feat: Zext Op Lean Action CI #291: Pull request #31 opened by osmanyasar05
3m 3s zext-op
zext-op
3m 3s
zext op Lean Action CI #290: Commit fec302d pushed by osmanyasar05
1m 46s zext-op
zext-op
1m 46s
first commit Lean Action CI #289: Commit 60901f6 pushed by osmanyasar05
3m 15s zext-op
zext-op
3m 15s
feat: Circt Connection Lean Action CI #288: Pull request #30 synchronize by osmanyasar05
2m 8s circt_connection
circt_connection
2m 8s
zext Lean Action CI #287: Commit f8d9156 pushed by osmanyasar05
2m 28s circt_connection
circt_connection
2m 28s
feat: Circt Connection Lean Action CI #286: Pull request #30 opened by osmanyasar05
1m 49s circt_connection
circt_connection
1m 49s
Merge remote-tracking branch 'origin/main' into circt_connection Lean Action CI #285: Commit bedb764 pushed by osmanyasar05
1m 31s circt_connection
circt_connection
1m 31s
chore: add imports Lean Action CI #284: Commit 444dff3 pushed by osmanyasar05
1m 54s main
main
1m 54s
first commit (#29) Lean Action CI #283: Commit 0560a27 pushed by osmanyasar05
2m 29s main
main
2m 29s
feat: Negation operation Lean Action CI #282: Pull request #29 opened by osmanyasar05
2m 35s neg_op
neg_op
2m 35s
first commit Lean Action CI #281: Commit 2adf377 pushed by osmanyasar05
3m 5s neg_op
neg_op
3m 5s
feat: Dadda optimality Lean Action CI #280: Pull request #28 synchronize by osmanyasar05
1m 55s dadda_proof
dadda_proof
1m 55s
expl Lean Action CI #279: Commit 4f0e0c9 pushed by osmanyasar05
1m 43s dadda_proof
dadda_proof
1m 43s
feat: Dadda optimality Lean Action CI #278: Pull request #28 opened by osmanyasar05
2m 40s dadda_proof
dadda_proof
2m 40s
first Lean Action CI #277: Commit 0f61aed pushed by osmanyasar05
2m 53s dadda_proof
dadda_proof
2m 53s
first commit (#27) Lean Action CI #276: Commit f44ea0f pushed by osmanyasar05
2m 9s main
main
2m 9s
feat: Accounting for Zero-Extensions Lean Action CI #275: Pull request #27 opened by osmanyasar05
1m 30s zero_extend
zero_extend
1m 30s
first commit Lean Action CI #274: Commit d0e397b pushed by osmanyasar05
2m 2s zero_extend
zero_extend
2m 2s
feat: BitVector to BitHeap conversion (#26) Lean Action CI #273: Commit 819c9ee pushed by osmanyasar05
2m 42s main
main
2m 42s
feat: BitVector to BitHeap conversion Lean Action CI #272: Pull request #26 synchronize by osmanyasar05
2m 6s bridge
bridge
2m 6s
nit Lean Action CI #271: Commit 24f2967 pushed by osmanyasar05
1m 38s bridge
bridge
1m 38s
feat: BitVector to BitHeap conversion Lean Action CI #270: Pull request #26 synchronize by osmanyasar05
1m 28s bridge
bridge
1m 28s
no non-terminal simp Lean Action CI #269: Commit f06b636 pushed by osmanyasar05
1m 33s bridge
bridge
1m 33s
feat: BitVector to BitHeap conversion Lean Action CI #268: Pull request #26 synchronize by osmanyasar05
1m 41s bridge
bridge
1m 41s
examples Lean Action CI #267: Commit 2718542 pushed by osmanyasar05
2m 1s bridge
bridge
2m 1s