Skip to content

Actions: argumentcomputer/ix

Actions

Benchmark Ix compiler

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
80 workflow runs
80 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: 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
Fix wildcard let bindings and add body-less let syntax (#351) Benchmark Ix compiler #63: Commit ba63677 pushed by arthurpaulino
6m 34s main
main
6m 34s
Rewrite ingress, add bignum literals, fix standalone recursor/opaque … Benchmark Ix compiler #62: Commit 7cbe144 pushed by arthurpaulino
6m 19s main
main
6m 19s
Fix level_leq incompleteness and redesign AiurTestCase API (#344) Benchmark Ix compiler #61: Commit 9aff003 pushed by gabriel-barrett
6m 45s main
main
6m 45s
feat: Use Blake3.lean Rust bindings instead of C (#329) Benchmark Ix compiler #60: Commit d750304 pushed by samuelburnham
7m 44s main
main
7m 44s
chore: Update lean-ffi (#346) Benchmark Ix compiler #59: Commit c20e6ce pushed by samuelburnham
6m 16s main
main
6m 16s
chore: Update lean-ffi (#341) Benchmark Ix compiler #58: Commit eac2616 pushed by samuelburnham
5m 57s main
main
5m 57s
Replace U64 with G in kernel types (#342) Benchmark Ix compiler #57: Commit 33a980f pushed by arthurpaulino
6m 23s main
main
6m 23s
Make level comparison sound and complete (#339) Benchmark Ix compiler #56: Commit a31330c pushed by gabriel-barrett
6m 6s main
main
6m 6s