Testable simd models

Workflow runs for Testable simd models

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Testable simd models#1062:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20264m 12s
  More actions for workflow run 1062

• Testable simd models

  completed successfully:
  Testable simd models#1061:Merge group checks requested
  Nov 3, 20268m 22s
  More actions for workflow run 1061

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Testable simd models#1060:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202627m 38s
  More actions for workflow run 1060

• Challenge 2: memory safety of raw-pointer intrinsics

  completed successfully:
  Testable simd models#1059:Pull request#649synchronizebystefanzetzsche
  stefanzetzsche:intrinsics-challenge-2

  Nov 3, 20264m 41s
  More actions for workflow run 1059

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Testable simd models#1058:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Nov 3, 20264m 41s
  More actions for workflow run 1058

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Testable simd models#1057:Pull request#747openedbyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202610m 38s
  More actions for workflow run 1057

• Merge subtree update for toolchain nightly-2026-10-23

  completed successfully:
  Testable simd models#1056:Pull request#745openedbygithub-actions[bot]Bot
  sync-2026-10-23

  Nov 3, 20266m 1s
  More actions for workflow run 1056

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  completed successfully:
  Testable simd models#1055:Pull request#683synchronizebyv3risec
  v3risec:challenge-7-atomic

  Nov 3, 20264m 38s
  More actions for workflow run 1055

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Testable simd models#1054:Pull request#744synchronizebyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 20263m 6s
  More actions for workflow run 1054

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Testable simd models#1053:Pull request#744openedbyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 20264m 40s
  More actions for workflow run 1053

• Challenge 21: Verify safety of StrSearcher with Kani

  completed successfully:
  Testable simd models#1052:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Nov 3, 20264m 0s
  More actions for workflow run 1052

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  completed successfully:
  Testable simd models#1051:Pull request#683synchronizebyv3risec
  v3risec:challenge-7-atomic

  Nov 3, 20264m 44s
  More actions for workflow run 1051

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Testable simd models#1050:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20264m 45s
  More actions for workflow run 1050

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Testable simd models#1049:Pull request#729synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 3, 20264m 40s
  More actions for workflow run 1049

• Testable simd models

  completed successfully:
  Testable simd models#1048:Merge group checks requested
  Nov 2, 20263m 40s
  More actions for workflow run 1048

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Testable simd models#1047:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20264m 46s
  More actions for workflow run 1047

• Testable simd models

  completed successfully:
  Testable simd models#1046:Merge group checks requested
  Nov 2, 20264m 42s
  More actions for workflow run 1046

• Run autoharness jobs only in the merge queue

  completed successfully:
  Testable simd models#1045:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Nov 2, 20262m 35s
  More actions for workflow run 1045

• Challenge 23: verify Vec mod.rs function safety with Kani

  completed successfully:
  Testable simd models#1044:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Nov 1, 20263m 7s
  More actions for workflow run 1044

• Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

  completed successfully:
  Testable simd models#1043:Pull request#722synchronizebykasimte
  kasimte:20-build-s2

  Oct 31, 20264m 1s
  More actions for workflow run 1043

• Run autoharness jobs only in the merge queue

  completed successfully:
  Testable simd models#1042:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 20264m 44s
  More actions for workflow run 1042

• Run autoharness jobs only in the merge queue

  completed successfully:
  Testable simd models#1041:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 20262m 48s
  More actions for workflow run 1041

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Testable simd models#1040:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261h 21m 42s
  More actions for workflow run 1040

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Testable simd models#1039:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262h 45m 26s
  More actions for workflow run 1039

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Testable simd models#1038:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20261h 4m 59s
  More actions for workflow run 1038