Skip to content

Actions: dafny-lang/libraries

Actions

Dafny Core verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Remove Dafny trigger warnings Dafny Core verification #856: Pull request #160 synchronize by seebees
October 4, 2024 23:42 9m 18s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:42 9m 18s
chore: Remove Dafny trigger warnings Dafny Core verification #855: Pull request #160 synchronize by seebees
October 4, 2024 23:23 9m 52s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:23 9m 52s
chore: Remove Dafny trigger warnings Dafny Core verification #854: Pull request #160 synchronize by seebees
October 3, 2024 20:03 9m 14s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 20:03 9m 14s
chore: Remove Dafny trigger warnings Dafny Core verification #853: Pull request #160 synchronize by seebees
October 3, 2024 19:48 9m 9s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 19:48 9m 9s
chore: Remove Dafny trigger warnings Dafny Core verification #852: Pull request #160 opened by seebees
October 3, 2024 15:58 15s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 15:58 15s
Added Dafny 4.8.0 in tests Dafny Core verification #851: Pull request #159 opened by MikaelMayer
August 30, 2024 16:30 8m 33s chore-dafny-4-8-0
chore-dafny-4-8-0
August 30, 2024 16:30 8m 33s
Remove warnings in forall Dafny Core verification #850: Pull request #158 synchronize by atomb
August 20, 2024 23:00 10m 9s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 23:00 10m 9s
Remove warnings in forall Dafny Core verification #849: Pull request #158 synchronize by atomb
August 20, 2024 22:43 9m 14s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 22:43 9m 14s
Remove warnings in forall Dafny Core verification #848: Pull request #158 synchronize by atomb
August 20, 2024 21:36 9m 10s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:36 9m 10s
Remove warnings in forall Dafny Core verification #847: Pull request #158 synchronize by atomb
August 20, 2024 21:18 8m 21s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:18 8m 21s
Remove warnings in forall Dafny Core verification #846: Pull request #158 synchronize by atomb
August 20, 2024 21:13 6m 0s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:13 6m 0s
Remove warnings in forall Dafny Core verification #845: Pull request #158 opened by seebees
August 5, 2024 22:05 9m 22s seebees:fix-forall-warning
seebees:fix-forall-warning
August 5, 2024 22:05 9m 22s
WIP: Enumerator<T> trait Dafny Core verification #844: Pull request #37 synchronize by robin-aws
February 22, 2024 23:03 9m 25s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 23:03 9m 25s
WIP: Enumerator<T> trait Dafny Core verification #843: Pull request #37 synchronize by robin-aws
February 22, 2024 03:47 9m 2s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 03:47 9m 2s
WIP: Enumerator<T> trait Dafny Core verification #842: Pull request #37 synchronize by robin-aws
February 21, 2024 18:35 9m 13s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 21, 2024 18:35 9m 13s
WIP: Enumerator<T> trait Dafny Core verification #841: Pull request #37 synchronize by robin-aws
February 17, 2024 18:48 8m 55s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 17, 2024 18:48 8m 55s
Compatibility with Dafny 4.3, 4.4, and newer Dafny Core verification #840: Pull request #156 opened by atomb
January 25, 2024 23:39 8m 5s atomb:dafny-4.3-4.4
atomb:dafny-4.3-4.4
January 25, 2024 23:39 8m 5s
fix: Add missing type characteristics Dafny Core verification #839: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:37 10m 31s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:37 10m 31s
fix: Add missing type characteristics Dafny Core verification #838: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:27 9m 51s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:27 9m 51s
WIP: Enumerator<T> trait Dafny Core verification #837: Pull request #37 synchronize by robin-aws
January 15, 2024 23:00 8m 53s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
January 15, 2024 23:00 8m 53s
Mark repository as deprecated Dafny Core verification #836: Pull request #155 opened by robin-aws
January 9, 2024 22:24 10m 6s robin-aws-deprecation
robin-aws-deprecation
January 9, 2024 22:24 10m 6s
fix: Add missing type characteristics Dafny Core verification #835: Pull request #154 synchronize by RustanLeino
January 3, 2024 21:11 10m 3s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 21:11 10m 3s
fix: Add missing type characteristics Dafny Core verification #834: Pull request #154 opened by RustanLeino
January 3, 2024 20:14 9m 26s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 20:14 9m 26s
Verified and easy-to-use parser combinators Dafny Core verification #833: Pull request #64 synchronize by MikaelMayer
December 13, 2023 18:38 9m 21s parser-combinators-library
parser-combinators-library
December 13, 2023 18:38 9m 21s
Verified and easy-to-use parser combinators Dafny Core verification #832: Pull request #64 synchronize by MikaelMayer
December 13, 2023 18:37 1m 50s parser-combinators-library
parser-combinators-library
December 13, 2023 18:37 1m 50s