Labelling new pull requests

Workflow runs for Labelling new pull requests

• Run every test program under ThreadSanitizer every night

  skipped:
  Labelling new pull requests#310:Pull request#137synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 310

• H3: a guide to migrating from 0.1 to 0.2

  skipped:
  Labelling new pull requests#309:Pull request#140synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 309

• Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2

  skipped:
  Labelling new pull requests#308:Pull request#135synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 308

• Build with Clang in CI and check the verifier with clang-tidy

  skipped:
  Labelling new pull requests#307:Pull request#131synchronizebySwayamInSync
  Oct 29, 202610s
  More actions for workflow run 307

• Run the cvc5 and Lean tests on macOS; pin CI installers

  skipped:
  Labelling new pull requests#306:Pull request#129synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 306

• Run every test program under ThreadSanitizer every night

  skipped:
  Labelling new pull requests#305:Pull request#137synchronizebySwayamInSync
  Oct 29, 20268s
  More actions for workflow run 305

• Run every test program under ThreadSanitizer every night

  skipped:
  Labelling new pull requests#304:Pull request#137synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 304

• H3: a guide to migrating from 0.1 to 0.2

  skipped:
  Labelling new pull requests#303:Pull request#140openedbySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 303

• Verify a compilation before generating its code, never beside it

  skipped:
  Labelling new pull requests#302:Pull request#138synchronizebySwayamInSync
  Oct 29, 202611s
  More actions for workflow run 302

• Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2

  skipped:
  Labelling new pull requests#301:Pull request#135synchronizebySwayamInSync
  Oct 29, 20262s
  More actions for workflow run 301

• Build with Clang in CI and check the verifier with clang-tidy

  skipped:
  Labelling new pull requests#300:Pull request#131synchronizebySwayamInSync
  Oct 29, 202611s
  More actions for workflow run 300

• Refute the attribution test through a check any Z3 refutes at once

  skipped:
  Labelling new pull requests#299:Pull request#139openedbySwayamInSync
  Oct 29, 20267s
  More actions for workflow run 299

• Verify a compilation before generating its code, never beside it

  skipped:
  Labelling new pull requests#298:Pull request#138openedbySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 298

• Run the verifier under ASan and UBSan every night; give the certifier fresh stacks

  skipped:
  Labelling new pull requests#297:Pull request#133synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 297

• Run the cvc5 and Lean tests on macOS; pin CI installers

  skipped:
  Labelling new pull requests#296:Pull request#129synchronizebySwayamInSync
  Oct 29, 202611s
  More actions for workflow run 296

• Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2

  skipped:
  Labelling new pull requests#295:Pull request#135synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 295

• Run every test program under ThreadSanitizer every night

  skipped:
  Labelling new pull requests#294:Pull request#137openedbySwayamInSync
  Oct 29, 202610s
  More actions for workflow run 294

• Lock every source lookup made while functions are verified at once

  skipped:
  Labelling new pull requests#293:Pull request#136openedbySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 293

• A25: warn where the facts about specs close a path the code alone reaches

  skipped:
  Labelling new pull requests#292:Pull request#122synchronizebySwayamInSync
  Oct 29, 20262s
  More actions for workflow run 292

• Run the verifier under ASan and UBSan every night; give the certifier fresh stacks

  skipped:
  Labelling new pull requests#291:Pull request#133synchronizebySwayamInSync
  Oct 29, 20268s
  More actions for workflow run 291

• Run the verifier under ASan and UBSan every night; give the certifier fresh stacks

  skipped:
  Labelling new pull requests#290:Pull request#133synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 290

• Run the cvc5 and Lean tests on macOS; pin CI installers

  skipped:
  Labelling new pull requests#289:Pull request#129synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 289

• Build with Clang in CI and check the verifier with clang-tidy

  skipped:
  Labelling new pull requests#288:Pull request#131synchronizebySwayamInSync
  Oct 29, 20262s
  More actions for workflow run 288

• Fuzz the archive reader, and fix the crash it found

  skipped:
  Labelling new pull requests#287:Pull request#130synchronizebySwayamInSync
  Oct 29, 20262s
  More actions for workflow run 287

• Run the verifier under ASan and UBSan every night; give the certifier fresh stacks

  skipped:
  Labelling new pull requests#286:Pull request#133synchronizebySwayamInSync
  Oct 29, 20261s
  More actions for workflow run 286