Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
326 workflow run results
326 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fisher-Yates: Equivalence proof Audit #580: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 37s equivalence
equivalence
February 1, 2024 17:18 37s
Fisher-Yates: Equivalence proof Audit #579: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 34s equivalence
equivalence
February 1, 2024 16:06 34s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #578: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 37s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 37s
Fisher-Yates: Equivalence proof Audit #577: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 39s equivalence
equivalence
February 1, 2024 15:54 39s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #576: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 3s
Fisher-Yates: Equivalence proof Audit #575: Pull request #142 opened by stefan-aws
February 1, 2024 15:10 4m 40s equivalence
equivalence
February 1, 2024 15:10 4m 40s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #574: Pull request #141 synchronize by stefan-aws
February 1, 2024 12:54 35s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 12:54 35s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #573: Pull request #141 synchronize by stefan-aws
January 31, 2024 17:25 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 17:25 36s
Prove independence of BernoulliExpNeg.SampleLe1 (#139) Audit #572: Commit f616573 pushed by stefan-aws
January 31, 2024 17:25 35s main
main
January 31, 2024 17:25 35s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #571: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:23 33s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:23 33s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #570: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 36s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #569: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 32s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 32s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #568: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:17 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:17 36s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #567: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:10 38s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:10 38s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #566: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:17 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:17 36s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #565: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:09 40s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:09 40s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #564: Pull request #141 synchronize by stefan-aws
January 30, 2024 17:40 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 17:40 36s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #563: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:57 35s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:57 35s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #562: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:00 36s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:00 36s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #561: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:21 38s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:21 38s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #560: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:13 35s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:13 35s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #559: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:03 1m 43s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:03 1m 43s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #558: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:51 8m 10s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:51 8m 10s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #557: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:04 34s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:04 34s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #556: Pull request #141 synchronize by stefan-aws
January 30, 2024 13:32 33s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 13:32 33s