Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Runtimes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtime-tests.yml
5,576 workflow runs
5,576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix: Constant initialization in the Dafny-to-Rust code generator Build and Test Dafny Runtimes #8814: Pull request #5837 synchronize by MikaelMayer
October 17, 2024 15:22 5m 6s fix-5833-const-initialization
fix-5833-const-initialization
October 17, 2024 15:22 5m 6s
fix: Ignore values not in a multiset when computing its hash in C# Build and Test Dafny Runtimes #8813: Pull request #5497 synchronize by MikaelMayer
October 17, 2024 15:06 4m 57s fix_4011
fix_4011
October 17, 2024 15:06 4m 57s
feat: Compute matching patterns for automatic induction Build and Test Dafny Runtimes #8812: Pull request #5835 synchronize by RustanLeino
October 17, 2024 10:58 5m 17s RustanLeino:triggers-for-auto-induction
RustanLeino:triggers-for-auto-induction
October 17, 2024 10:58 5m 17s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8811: Pull request #5812 synchronize by fabiomadge
October 17, 2024 10:38 5m 17s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 17, 2024 10:38 5m 17s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8810: Pull request #5812 synchronize by fabiomadge
October 17, 2024 10:06 5m 19s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 17, 2024 10:06 5m 19s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8809: Pull request #5812 synchronize by fabiomadge
October 17, 2024 09:08 5m 15s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 17, 2024 09:08 5m 15s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8808: Pull request #5827 synchronize by keyboardDrummer
October 17, 2024 08:57 5m 22s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 17, 2024 08:57 5m 22s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8807: Pull request #5812 synchronize by fabiomadge
October 17, 2024 06:41 5m 34s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 17, 2024 06:41 5m 34s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8806: Pull request #5812 synchronize by fabiomadge
October 16, 2024 23:47 4m 45s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 23:47 4m 45s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8805: Pull request #5812 synchronize by fabiomadge
October 16, 2024 23:29 4m 53s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 23:29 4m 53s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8804: Pull request #5812 synchronize by fabiomadge
October 16, 2024 22:45 4m 56s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 22:45 4m 56s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8803: Pull request #5825 synchronize by MikaelMayer
October 16, 2024 20:57 4m 52s feat-at-attributes-1
feat-at-attributes-1
October 16, 2024 20:57 4m 52s
Fix: Constant initialization in the Dafny-to-Rust code generator Build and Test Dafny Runtimes #8802: Pull request #5837 synchronize by MikaelMayer
October 16, 2024 20:15 8m 29s fix-5833-const-initialization
fix-5833-const-initialization
October 16, 2024 20:15 8m 29s
Fix: Constant initialization in the Dafny-to-Rust code generator Build and Test Dafny Runtimes #8801: Pull request #5837 synchronize by MikaelMayer
October 16, 2024 20:14 4m 55s fix-5833-const-initialization
fix-5833-const-initialization
October 16, 2024 20:14 4m 55s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8800: Pull request #5825 synchronize by MikaelMayer
October 16, 2024 19:35 5m 11s feat-at-attributes-1
feat-at-attributes-1
October 16, 2024 19:35 5m 11s
Fix: Constant initialization in the Dafny-to-Rust code generator Build and Test Dafny Runtimes #8799: Pull request #5837 opened by MikaelMayer
October 16, 2024 19:15 2m 36s fix-5833-const-initialization
fix-5833-const-initialization
October 16, 2024 19:15 2m 36s
feat: Compute matching patterns for automatic induction Build and Test Dafny Runtimes #8798: Pull request #5835 synchronize by RustanLeino
October 16, 2024 15:32 3m 38s RustanLeino:triggers-for-auto-induction
RustanLeino:triggers-for-auto-induction
October 16, 2024 15:32 3m 38s
feat: Compute matching patterns for automatic induction Build and Test Dafny Runtimes #8797: Pull request #5835 opened by RustanLeino
October 16, 2024 15:19 3m 46s RustanLeino:triggers-for-auto-induction
RustanLeino:triggers-for-auto-induction
October 16, 2024 15:19 3m 46s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8796: Pull request #5812 synchronize by fabiomadge
October 16, 2024 13:09 5m 17s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 13:09 5m 17s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8795: Pull request #5812 synchronize by fabiomadge
October 16, 2024 12:02 5m 25s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 12:02 5m 25s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8794: Pull request #5812 synchronize by fabiomadge
October 16, 2024 12:01 46s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 12:01 46s
feat: Proof refactoring suggestions Build and Test Dafny Runtimes #8793: Pull request #5812 synchronize by fabiomadge
October 16, 2024 12:00 2m 9s fabiomadge:proof_refactoring_suggestions
fabiomadge:proof_refactoring_suggestions
October 16, 2024 12:00 2m 9s
Fix GoLang issue when module and datatype names collide Build and Test Dafny Runtimes #8792: Pull request #5824 synchronize by keyboardDrummer
October 16, 2024 09:17 5m 11s keyboardDrummer:renameImportsToAvoidNameCollision
keyboardDrummer:renameImportsToAvoidNameCollision
October 16, 2024 09:17 5m 11s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8791: Pull request #5827 synchronize by keyboardDrummer
October 16, 2024 09:11 5m 44s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 16, 2024 09:11 5m 44s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8790: Pull request #5827 synchronize by keyboardDrummer
October 16, 2024 08:56 10m 6s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 16, 2024 08:56 10m 6s