Testable simd models

Workflow runs for Testable simd models

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#972:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 20262m 54s
  More actions for workflow run 972

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#971:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 202613m 6s
  More actions for workflow run 971

• New challenge: Safety and correctness of integer logarithms

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

  Oct 15, 20267m 11s
  More actions for workflow run 970

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#969:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 20264m 43s
  More actions for workflow run 969

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#968:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 20264m 2s
  More actions for workflow run 968

• Challenge 16: Verify safety of iterator adapter functions with Kani

  completed successfully:
  Testable simd models#967:Pull request#632synchronizebyv3risec
  v3risec:challenge-16-iter

  Oct 15, 20264m 39s
  More actions for workflow run 967

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#966:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 20264m 2s
  More actions for workflow run 966

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#965:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 202627m 38s
  More actions for workflow run 965

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#964:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 15, 202628m 18s
  More actions for workflow run 964

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#963:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202639m 50s
  More actions for workflow run 963

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#962:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202646m 22s
  More actions for workflow run 962

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#961:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202647m 12s
  More actions for workflow run 961

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#960:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202642m 0s
  More actions for workflow run 960

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#959:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202653m 4s
  More actions for workflow run 959

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#958:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202638m 50s
  More actions for workflow run 958

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#957:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202632m 55s
  More actions for workflow run 957

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#956:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202634m 23s
  More actions for workflow run 956

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#955:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202630m 48s
  More actions for workflow run 955

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#954:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202621m 54s
  More actions for workflow run 954

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#953:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202625m 9s
  More actions for workflow run 953

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#952:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 202627m 32s
  More actions for workflow run 952

• Verify safety of iterator adapter functions (Challenge 16)

  completed successfully:
  Testable simd models#951:Pull request#549synchronizebykasimte
  kasimte:challenge-16

  Oct 14, 202623m 21s
  More actions for workflow run 951

• Add bounded memory-safety harnesses for core::num::flt2dec (challenge #28)

  completed successfully:
  Testable simd models#950:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 14, 20264m 51s
  More actions for workflow run 950

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

  completed successfully:
  Testable simd models#949:Pull request#727synchronizebyfeliperodri
  sync-2026-10-11

  Oct 14, 20262m 46s
  More actions for workflow run 949

• Challenge 10: Verify memory safety of String functions with Kani

  completed successfully:
  Testable simd models#948:Pull request#702synchronizebyTalha-Dmr
  Talha-Dmr:challenge-10-string

  Oct 14, 20264m 45s
  More actions for workflow run 948