Skip to content

Actions: damageboy/vxsort-cpp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
add blacher fixture Build and Test #346: Commit fd9e31a pushed by damageboy
13s nextgen
nextgen
13s
Document nextgen linear history rule Build and Test #345: Commit ffb7a4c pushed by damageboy
13s nextgen
nextgen
13s
Include blacher solution from paper as reference Build and Test #344: Commit b2a1a9e pushed by damageboy
16s nextgen
nextgen
16s
Lazily page retroactive input permutations Build and Test #343: Commit 4701e12 pushed by damageboy
13s nextgen
nextgen
13s
Unify vector state storage Build and Test #342: Commit d65c4cc pushed by damageboy
1m 2s nextgen
nextgen
1m 2s
Improve wave engine scheduling and tracing Build and Test #341: Commit d1c3b28 pushed by damageboy
13s nextgen
nextgen
13s
Reduce scoring table snapshot cloning Build and Test #340: Commit cb44f0b pushed by damageboy
13s nextgen
nextgen
13s
Vendor Z3 for Rust codegen Build and Test #339: Commit 1027031 pushed by damageboy
16s nextgen
nextgen
16s
Refactor solution storage and async scoring Build and Test #338: Commit d951277 pushed by damageboy
12s nextgen
nextgen
12s
Add runtime observability logging for wave search and LLVM-MCA Build and Test #337: Commit a34bec5 pushed by damageboy
15s nextgen
nextgen
15s
Add runtime observability logging for wave search and LLVM-MCA Build and Test #336: Commit c2a2888 pushed by damageboy
14s nextgen
nextgen
14s
Remove old plans Build and Test #335: Commit b05d7ae pushed by damageboy
13s nextgen
nextgen
13s
Introduce textual as a UI layer for the solve command, allowing better Build and Test #334: Commit caea062 pushed by damageboy
13s nextgen
nextgen
13s
update .gitignore Build and Test #333: Commit 3535c06 pushed by damageboy
11s nextgen
nextgen
11s
feat: solver-aware canonicalization for Z3 AVX intrinsics Build and Test #332: Commit 4339c2f pushed by damageboy
14s nextgen
nextgen
14s
fix: never skip stages in propagation loop Build and Test #331: Commit 9d5f18d pushed by damageboy
19s nextgen
nextgen
19s
feat: select wave target by fewest outputs, tiebreak by success rate Build and Test #330: Commit c159b2d pushed by damageboy
14s nextgen
nextgen
14s
feat: depth-stratified gadget search with conditional depth-2 escalation Build and Test #329: Commit 6e9d692 pushed by damageboy
13s nextgen
nextgen
13s
feat: add --max-tasks-per-child flag and unify Pool usage for memory … Build and Test #328: Commit 836d627 pushed by damageboy
20s nextgen
nextgen
20s
fix: reduce Rich progress refresh rate to 1/s to eliminate flicker Build and Test #327: Commit bdc392b pushed by damageboy
16s nextgen
nextgen
16s
feat: eliminate vmovdqa copies in compare-swap via alternating regist… Build and Test #326: Commit 65e2408 pushed by damageboy
13s nextgen
nextgen
13s
Update CLAUDE.md Build and Test #325: Commit 38998e3 pushed by damageboy
14s docs
docs
14s
duplicate the imm8 preference logic to SolutionNode, so that it is al… Build and Test #324: Commit a5d800d pushed by damageboy
13s docs
docs
13s
super-optimizer: allow dumpting .smt2 files, tracking construction ti… Build and Test #323: Commit c062e91 pushed by damageboy
12s docs
docs
12s
Remove redundant file Build and Test #322: Commit 6d14142 pushed by damageboy
11s docs
docs
11s