Testable simd models

Workflow runs for Testable simd models

• 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

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

  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

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

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

  Oct 28, 202625m 41s
  More actions for workflow run 1037

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

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

  Oct 28, 202617m 56s
  More actions for workflow run 1036

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

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

  Oct 28, 20264m 37s
  More actions for workflow run 1035

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

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

  Oct 28, 20264m 1s
  More actions for workflow run 1034

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

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

  Oct 28, 20264m 37s
  More actions for workflow run 1033

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

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

  Oct 28, 20264m 1s
  More actions for workflow run 1032

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

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

  Oct 28, 20262m 28s
  More actions for workflow run 1031

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

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

  Oct 28, 20264m 39s
  More actions for workflow run 1030

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

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

  Oct 28, 20264m 2s
  More actions for workflow run 1029

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

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

  Oct 27, 202648m 14s
  More actions for workflow run 1028

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

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

  Oct 27, 202615m 7s
  More actions for workflow run 1027

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

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

  Oct 27, 202618m 0s
  More actions for workflow run 1026

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

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

  Oct 27, 202619m 39s
  More actions for workflow run 1025

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

  completed successfully:
  Testable simd models#1024:Pull request#742openedbypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202640m 9s
  More actions for workflow run 1024

• Challenge 22: Verify safety of str iter with Kani

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

  Oct 27, 20264m 39s
  More actions for workflow run 1023

• Challenge 22: Verify safety of str iter with Kani

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

  Oct 27, 20262m 43s
  More actions for workflow run 1022

• Challenge 21: Verify safety of StrSearcher with Kani

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

  Oct 27, 20264m 37s
  More actions for workflow run 1021

• Challenge 20: Verify Char Searcher with Kani

  completed successfully:
  Testable simd models#1020:Pull request#620synchronizebyv3risec
  v3risec:challenge-20-char-searcher

  Oct 27, 20263m 27s
  More actions for workflow run 1020

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

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

  Oct 27, 20264m 1s
  More actions for workflow run 1019

• Verify safety of slice functions (Challenge 17)

  completed successfully:
  Testable simd models#1018:Pull request#703synchronizebykasimte
  kasimte:ch17-slice

  Oct 26, 20265m 32s
  More actions for workflow run 1018