Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Standard Libraries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
standard-libraries.yml
4,309 workflow runs
4,309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Build and Test Dafny Standard Libraries #4366: Pull request #5653 synchronize by RustanLeino
January 16, 2025 20:34 10m 52s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 20:34 10m 52s
Use refresh resolver by default Build and Test Dafny Standard Libraries #4365: Pull request #5653 synchronize by RustanLeino
January 16, 2025 19:45 10m 13s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 19:45 10m 13s
Fix Rust tests via lit on osx Build and Test Dafny Standard Libraries #4364: Pull request #6057 opened by RustanLeino
January 16, 2025 19:26 20m 26s RustanLeino:lit-rust-changes
RustanLeino:lit-rust-changes
January 16, 2025 19:26 20m 26s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4363: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 18:55 16m 19s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 18:55 16m 19s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4362: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 17:43 17m 5s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 17:43 17m 5s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4361: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 16:56 15m 27s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 16:56 15m 27s
fix: remove deadlock from Sequence Build and Test Dafny Standard Libraries #4360: Pull request #6056 opened by ajewellamz
January 16, 2025 14:48 57m 22s ajewell/sync-fix
ajewell/sync-fix
January 16, 2025 14:48 57m 22s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4359: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 02:01 11m 41s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 02:01 11m 41s
Use refresh resolver by default Build and Test Dafny Standard Libraries #4358: Pull request #5653 synchronize by RustanLeino
January 16, 2025 01:33 10m 11s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 01:33 10m 11s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4357: Pull request #6046 synchronize by RustanLeino
January 15, 2025 22:36 20m 39s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 22:36 20m 39s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4356: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 22:18 13m 57s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 22:18 13m 57s
Removing check files now that the test is OK in all back-ends Build and Test Dafny Standard Libraries #4355: Pull request #6055 opened by olivier-aws
January 15, 2025 21:39 19m 13s olivier-aws:removing_check_files
olivier-aws:removing_check_files
January 15, 2025 21:39 19m 13s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Standard Libraries #4354: Pull request #6054 synchronize by olivier-aws
January 15, 2025 21:34 20m 5s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 21:34 20m 5s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Standard Libraries #4353: Pull request #6054 synchronize by olivier-aws
January 15, 2025 20:27 20m 58s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 20:27 20m 58s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4352: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:54 13m 30s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:54 13m 30s
Use refresh resolver by default Build and Test Dafny Standard Libraries #4351: Pull request #5653 synchronize by RustanLeino
January 15, 2025 19:20 19m 10s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 15, 2025 19:20 19m 10s
feat: Compute triggers for such-that operations Build and Test Dafny Standard Libraries #4350: Pull request #6023 synchronize by RustanLeino
January 15, 2025 19:15 19m 57s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 19:15 19m 57s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4349: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:11 17m 5s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:11 17m 5s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Standard Libraries #4348: Pull request #6054 synchronize by olivier-aws
January 15, 2025 17:43 18m 47s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 17:43 18m 47s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4347: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 17:24 10m 36s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 17:24 10m 36s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Standard Libraries #4346: Pull request #6054 opened by olivier-aws
January 15, 2025 17:06 18s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 17:06 18s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4345: Pull request #6044 synchronize by MikaelMayer
January 15, 2025 11:36 15m 16s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 15, 2025 11:36 15m 16s
feat: Compute triggers for such-that operations Build and Test Dafny Standard Libraries #4344: Pull request #6023 synchronize by RustanLeino
January 15, 2025 00:54 16m 14s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 00:54 16m 14s
feat: Compute triggers for such-that operations Build and Test Dafny Standard Libraries #4343: Pull request #6023 synchronize by RustanLeino
January 14, 2025 22:25 20m 41s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 14, 2025 22:25 20m 41s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4342: Pull request #6046 synchronize by RustanLeino
January 14, 2025 22:16 18m 9s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 14, 2025 22:16 18m 9s