Skip to content

Actions: dafny-lang/dafny

Actions

Build DafnyRef.pdf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
refman.yml
4,488 workflow runs
4,488 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 DafnyRef.pdf #19287: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 2m 26s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 2m 26s
Remove function-context-height variable in Boogie encoding Build DafnyRef.pdf #19286: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 2m 46s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 2m 46s
fix: Forbid recursive function uses in decreases clauses Build DafnyRef.pdf #19285: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 2m 41s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 2m 41s
Regression fix can call Build DafnyRef.pdf #19284: Pull request #6041 synchronize by typerSniper
January 11, 2025 04:31 2m 39s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 11, 2025 04:31 2m 39s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19283: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 04:01 2m 41s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 04:01 2m 41s
Feat code actions forall calc Build DafnyRef.pdf #19282: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:58 2m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:58 2m 39s
Fix: Explicit assertions no longer considered implicit for code actions Build DafnyRef.pdf #19281: Pull request #6030 synchronize by MikaelMayer
January 11, 2025 03:38 9m 50s fix-6025-assert-code-action
fix-6025-assert-code-action
January 11, 2025 03:38 9m 50s
Feat code actions forall calc Build DafnyRef.pdf #19280: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 2m 43s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 2m 43s
Feat code actions forall calc Build DafnyRef.pdf #19279: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 2m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 2m 39s
fix: Forbid recursive function uses in decreases clauses Build DafnyRef.pdf #19278: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 2m 48s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 2m 48s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19277: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 8m 59s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 8m 59s
Feat: Ensure Dafny chars support the Copy trait Build DafnyRef.pdf #19276: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 5m 11s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 5m 11s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19275: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 4m 54s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 4m 54s
Feat code actions forall calc Build DafnyRef.pdf #19274: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 2m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 2m 39s
Avoid name clashes with Default method Build DafnyRef.pdf #19273: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 2m 59s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 2m 59s
Add links to public Zulip channel from Github and Dafny web sites. Build DafnyRef.pdf #19272: Pull request #6039 synchronize by olivier-aws
January 10, 2025 23:32 47m 24s olivier-aws:zulip
olivier-aws:zulip
January 10, 2025 23:32 47m 24s
Chore: Update documentation about arrow types Build DafnyRef.pdf #19271: Pull request #4521 synchronize by MikaelMayer
January 10, 2025 23:08 23m 7s chore-fix-documentation-arrow-types
chore-fix-documentation-arrow-types
January 10, 2025 23:08 23m 7s
Chore: Fine-tuning verification and compilation performance Build DafnyRef.pdf #19270: Pull request #5028 synchronize by MikaelMayer
January 10, 2025 23:08 22m 34s chore-performance-optimization
chore-performance-optimization
January 10, 2025 23:08 22m 34s
Chore: Make snapshots to work on Windows Build DafnyRef.pdf #19269: Pull request #6005 synchronize by MikaelMayer
January 10, 2025 23:08 14m 57s chore-make-snapshots-windows
chore-make-snapshots-windows
January 10, 2025 23:08 14m 57s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19268: Pull request #6040 synchronize by MikaelMayer
January 10, 2025 23:07 10m 10s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 10, 2025 23:07 10m 10s
Feat: Ensure Dafny chars support the Copy trait Build DafnyRef.pdf #19267: Pull request #6033 synchronize by MikaelMayer
January 10, 2025 23:07 6m 28s feat-rust-char-copy
feat-rust-char-copy
January 10, 2025 23:07 6m 28s
Fix: Explicit assertions no longer considered implicit for code actions Build DafnyRef.pdf #19266: Pull request #6030 synchronize by MikaelMayer
January 10, 2025 23:06 2m 48s fix-6025-assert-code-action
fix-6025-assert-code-action
January 10, 2025 23:06 2m 48s
Regression fix can call Build DafnyRef.pdf #19265: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:06 24m 28s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 23:06 24m 28s
Regression fix can call Build DafnyRef.pdf #19264: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:05 2m 54s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 23:05 2m 54s
Regression fix can call Build DafnyRef.pdf #19263: Pull request #6041 synchronize by typerSniper
January 10, 2025 22:47 3m 33s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 10, 2025 22:47 3m 33s