Build Book

Workflow runs for Build Book

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

  completed successfully:
  Build Book#3185:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261h 21m 27s
  More actions for workflow run 3185

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

  completed successfully:
  Build Book#3184:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262h 46m 4s
  More actions for workflow run 3184

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

  completed successfully:
  Build Book#3183:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20261h 9m 30s
  More actions for workflow run 3183

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

  completed successfully:
  Build Book#3182:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202628m 40s
  More actions for workflow run 3182

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

  completed successfully:
  Build Book#3181:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202621m 3s
  More actions for workflow run 3181

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

  completed successfully:
  Build Book#3180:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20267m 17s
  More actions for workflow run 3180

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

  completed successfully:
  Build Book#3179:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20265m 27s
  More actions for workflow run 3179

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

  completed successfully:
  Build Book#3178:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20267m 14s
  More actions for workflow run 3178

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

  completed successfully:
  Build Book#3177:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20265m 0s
  More actions for workflow run 3177

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

  completed successfully:
  Build Book#3176:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20265m 11s
  More actions for workflow run 3176

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

  completed successfully:
  Build Book#3175:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20265m 41s
  More actions for workflow run 3175

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

  completed successfully:
  Build Book#3174:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20265m 13s
  More actions for workflow run 3174

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

  completed successfully:
  Build Book#3173:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202648m 44s
  More actions for workflow run 3173

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

  completed successfully:
  Build Book#3172:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 202616m 36s
  More actions for workflow run 3172

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

  completed successfully:
  Build Book#3171:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202619m 28s
  More actions for workflow run 3171

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

  completed successfully:
  Build Book#3170:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 202623m 6s
  More actions for workflow run 3170

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

  completed successfully:
  Build Book#3169:Pull request#742openedbypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202642m 41s
  More actions for workflow run 3169

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  Build Book#3168:Pull request#741synchronizebyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20264m 20s
  More actions for workflow run 3168

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  Build Book#3167:Pull request#741openedbyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20266m 55s
  More actions for workflow run 3167

• Challenge 21: Verify safety of StrSearcher with Kani

  completed successfully:
  Build Book#3166:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Oct 27, 20266m 59s
  More actions for workflow run 3166

• Challenge 20: Verify Char Searcher with Kani

  completed successfully:
  Build Book#3165:Pull request#620synchronizebyv3risec
  v3risec:challenge-20-char-searcher

  Oct 27, 20265m 38s
  More actions for workflow run 3165

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

  completed successfully:
  Build Book#3164:Pull request#740openedbyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 20267m 4s
  More actions for workflow run 3164

• Verify safety of slice functions (Challenge 17)

  completed successfully:
  Build Book#3163:Pull request#703synchronizebykasimte
  kasimte:ch17-slice

  Oct 26, 20266m 48s
  More actions for workflow run 3163

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

  completed successfully:
  Build Book#3162:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 26, 20266m 55s
  More actions for workflow run 3162

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

  completed successfully:
  Build Book#3161:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Oct 26, 20267m 21s
  More actions for workflow run 3161