Testable simd models

Workflow runs for Testable simd models

• Challenge 8: Verify SmallSort with Kani

  completed successfully:
  Testable simd models#1092:Pull request#701synchronizebyv3risec
  v3risec:challenge-8-smallsort

  Nov 10, 202611m 7s
  More actions for workflow run 1092

• Challenge 8: bounded Kani proofs of SmallSort memory safety and sorting correctness, with helper contracts

  completed successfully:
  Testable simd models#1091:Pull request#752openedbyTiramisu-Cake
  Tiramisu-Cake:submission/ch8-smallsort

  Nov 10, 20263m 36s
  More actions for workflow run 1091

• Challenge 4: Verify memory safety of BTreeMap node module with Kani

  completed successfully:
  Testable simd models#1090:Pull request#684synchronizebyv3risec
  v3risec:challenge-4-btree

  Nov 10, 20264m 41s
  More actions for workflow run 1090

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  Testable simd models#1089:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Nov 10, 20263m 38s
  More actions for workflow run 1089

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  Testable simd models#1088:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Nov 10, 20262m 29s
  More actions for workflow run 1088

• Challenge 18: Verify Slice Iter safety with Kani

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

  Nov 10, 20263m 41s
  More actions for workflow run 1087

• Challenge 23: Verify Vec Part1 safety with Kani

  completed successfully:
  Testable simd models#1086:Pull request#598synchronizebyv3risec
  v3risec:challenge-23-vec-part1

  Nov 10, 20264m 2s
  More actions for workflow run 1086

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  Testable simd models#1085:Pull request#741synchronizebyv3risec
  v3risec:challenge-22-str-iter

  Nov 10, 20262m 35s
  More actions for workflow run 1085

• Challenge 30: Verify integer logarithm safety and correctness

  completed successfully:
  Testable simd models#1084:Pull request#749synchronizebyv3risec
  v3risec:challenge-30-integer

  Nov 10, 20264m 41s
  More actions for workflow run 1084

• Testable simd models

  completed successfully:
  Testable simd models#1083:Merge group checks requested
  Nov 9, 20262m 44s
  More actions for workflow run 1083

• Challenge 21: Verify safety of StrSearcher with Kani

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

  Nov 9, 20262m 40s
  More actions for workflow run 1082

• Challenge 30: Verify integer logarithm safety and correctness

  completed successfully:
  Testable simd models#1081:Pull request#749synchronizebyv3risec
  v3risec:challenge-30-integer

  Nov 9, 20264m 39s
  More actions for workflow run 1081

• Challenge 30: Verify integer logarithm safety and correctness

  completed successfully:
  Testable simd models#1080:Pull request#749synchronizebyv3risec
  v3risec:challenge-30-integer

  Nov 9, 20264m 41s
  More actions for workflow run 1080

• Testable simd models

  completed successfully:
  Testable simd models#1079:Merge group checks requested
  Nov 9, 20264m 38s
  More actions for workflow run 1079

• Challenge 30: Verify integer logarithm safety and correctness

  completed successfully:
  Testable simd models#1078:Pull request#749synchronizebyv3risec
  v3risec:challenge-30-integer

  Nov 9, 20264m 39s
  More actions for workflow run 1078

• Testable simd models

  completed successfully:
  Testable simd models#1077:Merge group checks requested
  Nov 9, 20264m 39s
  More actions for workflow run 1077

• Challenge 30: Safety and Correctness of Integer Logarithms

  completed successfully:
  Testable simd models#1076:Pull request#750openedbyKieran-Hulsman
  Kieran-Hulsman:kieran/integer-logarithms

  Nov 8, 20264m 37s
  More actions for workflow run 1076

• Challenge 30: Verify integer logarithm safety and correctness

  completed successfully:
  Testable simd models#1075:Pull request#749openedbyv3risec
  v3risec:challenge-30-integer

  Nov 8, 20264m 2s
  More actions for workflow run 1075

• New challenge: Verify the safety of BinaryHeap functions

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

  Nov 7, 20264m 4s
  More actions for workflow run 1074

• Testable simd models

  completed successfully:
  Testable simd models#1073:Merge group checks requested
  Nov 7, 20264m 41s
  More actions for workflow run 1073

• New challenge: Safety and correctness of integer logarithms (#729)

  completed successfully:
  Testable simd models#1072:Commit695dacbpushedbygithub-merge-queue[bot]Bot
  main

  Nov 7, 20262m 38s
  More actions for workflow run 1072

• Testable simd models

  completed successfully:
  Testable simd models#1071:Merge group checks requested
  Nov 7, 20263m 6s
  More actions for workflow run 1071

• New challenge: Safety and correctness of integer logarithms (#729)

  completed successfully:
  Testable simd models#1070:Commit695dacbpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-729-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 7, 20263m 23s
  More actions for workflow run 1070

• New challenge: Safety and correctness of integer logarithms

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

  Nov 7, 20262m 40s
  More actions for workflow run 1069

• New challenge: Verify the safety of BinaryHeap functions

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

  Nov 7, 20264m 35s
  More actions for workflow run 1068