Skip to content

Actions: kkrt-labs/stwo-brainfuck

Actions

Trunk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prover: add ProcessorTable
Trunk #94: Pull request #70 opened by tcoratger
November 19, 2024 13:47 1m 36s tcoratger:ProcessorTable
November 19, 2024 13:47 1m 36s
move VALID_INSTRUCTIONS to instruction file
Trunk #92: Pull request #66 synchronize by tcoratger
November 18, 2024 10:29 1m 39s tcoratger:mv-VALID_INSTRUCTIONS
November 18, 2024 10:29 1m 39s
refactor: memory table cleanup
Trunk #90: Pull request #64 synchronize by zmalatrax
November 14, 2024 08:40 31s refactor/memory-table-cleanup
November 14, 2024 08:40 31s
refactor: memory table cleanup
Trunk #89: Pull request #64 opened by zmalatrax
November 13, 2024 16:35 1m 33s refactor/memory-table-cleanup
November 13, 2024 16:35 1m 33s
instruction table cleanup
Trunk #88: Pull request #63 synchronize by tcoratger
November 13, 2024 16:00 42s tcoratger:instruction-clean
November 13, 2024 16:00 42s
instruction table cleanup
Trunk #87: Pull request #63 opened by tcoratger
November 13, 2024 15:58 1m 30s tcoratger:instruction-clean
November 13, 2024 15:58 1m 30s
feat: instruction trace padding
Trunk #85: Pull request #62 opened by zmalatrax
November 13, 2024 15:02 1m 40s refactor/instruction-table
November 13, 2024 15:02 1m 40s
feat: add padding to I/O trace
Trunk #84: Pull request #61 synchronize by zmalatrax
November 13, 2024 13:36 30s feat/pad-io-table
November 13, 2024 13:36 30s
feat: add padding to I/O trace
Trunk #83: Pull request #61 opened by zmalatrax
November 13, 2024 13:34 1m 39s feat/pad-io-table
November 13, 2024 13:34 1m 39s
feat: pad memory trace to next power of 2
Trunk #80: Pull request #58 synchronize by zmalatrax
November 13, 2024 11:08 31s feat/pad-memory-table
November 13, 2024 11:08 31s
feat: pad memory trace to next power of 2
Trunk #78: Pull request #58 opened by zmalatrax
November 13, 2024 10:37 1m 46s feat/pad-memory-table
November 13, 2024 10:37 1m 46s
simplify BaseField for 0 and 1
Trunk #75: Pull request #51 synchronize by tcoratger
November 12, 2024 21:09 1m 52s tcoratger:BaseField
November 12, 2024 21:09 1m 52s
simplify BaseField for 0 and 1
Trunk #74: Pull request #51 opened by tcoratger
November 12, 2024 21:05 1m 11s tcoratger:BaseField
November 12, 2024 21:05 1m 11s