Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Verify proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.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 Verify proofs #681: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 58s equivalence
equivalence
February 1, 2024 17:18 58s
Fisher-Yates: Equivalence proof Verify proofs #680: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 57s equivalence
equivalence
February 1, 2024 16:06 57s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #679: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 54s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 54s
Fisher-Yates: Equivalence proof Verify proofs #678: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 1m 27s equivalence
equivalence
February 1, 2024 15:54 1m 27s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #677: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 55s
Fisher-Yates: Equivalence proof Verify proofs #676: Pull request #142 opened by stefan-aws
February 1, 2024 15:10 5m 46s equivalence
equivalence
February 1, 2024 15:10 5m 46s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #675: Pull request #141 synchronize by stefan-aws
February 1, 2024 12:54 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 12:54 55s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #674: Pull request #141 synchronize by stefan-aws
January 31, 2024 17:25 2m 2s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 17:25 2m 2s
Prove independence of BernoulliExpNeg.SampleLe1 (#139) Verify proofs #673: Commit f616573 pushed by stefan-aws
January 31, 2024 17:25 52s main
main
January 31, 2024 17:25 52s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #672: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:23 56s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:23 56s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #671: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 55s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #670: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 54s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 54s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #669: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:17 14m 46s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:17 14m 46s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #668: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:10 20m 31s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:10 20m 31s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #667: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:17 56s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:17 56s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #666: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:09 51s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:09 51s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #665: Pull request #141 synchronize by stefan-aws
January 30, 2024 17:40 1m 5s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 17:40 1m 5s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #664: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:57 1m 19s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:57 1m 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #663: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:00 10m 34s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:00 10m 34s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #662: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:21 1m 16s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:21 1m 16s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #661: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:13 1m 10s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:13 1m 10s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #660: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:03 1m 6s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:03 1m 6s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #659: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:51 7m 27s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:51 7m 27s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #658: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:04 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:04 55s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #657: Pull request #141 synchronize by stefan-aws
January 30, 2024 13:32 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 13:32 55s