Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Run Java tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_java.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 Run Java tests #673: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 2m 9s equivalence
equivalence
February 1, 2024 17:18 2m 9s
Fisher-Yates: Equivalence proof Run Java tests #672: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 39s equivalence
equivalence
February 1, 2024 16:06 39s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #671: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 2m 3s
Fisher-Yates: Equivalence proof Run Java tests #670: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 1m 1s equivalence
equivalence
February 1, 2024 15:54 1m 1s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #669: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 6m 5s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 6m 5s
Fisher-Yates: Equivalence proof Run Java tests #668: Pull request #142 opened by stefan-aws
February 1, 2024 15:10 5m 41s equivalence
equivalence
February 1, 2024 15:10 5m 41s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #667: Pull request #141 synchronize by stefan-aws
February 1, 2024 12:54 2m 7s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 12:54 2m 7s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #666: Pull request #141 synchronize by stefan-aws
January 31, 2024 17:25 2m 5s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 17:25 2m 5s
Prove independence of BernoulliExpNeg.SampleLe1 (#139) Run Java tests #665: Commit f616573 pushed by stefan-aws
January 31, 2024 17:25 2m 14s main
main
January 31, 2024 17:25 2m 14s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #664: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:23 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:23 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #663: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 2m 5s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 2m 5s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #662: Pull request #141 synchronize by stefan-aws
January 31, 2024 16:19 2m 6s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 16:19 2m 6s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #661: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:17 2m 9s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:17 2m 9s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #660: Pull request #141 synchronize by stefan-aws
January 31, 2024 14:10 2m 7s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 31, 2024 14:10 2m 7s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #659: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:17 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:17 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #658: Pull request #141 synchronize by stefan-aws
January 30, 2024 18:09 1m 59s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 18:09 1m 59s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #657: Pull request #141 synchronize by stefan-aws
January 30, 2024 17:40 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 17:40 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #656: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:57 2m 6s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:57 2m 6s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #655: Pull request #141 synchronize by stefan-aws
January 30, 2024 16:00 2m 10s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 16:00 2m 10s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #654: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:21 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:21 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #653: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:13 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:13 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #652: Pull request #141 synchronize by stefan-aws
January 30, 2024 15:03 3m 11s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 15:03 3m 11s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #651: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:51 9m 27s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:51 9m 27s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #650: Pull request #141 synchronize by stefan-aws
January 30, 2024 14:04 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 14:04 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #649: Pull request #141 synchronize by stefan-aws
January 30, 2024 13:32 2m 1s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
January 30, 2024 13:32 2m 1s