Rust Tests

rustc.yml

1139 workflow runs

Run autoharness jobs only in the merge queue
completed successfully:
Rust Tests#3347:Pull request#738synchronizebyfeliperodri
Tianshu-Huang:ci-autoharness-merge-queue
Oct 30, 20265m 58s
Run autoharness jobs only in the merge queue
completed successfully:
Rust Tests#3346:Pull request#738synchronizebyfeliperodri
Tianshu-Huang:ci-autoharness-merge-queue
Oct 30, 20265m 25s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3345:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20262h 16m 17s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3344:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 28, 20262h 43m 43s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3343:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 28, 20261h 9m 52s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3342:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 202624m 52s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3341:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 202618m 7s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3340:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20266m 36s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3339:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20265m 20s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3338:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20264m 21s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3337:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 28, 20264m 43s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3336:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20264m 18s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
failed:
Rust Tests#3335:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 28, 20265m 22s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3334:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 28, 20267m 16s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3333:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 27, 202648m 10s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3332:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 27, 202615m 26s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3331:Pull request#742synchronizebypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 27, 202618m 7s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3330:Pull request#740synchronizebyhung1962003
hung1962003:challenge-20-char-searchers
Oct 27, 202619m 6s
Verify the safety of core::slice functions with VeriFast (Challenge 17)
completed successfully:
Rust Tests#3329:Pull request#742openedbypaulocsanz
paulocsanz:challenge17-verifast-slice
Oct 27, 202640m 9s
Challenge 22: Verify safety of str iter with Kani
failed:
Rust Tests#3328:Pull request#741synchronizebyv3risec
v3risec:challenge-22-str-iter
Oct 27, 20265m 26s
Challenge 22: Verify safety of str iter with Kani
failed:
Rust Tests#3327:Pull request#741openedbyv3risec
v3risec:challenge-22-str-iter
Oct 27, 20264m 8s
Challenge 21: Verify safety of StrSearcher with Kani
failed:
Rust Tests#3326:Pull request#621synchronizebyv3risec
v3risec:challenge-21-string-searcher
Oct 27, 20263m 33s
Challenge 20: Verify Char Searcher with Kani
completed successfully:
Rust Tests#3325:Pull request#620synchronizebyv3risec
v3risec:challenge-20-char-searcher
Oct 27, 20265m 43s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern
completed successfully:
Rust Tests#3324:Pull request#740openedbyhung1962003
hung1962003:challenge-20-char-searchers
Oct 27, 20265m 41s
Verify safety of slice functions (Challenge 17)
completed successfully:
Rust Tests#3323:Pull request#703synchronizebykasimte
kasimte:ch17-slice
Oct 26, 20265m 38s

Navigation Menu

Rust Tests

1139 workflow runs

Run autoharness jobs only in the merge queue

Run autoharness jobs only in the merge queue

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Challenge 22: Verify safety of str iter with Kani

Challenge 22: Verify safety of str iter with Kani

Challenge 21: Verify safety of StrSearcher with Kani

Challenge 20: Verify Char Searcher with Kani

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

Verify safety of `slice` functions (Challenge 17)

Workflow runs for Rust Tests

1139 workflow runs