Skip to content

Actions: BrainyBlaze/xlog

Actions

Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
34 workflow runs
34 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(ilp): GA hardening gates and documentation alignment Benchmarks #34: Pull request #2 synchronize by levi770
4m 42s feat/dilp-ga-hardening-docs-and-gates
feat/dilp-ga-hardening-docs-and-gates
4m 42s
feat(ilp): GA hardening gates and documentation alignment Benchmarks #33: Pull request #2 opened by levi770
7m 53s feat/dilp-ga-hardening-docs-and-gates
feat/dilp-ga-hardening-docs-and-gates
7m 53s
docs: add dILP beta documentation across changelog, readme, roadmap, … Benchmarks #32: Commit 50631ad pushed by levi770
9m 57s main
main
9m 57s
test: remove test_non_monotone_with_mc (50K MC sample timeout) Benchmarks #31: Commit 47416ac pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
Merge pull request #1 from BrainyBlaze/feat/tensorized-ilp Benchmarks #30: Commit 9d8d4f6 pushed by levi770
20s main
main
20s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #29: Pull request #1 synchronize by levi770
1d 0h 0m 1s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 1s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #28: Pull request #1 synchronize by levi770
1d 0h 0m 5s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 5s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #27: Pull request #1 synchronize by levi770
1d 0h 0m 2s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 2s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #26: Pull request #1 synchronize by levi770
1d 0h 0m 2s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 2s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #25: Pull request #1 synchronize by levi770
1d 0h 0m 2s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 2s
feat(ilp): Tensorized Differentiable ILP engine Benchmarks #24: Pull request #1 opened by levi770
1d 0h 0m 5s feat/tensorized-ilp
feat/tensorized-ilp
1d 0h 0m 5s
docs: update README and CHANGELOG to reflect v0.4.0-alpha completion Benchmarks #23: Commit e68aa52 pushed by levi770
1d 0h 0m 3s main
main
1d 0h 0m 3s
docs(ilp): add ILP reference papers Benchmarks #22: Commit b4261b5 pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: add integrated v0.4.0-alpha implementation plan Benchmarks #21: Commit 9031e23 pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: align release status to v0.3.2; update roadmap/changelog/certif… Benchmarks #20: Commit 4466869 pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
gpu-native: remove CPU D4 vendor; fix 0-arity ops + MC Benchmarks #19: Commit 2ef56c7 pushed by levi770
1d 0h 0m 3s main
main
1d 0h 0m 3s
feat(docs): restore old docs Benchmarks #18: Commit 3e3b836 pushed by levi770
41s main
main
41s
test(cuda): avoid double-free in Arrow device test Benchmarks #17: Commit c5ac655 pushed by levi770
12m 3s main
main
12m 3s
fix(pir): align find_existing bucket hashing Benchmarks #16: Commit 575adeb pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
feat(prob): add GPU D4 compile+verify entrypoint and harden CUDA params Benchmarks #15: Commit a89d086 pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix(gpu): stabilize scalar kernel params in SAT verifier Benchmarks #14: Commit 9b09ab1 pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: update changelog and roadmap for GPU CDCL verifier Benchmarks #13: Commit 1736e0f pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: add GPU-native compilation architecture and research Benchmarks #12: Commit f8dfb4d pushed by levi770
21s main
main
21s
docs(cert): add v0.4.0-alpha certification report Benchmarks #11: Commit f29dfef pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s
docs: add design for negation support in probabilistic programs Benchmarks #10: Commit b090c4c pushed by levi770
1d 0h 0m 2s main
main
1d 0h 0m 2s