.github/workflows/docs.yml

Workflow runs for .github/workflows/docs.yml

• Merge pull request #336 from coord-e/dependabot/cargo/syn-3.0.7

  completed successfully:
  .github/workflows/docs.yml#179:Commit187a1e9pushedbycoord-e
  main

  Oct 13, 20261m 36s
  More actions for workflow run 179

• Merge pull request #332 from coord-e/claude/gifted-bohr-2ne9df

  completed successfully:
  .github/workflows/docs.yml#178:Commit3a8131cpushedbycoord-e
  main

  Oct 13, 20261m 0s
  More actions for workflow run 178

• Adjust field indices past .. in spec parameter patterns (#326)

  completed successfully:
  .github/workflows/docs.yml#177:Commitb2194d8pushedbycoord-e
  main

  Oct 13, 202650s
  More actions for workflow run 177

• Borrow a pointer-typed field itself when replacing it (#324)

  completed successfully:
  .github/workflows/docs.yml#176:Commit47e432epushedbycoord-e
  main

  Oct 6, 202646s
  More actions for workflow run 176

• Keep bounds-check temporaries that are still read after slice index r…

  completed successfully:
  .github/workflows/docs.yml#175:Commit5d28df6pushedbycoord-e
  main

  Oct 4, 202643s
  More actions for workflow run 175

• Give enums nested in a body, impl, or closure a unique SMT-safe datat…

  completed successfully:
  .github/workflows/docs.yml#174:Commit55a0565pushedbycoord-e
  main

  Oct 4, 202644s
  More actions for workflow run 174

• Remove unstable slice_split_first_mut_loop.rs cases for now (#321)

  completed successfully:
  .github/workflows/docs.yml#173:Commit81e69e5pushedbycoord-e
  main

  Oct 4, 202649s
  More actions for workflow run 173

• Add a BitVec model type (#318)

  completed successfully:
  .github/workflows/docs.yml#172:Commit67a1cc4pushedbycoord-e
  main

  Oct 3, 202641s
  More actions for workflow run 172

• Support array repeat expressions (Rvalue::Repeat) (#315)

  completed successfully:
  .github/workflows/docs.yml#171:Commit429c643pushedbycoord-e
  main

  Oct 2, 202648s
  More actions for workflow run 171

• Print negative integer constants as (- n) in SMT-LIB2 (#314)

  completed successfully:
  .github/workflows/docs.yml#170:Commit24e95f9pushedbycoord-e
  main

  Sep 30, 202653s
  More actions for workflow run 170

• Identify annotation quantified variables by a system-unique ID (#313)

  completed successfully:
  .github/workflows/docs.yml#169:Commit87fca3bpushedbycoord-e
  main

  Sep 30, 202652s
  More actions for workflow run 169

• Support associated consts (e.g. i64::MAX) in annotations (#296)

  completed successfully:
  .github/workflows/docs.yml#168:Commite112206pushedbycoord-e
  main

  Sep 28, 202653s
  More actions for workflow run 168

• Add test scope and comments guidance to AGENTS.md (#297)

  completed successfully:
  .github/workflows/docs.yml#167:Commit16f294dpushedbycoord-e
  main

  Sep 28, 202654s
  More actions for workflow run 167

• Keep spec quantifier binders from capturing clause variables (#295)

  completed successfully:
  .github/workflows/docs.yml#166:Commit7dc3264pushedbycoord-e
  main

  Sep 28, 202655s
  More actions for workflow run 166

• Bump thiserror from 2.0.20 to 2.0.21 (#292)

  completed successfully:
  .github/workflows/docs.yml#165:Commitafde3f8pushedbycoord-e
  main

  Sep 28, 202648s
  More actions for workflow run 165

• .github/workflows/docs.yml

  completed successfully:
  .github/workflows/docs.yml#164:bycoord-e
  main

  Sep 28, 202658s
  More actions for workflow run 164

• Rename CLAUDE.md to AGENTS.md (#290)

  completed successfully:
  .github/workflows/docs.yml#163:Commit9cc9c71pushedbycoord-e
  main

  Sep 28, 202649s
  More actions for workflow run 163

• Verify the absence of overflow in checked integer arithmetic (#280)

  completed successfully:
  .github/workflows/docs.yml#162:Commit4204213pushedbycoord-e
  main

  Sep 28, 202650s
  More actions for workflow run 162

• Lift bool-sorted terms in formula position of annotations (#288)

  completed successfully:
  .github/workflows/docs.yml#161:Commit422d759pushedbycoord-e
  main

  Sep 28, 202653s
  More actions for workflow run 161

• Keep visibility of #[thrust_macros::predicate] items (#284)

  completed successfully:
  .github/workflows/docs.yml#160:Commit6857b3dpushedbycoord-e
  main

  Sep 28, 202642s
  More actions for workflow run 160

• Update CLAUDE.md test setup to the prebuilt PCSat binary (#285)

  completed successfully:
  .github/workflows/docs.yml#159:Commit70808ccpushedbycoord-e
  main

  Sep 28, 202645s
  More actions for workflow run 159

• Represent integer terms with arbitrary precision (#279)

  completed successfully:
  .github/workflows/docs.yml#158:Commit51422adpushedbycoord-e
  main

  Sep 28, 202648s
  More actions for workflow run 158

• Support integer-to-integer casts (#278)

  completed successfully:
  .github/workflows/docs.yml#157:Commitff4f51apushedbycoord-e
  main

  Sep 24, 20261m 13s
  More actions for workflow run 157

• Merge pull request #276 from coord-e/claude/gallant-pasteur-2djvt2

  completed successfully:
  .github/workflows/docs.yml#156:Commit4a88a5epushedbycoord-e
  main

  Sep 24, 202650s
  More actions for workflow run 156

• Merge pull request #277 from coord-e/claude/uint-const-unsigned

  completed successfully:
  .github/workflows/docs.yml#155:Commit262fba6pushedbycoord-e
  main

  Sep 24, 202653s
  More actions for workflow run 155