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,266 workflow runs
4,266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve error message locations for function calls and call arguments Build and Test Dafny Standard Libraries #4323: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 13m 11s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 13m 11s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4322: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 10m 56s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 10m 56s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Standard Libraries #4321: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 14m 10s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 14m 10s
Regression fix can call Build and Test Dafny Standard Libraries #4320: Pull request #6041 synchronize by typerSniper
January 11, 2025 04:31 14m 31s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 11, 2025 04:31 14m 31s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4319: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 04:01 14m 23s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 04:01 14m 23s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4318: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:58 16m 34s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:58 16m 34s
Fix: Explicit assertions no longer considered implicit for code actions Build and Test Dafny Standard Libraries #4317: Pull request #6030 synchronize by MikaelMayer
January 11, 2025 03:38 26m 29s fix-6025-assert-code-action
fix-6025-assert-code-action
January 11, 2025 03:38 26m 29s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4316: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 22m 50s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 22m 50s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4315: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 22m 18s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 22m 18s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Standard Libraries #4314: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 13m 2s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 13m 2s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4313: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 28m 54s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 28m 54s
Feat: Ensure Dafny chars support the Copy trait Build and Test Dafny Standard Libraries #4312: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 25m 43s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 25m 43s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4311: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 19m 15s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 19m 15s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4310: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 13m 48s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 13m 48s
Avoid name clashes with Default method Build and Test Dafny Standard Libraries #4309: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 15m 5s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 15m 5s
Add links to public Zulip channel from Github and Dafny web sites. Build and Test Dafny Standard Libraries #4308: Pull request #6039 synchronize by olivier-aws
January 10, 2025 23:32 58m 55s olivier-aws:zulip
olivier-aws:zulip
January 10, 2025 23:32 58m 55s
Chore: Update documentation about arrow types Build and Test Dafny Standard Libraries #4307: Pull request #4521 synchronize by MikaelMayer
January 10, 2025 23:08 35m 5s chore-fix-documentation-arrow-types
chore-fix-documentation-arrow-types
January 10, 2025 23:08 35m 5s
Chore: Fine-tuning verification and compilation performance Build and Test Dafny Standard Libraries #4306: Pull request #5028 synchronize by MikaelMayer
January 10, 2025 23:08 32m 18s chore-performance-optimization
chore-performance-optimization
January 10, 2025 23:08 32m 18s
Chore: Make snapshots to work on Windows Build and Test Dafny Standard Libraries #4305: Pull request #6005 synchronize by MikaelMayer
January 10, 2025 23:08 26m 41s chore-make-snapshots-windows
chore-make-snapshots-windows
January 10, 2025 23:08 26m 41s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4304: Pull request #6040 synchronize by MikaelMayer
January 10, 2025 23:07 20m 43s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 10, 2025 23:07 20m 43s
Feat: Ensure Dafny chars support the Copy trait Build and Test Dafny Standard Libraries #4303: Pull request #6033 synchronize by MikaelMayer
January 10, 2025 23:07 17m 36s feat-rust-char-copy
feat-rust-char-copy
January 10, 2025 23:07 17m 36s
Fix: Explicit assertions no longer considered implicit for code actions Build and Test Dafny Standard Libraries #4302: Pull request #6030 synchronize by MikaelMayer
January 10, 2025 23:06 17m 56s fix-6025-assert-code-action
fix-6025-assert-code-action
January 10, 2025 23:06 17m 56s
Regression fix can call Build and Test Dafny Standard Libraries #4301: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:06 1h 10m 57s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 23:06 1h 10m 57s
Regression fix can call Build and Test Dafny Standard Libraries #4300: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:05 15m 37s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 23:05 15m 37s
Regression fix can call Build and Test Dafny Standard Libraries #4299: Pull request #6041 synchronize by typerSniper
January 10, 2025 22:47 16m 15s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 22:47 16m 15s