Skip to content

Actions: BoltonBailey/formal-snarks-project

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
Export SMT soundness benchmarks for all seven SNARKs, in benchmarks/ CI #24: Commit 67ccc51 pushed by BoltonBailey
17m 6s master
master
17m 6s
typo CI #23: Commit eb8043a pushed by BoltonBailey
16m 42s master
master
16m 42s
more todos CI #22: Commit e9009d7 pushed by BoltonBailey
1m 11s master
master
1m 11s
Redefine typeI Groth16 in terms of TypeI instantiation CI #21: Commit 382139f pushed by BoltonBailey
19m 16s master
master
19m 16s
Typo CI #20: Commit b5395ca pushed by BoltonBailey
16m 46s master
master
16m 46s
update readme CI #19: Commit 2ab7a09 pushed by BoltonBailey
3m 8s master
master
3m 8s
update ci CI #18: Commit c458ef1 pushed by BoltonBailey
24m 30s master
master
24m 30s
progress on smt emission CI #17: Commit 0915549 pushed by BoltonBailey
3m 47s master
master
3m 47s
completeness progress CI #16: Commit fe9ac09 pushed by BoltonBailey
4h 29m 4s master
master
4h 29m 4s
fable proof and reorg CI #15: Commit 9670393 pushed by BoltonBailey
4h 8m 12s master
master
4h 8m 12s
fixes to ToMathlib CI #14: Commit 52b4885 pushed by BoltonBailey
4h 31m 53s master
master
4h 31m 53s
Merge pull request #3 from BoltonBailey/smt-attempt CI #13: Commit eecd63b pushed by BoltonBailey
4h 6m 23s master
master
4h 6m 23s
add small fixes CI #12: Pull request #3 opened by BoltonBailey
4h 8m 5s smt-attempt
smt-attempt
4h 8m 5s