Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
216 workflow run results
216 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fisher-Yates: Equivalence proof Check formatting #551: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 15s equivalence
equivalence
February 1, 2024 17:18 15s
Fisher-Yates: Equivalence proof Check formatting #550: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 17s equivalence
equivalence
February 1, 2024 16:06 17s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #549: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 17s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 17s
Fisher-Yates: Equivalence proof Check formatting #548: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 19s equivalence
equivalence
February 1, 2024 15:54 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #547: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 8s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 8s
Fisher-Yates: Equivalence proof Check formatting #546: Pull request #142 opened by stefan-aws
February 1, 2024 15:10 5m 23s equivalence
equivalence
February 1, 2024 15:10 5m 23s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #545: Pull request #141 synchronize by stefan-aws
February 1, 2024 12:54 17s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 12:54 17s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #544: Pull request #141 synchronize by stefan-aws
January 31, 2024 17:25 14s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 17:25 14s
Prove independence of BernoulliExpNeg.SampleLe1 (#139) Check formatting #543: Commit f616573 pushed by stefan-aws
January 31, 2024 17:25 14s main
main
January 31, 2024 17:25 14s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #542: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:23 15s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:23 15s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #541: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 19s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #540: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 15s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 15s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #539: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:17 14s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:17 14s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #538: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:10 15s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:10 15s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #537: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:17 17s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:17 17s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #536: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:09 18s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:09 18s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #535: Pull request #141 synchronize by stefan-aws
January 30, 2024 17:40 18s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 17:40 18s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #534: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:57 19s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:57 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #533: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:00 19s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:00 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #532: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:21 14s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:21 14s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #531: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:13 19s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:13 19s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #530: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:03 1m 53s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:03 1m 53s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #529: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:51 7m 4s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:51 7m 4s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #528: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:04 18s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:04 18s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #527: Pull request #141 synchronize by stefan-aws
January 30, 2024 13:32 14s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 13:32 14s