Skip to content

Actions: powdr-labs/powdr

Deploy book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,140 workflow runs
1,140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify stwo proof (#2328)
Deploy book #1265: Commit 9f0285d pushed by github-merge-queue bot
January 14, 2025 12:01 5m 31s main
January 14, 2025 12:01 5m 31s
Keep completed assignments. (#2331)
Deploy book #1264: Commit 5a47b6e pushed by github-merge-queue bot
January 13, 2025 19:24 5m 35s main
January 13, 2025 19:24 5m 35s
Deduce new constraints also on inputs. (#2330)
Deploy book #1263: Commit fe4e2b2 pushed by github-merge-queue bot
January 13, 2025 18:10 5m 28s main
January 13, 2025 18:10 5m 28s
Check multiplicities in mock prover (#2310)
Deploy book #1262: Commit f795d41 pushed by github-merge-queue bot
January 13, 2025 17:15 5m 37s main
January 13, 2025 17:15 5m 37s
Interpreter for witgen effects (#2301)
Deploy book #1261: Commit 3eba5c4 pushed by github-merge-queue bot
January 13, 2025 15:47 5m 32s main
January 13, 2025 15:47 5m 32s
Determine range constraints from fixed lookup. (#2300)
Deploy book #1260: Commit f6b0b7b pushed by github-merge-queue bot
January 13, 2025 13:37 5m 52s main
January 13, 2025 13:37 5m 52s
Extend stwo to Support Machines with Varying Degrees (#2280)
Deploy book #1259: Commit 71eaf88 pushed by github-merge-queue bot
January 13, 2025 10:32 5m 23s main
January 13, 2025 10:32 5m 23s
Unify single step and block processor. (#2317)
Deploy book #1258: Commit 65a2fdd pushed by github-merge-queue bot
January 10, 2025 23:52 7m 1s main
January 10, 2025 23:52 7m 1s
Keccak endianness (BE -> LE) (#2318)
Deploy book #1257: Commit d5f39d7 pushed by github-merge-queue bot
January 10, 2025 20:08 5m 29s main
January 10, 2025 20:08 5m 29s
Iterator stuff (#2320)
Deploy book #1256: Commit 3d5bce0 pushed by github-merge-queue bot
January 10, 2025 18:21 5m 31s main
January 10, 2025 18:21 5m 31s
Improve logging (#2321)
Deploy book #1255: Commit 1ee1505 pushed by github-merge-queue bot
January 10, 2025 14:56 5m 42s main
January 10, 2025 14:56 5m 42s
bugfix in identifying a chunk's accessed memory (#2316)
Deploy book #1254: Commit e4d9fcb pushed by github-merge-queue bot
January 9, 2025 18:52 5m 33s main
January 9, 2025 18:52 5m 33s
Fully implement irregular block shapes (#2281)
Deploy book #1253: Commit 725fceb pushed by github-merge-queue bot
January 9, 2025 17:30 5m 47s main
January 9, 2025 17:30 5m 47s
Also use variables for known inputs in machine calls. (#2315)
Deploy book #1252: Commit 40aa582 pushed by github-merge-queue bot
January 9, 2025 16:04 5m 35s main
January 9, 2025 16:04 5m 35s
Assert that block machines are stackable (#2307)
Deploy book #1251: Commit 9c6315e pushed by github-merge-queue bot
January 9, 2025 15:44 5m 48s main
January 9, 2025 15:44 5m 48s
Do multiplicity witgen in separate stage (#2319)
Deploy book #1250: Commit e328eb9 pushed by github-merge-queue bot
January 9, 2025 15:27 5m 40s main
January 9, 2025 15:27 5m 40s
pilopt: optimize until fixpoint (#2225)
Deploy book #1249: Commit 067b633 pushed by github-merge-queue bot
January 8, 2025 16:15 5m 36s main
January 8, 2025 16:15 5m 36s
Simplify range constraints. (#2314)
Deploy book #1248: Commit 707522d pushed by github-merge-queue bot
January 8, 2025 16:12 5m 34s main
January 8, 2025 16:12 5m 34s
Simplify FinalizableData (#2304)
Deploy book #1247: Commit 379267d pushed by github-merge-queue bot
January 8, 2025 11:54 6m 2s main
January 8, 2025 11:54 6m 2s
Refactor ExpressionEvaluator (#2309)
Deploy book #1246: Commit 04de307 pushed by github-merge-queue bot
January 8, 2025 10:18 5m 36s main
January 8, 2025 10:18 5m 36s
Expose profiler session (#2308)
Deploy book #1245: Commit feb51c4 pushed by github-merge-queue bot
January 8, 2025 02:16 5m 34s main
January 8, 2025 02:16 5m 34s
Single step with branching (#2274)
Deploy book #1244: Commit dc4c5cd pushed by github-merge-queue bot
January 7, 2025 13:08 5m 37s main
January 7, 2025 13:08 5m 37s
Simplify mock prover factory (#2305)
Deploy book #1243: Commit 5ceeda4 pushed by github-merge-queue bot
January 3, 2025 18:16 5m 36s main
January 3, 2025 18:16 5m 36s
JIT for block machines with non-rectangular shapes (#2275)
Deploy book #1242: Commit 4bb99be pushed by github-merge-queue bot
January 3, 2025 14:36 5m 46s main
January 3, 2025 14:36 5m 46s
Remove unused methods (#2303)
Deploy book #1241: Commit 91202ee pushed by github-merge-queue bot
January 3, 2025 13:08 5m 34s main
January 3, 2025 13:08 5m 34s