Skip to content

Actions: opencompl/circomvent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump lean-mlir and cleanup Lean Action CI #27: Commit ab09cb4 pushed by alexkeizer
2m 32s master
master
2m 32s
bump Lean Action CI #26: Commit 8384c57 pushed by alexkeizer
1m 47s master
master
1m 47s
WIP Lean Action CI #25: Commit 7881652 pushed by alexkeizer
2m 23s master
master
2m 23s
even more golfing Lean Action CI #24: Commit 14c587b pushed by alexkeizer
1m 37s master
master
1m 37s
proof golf Lean Action CI #23: Commit 0763e19 pushed by alexkeizer
1m 20s master
master
1m 20s
hacking Lean Action CI #22: Commit a4f2608 pushed by alexkeizer
1m 19s master
master
1m 19s
parser Lean Action CI #21: Commit 3edbd79 pushed by alexkeizer
1m 26s master
master
1m 26s
wip on implementing the llzk dialect parser Lean Action CI #20: Commit 45d5ea5 pushed by nategraf
1m 43s master
master
1m 43s
Merge branch 'master' of github.com:opencompl/circomvent Lean Action CI #19: Commit f3ed5b8 pushed by alexkeizer
1m 20s master
master
1m 20s
Less horrible instance Lean Action CI #18: Commit 34db5f8 pushed by ineol
1m 39s master
master
1m 39s
Fix printing for now Lean Action CI #17: Commit d59d863 pushed by ineol
1m 20s master
master
1m 20s
wip: add felt and feltAdd Lean Action CI #16: Commit 4286503 pushed by nategraf
1m 26s master
master
1m 26s
copy files form llzk and mlirlean repos Lean Action CI #15: Commit d22166b pushed by nategraf
1m 18s master
master
1m 18s
grind! Lean Action CI #14: Commit 2fb69b2 pushed by ineol
2m 1s master
master
2m 1s
Add a TODO on the incompleteness of the IsZero soundness def Lean Action CI #13: Commit 3046e82 pushed by nategraf
2m 18s master
master
2m 18s
Merge branch 'master' of github.com:opencompl/circomvent Lean Action CI #12: Commit b2d1d07 pushed by nategraf
2m 4s master
master
2m 4s
Fix warnings Lean Action CI #11: Commit 1baa931 pushed by ineol
1m 28s master
master
1m 28s
Merge branch 'master' of github.com:opencompl/circomvent Lean Action CI #8: Commit cff10ba pushed by alexkeizer
1m 12s master
master
1m 12s
feat: show that the isZero program is sound and complete, wrt executi… Lean Action CI #7: Commit 5740333 pushed by bollu
1m 34s master
master
1m 34s
chore: finish completeness. Lean Action CI #6: Commit c078d20 pushed by bollu
1m 44s master
master
1m 44s
chore: embed our program, now start proving soundness + completeness Lean Action CI #5: Commit a424734 pushed by bollu
1m 10s master
master
1m 10s
Hacking on Pass verification Lean Action CI #4: Commit f56ddaf pushed by alexkeizer
1m 14s master
master
1m 14s
chore: push refactors Lean Action CI #3: Commit d057357 pushed by bollu
1m 15s master
master
1m 15s
chore: write constraint system soundness and completeness Lean Action CI #2: Commit 9292d19 pushed by bollu
2m 5s master
master
2m 5s
chore: first push Lean Action CI #1: Commit 57f80f2 pushed by bollu
1m 22s master
master
1m 22s