All workflows

Workflow runs

• add blacher fixture

  failed:
  Build and Test#346:Commitfd9e31apushedbydamageboy
  nextgen

  Jun 12, 202613s
  More actions for workflow run 346

• Document nextgen linear history rule

  failed:
  Build and Test#345:Commitffb7a4cpushedbydamageboy
  nextgen

  Jun 12, 202613s
  More actions for workflow run 345

• Include blacher solution from paper as reference

  failed:
  Build and Test#344:Commitb2a1a9epushedbydamageboy
  nextgen

  Jun 11, 202616s
  More actions for workflow run 344

• Lazily page retroactive input permutations

  failed:
  Build and Test#343:Commit4701e12pushedbydamageboy
  nextgen

  Jun 10, 202613s
  More actions for workflow run 343

• Unify vector state storage

  failed:
  Build and Test#342:Commitd65c4ccpushedbydamageboy
  nextgen

  Jun 9, 20261m 2s
  More actions for workflow run 342

• Improve wave engine scheduling and tracing

  failed:
  Build and Test#341:Commitd1c3b28pushedbydamageboy
  nextgen

  Jun 6, 202613s
  More actions for workflow run 341

• Reduce scoring table snapshot cloning

  failed:
  Build and Test#340:Commitcb44f0bpushedbydamageboy
  nextgen

  Jun 4, 202613s
  More actions for workflow run 340

• Vendor Z3 for Rust codegen

  failed:
  Build and Test#339:Commit1027031pushedbydamageboy
  nextgen

  Jun 4, 202616s
  More actions for workflow run 339

• Refactor solution storage and async scoring

  failed:
  Build and Test#338:Commitd951277pushedbydamageboy
  nextgen

  Jun 4, 202612s
  More actions for workflow run 338

• Add runtime observability logging for wave search and LLVM-MCA

  failed:
  Build and Test#337:Commita34bec5pushedbydamageboy
  nextgen

  Apr 9, 202615s
  More actions for workflow run 337

• Add runtime observability logging for wave search and LLVM-MCA

  failed:
  Build and Test#336:Commitc2a2888pushedbydamageboy
  nextgen

  Apr 9, 202614s
  More actions for workflow run 336

• Remove old plans

  failed:
  Build and Test#335:Commitb05d7aepushedbydamageboy
  nextgen

  Apr 6, 202613s
  More actions for workflow run 335

• Introduce textual as a UI layer for the solve command, allowing better

  failed:
  Build and Test#334:Commitcaea062pushedbydamageboy
  nextgen

  Apr 4, 202613s
  More actions for workflow run 334

• update .gitignore

  failed:
  Build and Test#333:Commit3535c06pushedbydamageboy
  nextgen

  Apr 4, 202611s
  More actions for workflow run 333

• feat: solver-aware canonicalization for Z3 AVX intrinsics

  failed:
  Build and Test#332:Commit4339c2fpushedbydamageboy
  nextgen

  Apr 3, 202614s
  More actions for workflow run 332

• fix: never skip stages in propagation loop

  failed:
  Build and Test#331:Commit9d5f18dpushedbydamageboy
  nextgen

  Mar 31, 202619s
  More actions for workflow run 331

• feat: select wave target by fewest outputs, tiebreak by success rate

  failed:
  Build and Test#330:Commitc159b2dpushedbydamageboy
  nextgen

  Mar 23, 202614s
  More actions for workflow run 330

• feat: depth-stratified gadget search with conditional depth-2 escalation

  failed:
  Build and Test#329:Commit6e9d692pushedbydamageboy
  nextgen

  Mar 15, 202613s
  More actions for workflow run 329

• feat: add --max-tasks-per-child flag and unify Pool usage for memory …

  failed:
  Build and Test#328:Commit836d627pushedbydamageboy
  nextgen

  Feb 25, 202620s
  More actions for workflow run 328

• fix: reduce Rich progress refresh rate to 1/s to eliminate flicker

  failed:
  Build and Test#327:Commitbdc392bpushedbydamageboy
  nextgen

  Feb 21, 202616s
  More actions for workflow run 327

• feat: eliminate vmovdqa copies in compare-swap via alternating regist…

  failed:
  Build and Test#326:Commit65e2408pushedbydamageboy
  nextgen

  Feb 21, 202613s
  More actions for workflow run 326

• Update CLAUDE.md

  failed:
  Build and Test#325:Commit38998e3pushedbydamageboy
  docs

  Feb 14, 202614s
  More actions for workflow run 325

• duplicate the imm8 preference logic to SolutionNode, so that it is al…

  failed:
  Build and Test#324:Commita5d800dpushedbydamageboy
  docs

  Feb 8, 202613s
  More actions for workflow run 324

• super-optimizer: allow dumpting .smt2 files, tracking construction ti…

  failed:
  Build and Test#323:Commitc062e91pushedbydamageboy
  docs

  Feb 7, 202612s
  More actions for workflow run 323

• Remove redundant file

  failed:
  Build and Test#322:Commit6d14142pushedbydamageboy
  docs

  Feb 5, 202611s
  More actions for workflow run 322