Skip to content

Actions: kkrt-labs/stwo-brainfuck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
484 workflow runs
484 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add memory constraints Trunk #167: Pull request #105 opened by zmalatrax
November 27, 2024 11:56 1m 19s feat/memory-constraints
feat/memory-constraints
November 27, 2024 11:56 1m 19s
feat: add memory constraints CI #167: Pull request #105 opened by zmalatrax
November 27, 2024 11:56 1m 21s feat/memory-constraints
feat/memory-constraints
November 27, 2024 11:56 1m 21s
feat: add preprocessed traces of various log size Trunk #166: Pull request #104 opened by zmalatrax
November 27, 2024 11:30 1m 37s feat/memory-preprocessed-trace
feat/memory-preprocessed-trace
November 27, 2024 11:30 1m 37s
feat: add preprocessed traces of various log size CI #166: Pull request #104 opened by zmalatrax
November 27, 2024 11:30 1m 29s feat/memory-preprocessed-trace
feat/memory-preprocessed-trace
November 27, 2024 11:30 1m 29s
feat: add memory component to BrainfuckComponents CI #165: Pull request #103 opened by zmalatrax
November 27, 2024 11:27 1m 25s feat/memory-to-brainfuck-components
feat/memory-to-brainfuck-components
November 27, 2024 11:27 1m 25s
feat: add memory component to BrainfuckComponents Trunk #165: Pull request #103 opened by zmalatrax
November 27, 2024 11:27 1m 21s feat/memory-to-brainfuck-components
feat/memory-to-brainfuck-components
November 27, 2024 11:27 1m 21s
feat: scaffold Memory component Trunk #164: Pull request #99 opened by zmalatrax
November 27, 2024 08:50 1m 22s feat/scaffold-memory-component
feat/scaffold-memory-component
November 27, 2024 08:50 1m 22s
feat: scaffold Memory component CI #164: Pull request #99 opened by zmalatrax
November 27, 2024 08:50 1m 24s feat/scaffold-memory-component
feat/scaffold-memory-component
November 27, 2024 08:50 1m 24s
feat: add interaction trace to prove_brainfuck entrypoint CI #163: Pull request #97 opened by zmalatrax
November 27, 2024 08:33 1m 29s feat/memory-interaction-prove-brainfuck
feat/memory-interaction-prove-brainfuck
November 27, 2024 08:33 1m 29s
feat: add interaction trace to prove_brainfuck entrypoint Trunk #163: Pull request #97 opened by zmalatrax
November 27, 2024 08:33 1m 33s feat/memory-interaction-prove-brainfuck
feat/memory-interaction-prove-brainfuck
November 27, 2024 08:33 1m 33s
refactor: refactor verify_brainfuck entrypoint for preprocessed columns CI #162: Pull request #96 opened by zmalatrax
November 26, 2024 18:50 1m 23s feat/preprocessed-verify-brainfuck
feat/preprocessed-verify-brainfuck
November 26, 2024 18:50 1m 23s
refactor: refactor verify_brainfuck entrypoint for preprocessed columns Trunk #162: Pull request #96 opened by zmalatrax
November 26, 2024 18:50 1m 18s feat/preprocessed-verify-brainfuck
feat/preprocessed-verify-brainfuck
November 26, 2024 18:50 1m 18s
feat: implement the trace_evaluationfor the ProcessorTable Trunk #161: Pull request #95 synchronize by tcoratger
November 26, 2024 18:45 48s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:45 48s
feat: implement the trace_evaluationfor the ProcessorTable CI #161: Pull request #95 synchronize by tcoratger
November 26, 2024 18:45 1m 25s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:45 1m 25s
feat: implement the trace_evaluationfor the ProcessorTable CI #160: Pull request #95 synchronize by tcoratger
November 26, 2024 18:25 1m 24s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:25 1m 24s
feat: implement the trace_evaluationfor the ProcessorTable Trunk #160: Pull request #95 synchronize by tcoratger
November 26, 2024 18:25 1m 10s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:25 1m 10s
feat: implement the trace_evaluationfor the ProcessorTable CI #159: Pull request #95 synchronize by tcoratger
November 26, 2024 18:21 1m 25s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:21 1m 25s
feat: implement the trace_evaluationfor the ProcessorTable Trunk #159: Pull request #95 synchronize by tcoratger
November 26, 2024 18:21 1m 44s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:21 1m 44s
feat: implement the trace_evaluationfor the ProcessorTable CI #158: Pull request #95 synchronize by tcoratger
November 26, 2024 18:20 1m 23s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 1m 23s
feat: implement the trace_evaluationfor the ProcessorTable Trunk #158: Pull request #95 synchronize by tcoratger
November 26, 2024 18:20 1m 23s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 1m 23s
feat: implement the trace_evaluationfor the ProcessorTable Trunk #157: Pull request #95 opened by tcoratger
November 26, 2024 18:20 15s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 15s
feat: implement the trace_evaluationfor the ProcessorTable CI #157: Pull request #95 opened by tcoratger
November 26, 2024 18:20 1m 29s tcoratger:processor-trace-eval
tcoratger:processor-trace-eval
November 26, 2024 18:20 1m 29s
prover: add Claim pub types CI #156: Pull request #94 opened by tcoratger
November 26, 2024 18:06 1m 31s tcoratger:Claim-types
tcoratger:Claim-types
November 26, 2024 18:06 1m 31s
prover: add Claim pub types Trunk #156: Pull request #94 opened by tcoratger
November 26, 2024 18:06 1m 30s tcoratger:Claim-types
tcoratger:Claim-types
November 26, 2024 18:06 1m 30s
abstract Claim for multiple traces CI #155: Pull request #93 synchronize by tcoratger
November 26, 2024 17:24 1m 28s tcoratger:trace-enum
tcoratger:trace-enum
November 26, 2024 17:24 1m 28s