Build Book

Workflow runs for Build Book

• Challenge 13: safety of CStr

  completed successfully:
  Build Book#3124:Pull request#638synchronizebystefanzetzsche
  stefanzetzsche:cstr-challenge-13

  Oct 18, 20265m 0s
  More actions for workflow run 3124

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

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

  Oct 18, 20266m 59s
  More actions for workflow run 3123

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

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

  Oct 16, 20267m 15s
  More actions for workflow run 3122

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

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

  Oct 16, 20267m 0s
  More actions for workflow run 3121

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

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

  Oct 16, 20267m 14s
  More actions for workflow run 3120

• Challenge 22: Verify the safety of str iter functions

  completed successfully:
  Build Book#3119:Pull request#706synchronizebykasimte
  kasimte:merlin

  Oct 15, 20267m 12s
  More actions for workflow run 3119

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

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

  Oct 15, 202612m 43s
  More actions for workflow run 3118

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

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

  Oct 15, 20267m 31s
  More actions for workflow run 3117

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

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

  Oct 15, 202615m 23s
  More actions for workflow run 3116

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Build Book#3115:Pull request#729openedbyKieran-Hulsman
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Oct 15, 20269m 47s
  More actions for workflow run 3115

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

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

  Oct 15, 20264m 53s
  More actions for workflow run 3114

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

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

  Oct 15, 20267m 3s
  More actions for workflow run 3113

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

  completed successfully:
  Build Book#3112:Pull request#632synchronizebyv3risec
  v3risec:challenge-16-iter

  Oct 15, 20267m 19s
  More actions for workflow run 3112

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

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

  Oct 15, 20264m 38s
  More actions for workflow run 3111

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

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

  Oct 15, 202630m 55s
  More actions for workflow run 3110

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

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

  Oct 15, 202630m 45s
  More actions for workflow run 3109

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

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

  Oct 14, 202642m 2s
  More actions for workflow run 3108

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

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

  Oct 14, 202649m 21s
  More actions for workflow run 3107

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

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

  Oct 14, 202649m 20s
  More actions for workflow run 3106

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

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

  Oct 14, 202642m 11s
  More actions for workflow run 3105

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

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

  Oct 14, 202653m 34s
  More actions for workflow run 3104

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

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

  Oct 14, 202638m 55s
  More actions for workflow run 3103

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

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

  Oct 14, 202637m 44s
  More actions for workflow run 3102

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

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

  Oct 14, 202636m 19s
  More actions for workflow run 3101

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

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

  Oct 14, 202631m 53s
  More actions for workflow run 3100