Skip to content

Actions: argumentcomputer/ix

Actions

Benchmark Ix compiler

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
88 workflow runs
88 workflow runs

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
feat(aiur): Migrate Aiur to new pipeline (#392) Benchmark Ix compiler #88: Commit 2994616 pushed by arthurpaulino
10m 22s main
main
10m 22s
feat: Pipelined & polymorphic bgroup (#388) Benchmark Ix compiler #87: Commit 24fe0a1 pushed by samuelburnham
9m 45s main
main
9m 45s
chore: Fix compile benchmarks (#386) Benchmark Ix compiler #86: Commit 33d0fed pushed by samuelburnham
12m 29s main
main
12m 29s
chore: Update Lean to v4.29.0 (#385) Benchmark Ix compiler #85: Commit 78038b9 pushed by samuelburnham
8m 7s main
main
8m 7s
chore: Update lean-ffi (#380) Benchmark Ix compiler #84: Commit ba06e44 pushed by samuelburnham
9m 8s main
main
9m 8s
Fixed Kernel.lean debug mode (#384) Benchmark Ix compiler #83: Commit 1350590 pushed by gabriel-barrett
9m 30s main
main
9m 30s
Add non-tail match support (Yield + MatchContinue) (#366) Benchmark Ix compiler #82: Commit 5eddeb4 pushed by arthurpaulino
8m 45s main
main
8m 45s
chore: Fix RUSTSEC-2026-0098 & 0099 (#382) Benchmark Ix compiler #81: Commit 20bc6b1 pushed by samuelburnham
8m 59s main
main
8m 59s
feat: Benchmark throughput, R^2, outlier variance (#374) Benchmark Ix compiler #80: Commit f56d426 pushed by samuelburnham
9m 8s main
main
9m 8s
chore: Update iroh and rand (#378) Benchmark Ix compiler #79: Commit fd4b011 pushed by samuelburnham
8m 55s main
main
8m 55s
Fix main branch (#377) Benchmark Ix compiler #78: Commit 21c2505 pushed by arthurpaulino
6m 42s main
main
6m 42s
ci: Fix valgrind ignored test (#372) Benchmark Ix compiler #77: Commit 8b4ccaf pushed by samuelburnham
6m 33s main
main
6m 33s
Aiur interpreter (#370) Benchmark Ix compiler #76: Commit 7e123f3 pushed by gabriel-barrett
6m 51s main
main
6m 51s
Use continuous Float FFT cost instead of next-power-of-two Nat cost (… Benchmark Ix compiler #75: Commit db18585 pushed by arthurpaulino
6m 15s main
main
6m 15s
Updated statistics with FFT cost instead of area (#369) Benchmark Ix compiler #74: Commit c6be70d pushed by gabriel-barrett
6m 36s main
main
6m 36s
Add Lean-side circuit statistics (#368) Benchmark Ix compiler #73: Commit bd3d8cd pushed by arthurpaulino
6m 31s main
main
6m 31s
IxVM refactor (#364) Benchmark Ix compiler #72: Commit 3c6b189 pushed by gabriel-barrett
6m 36s main
main
6m 36s
Add generic datatypes and functions with type inference (#361) Benchmark Ix compiler #71: Commit d8c4f65 pushed by arthurpaulino
5m 58s main
main
5m 58s
Refactor Check.lean error variants and clean up application inference… Benchmark Ix compiler #70: Commit 7f1d4fb pushed by gabriel-barrett
6m 32s main
main
6m 32s
Merge app/appUnconstrained and call/callUnconstrained into single var… Benchmark Ix compiler #69: Commit 0249e3d pushed by arthurpaulino
6m 20s main
main
6m 20s
Small simplification in Dedup.lean (#359) Benchmark Ix compiler #68: Commit 17c44a6 pushed by arthurpaulino
6m 37s main
main
6m 37s
Add bytecode dedup, CompiledToplevel, and reorganize Ix/Aiur (#357) Benchmark Ix compiler #67: Commit 295590e pushed by arthurpaulino
6m 40s main
main
6m 40s
Mark rbtree_map_test as pub (#358) Benchmark Ix compiler #66: Commit 690246c pushed by arthurpaulino
6m 57s main
main
6m 57s
Replace #[unconstrained] with call-site #fn() syntax and add pub fn (… Benchmark Ix compiler #65: Commit 5b60849 pushed by arthurpaulino
6m 40s main
main
6m 40s
bump multi-stark (#352) Benchmark Ix compiler #64: Commit f7ff7f5 pushed by arthurpaulino
6m 42s main
main
6m 42s