Build and Test · Workflow runs · damageboy/vxsort-cpp · GitHub

Actions

Build and Test

Actions

Loading...
Loading

build-and-test.yml

16 workflow runs

16 workflow runs

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

Remove redundant file Build and Test #321: Commit bf58cbf pushed by damageboy

14s docs

docs

14s

after uxv pyrefly init Build and Test #320: Commit 2a269a4 pushed by damageboy

12s pyrefly-crash

pyrefly-crash

12s

after uxv pyrefly init Build and Test #319: Commit 2a269a4 pushed by damageboy

14s docs

docs

14s