RAPx

Workflow runs for RAPx

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

  completed successfully:
  RAPx#468:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261h 18m 56s
  More actions for workflow run 468

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

  completed successfully:
  RAPx#467:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262h 42m 52s
  More actions for workflow run 467

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

  completed successfully:
  RAPx#466:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20261h 6m 8s
  More actions for workflow run 466

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

  completed successfully:
  RAPx#465:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202623m 27s
  More actions for workflow run 465

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

  completed successfully:
  RAPx#464:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202615m 15s
  More actions for workflow run 464

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

  completed successfully:
  RAPx#463:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261m 46s
  More actions for workflow run 463

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

  completed successfully:
  RAPx#462:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 24s
  More actions for workflow run 462

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

  completed successfully:
  RAPx#461:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20264m 21s
  More actions for workflow run 461

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

  completed successfully:
  RAPx#460:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262m 43s
  More actions for workflow run 460

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

  completed successfully:
  RAPx#459:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 14s
  More actions for workflow run 459

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

  completed successfully:
  RAPx#458:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 18s
  More actions for workflow run 458

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

  completed successfully:
  RAPx#457:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262m 17s
  More actions for workflow run 457

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

  completed successfully:
  RAPx#456:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202646m 24s
  More actions for workflow run 456

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

  completed successfully:
  RAPx#455:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 202613m 12s
  More actions for workflow run 455

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

  completed successfully:
  RAPx#454:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202616m 41s
  More actions for workflow run 454

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

  completed successfully:
  RAPx#453:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

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

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

  completed successfully:
  RAPx#452:Pull request#742openedbypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202638m 4s
  More actions for workflow run 452

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  RAPx#451:Pull request#741synchronizebyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20262m 12s
  More actions for workflow run 451

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  RAPx#450:Pull request#741openedbyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20261m 49s
  More actions for workflow run 450

• Challenge 21: Verify safety of StrSearcher with Kani

  completed successfully:
  RAPx#449:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Oct 27, 20262m 14s
  More actions for workflow run 449

• Challenge 20: Verify Char Searcher with Kani

  completed successfully:
  RAPx#448:Pull request#620synchronizebyv3risec
  v3risec:challenge-20-char-searcher

  Oct 27, 20262m 17s
  More actions for workflow run 448

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

  completed successfully:
  RAPx#447:Pull request#740openedbyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 20261m 56s
  More actions for workflow run 447

• Verify safety of slice functions (Challenge 17)

  completed successfully:
  RAPx#446:Pull request#703synchronizebykasimte
  kasimte:ch17-slice

  Oct 26, 20262m 22s
  More actions for workflow run 446

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

  completed successfully:
  RAPx#445:Pull request#601synchronizebyMavenRain
  MavenRain:verify-flt2dec-challenge-28

  Oct 26, 20261m 56s
  More actions for workflow run 445

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

  completed successfully:
  RAPx#444:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Oct 26, 20261m 55s
  More actions for workflow run 444