Skip to content

Actions: dafny-lang/dafny

Actions

Build DafnyRef.pdf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
refman.yml
3,762 workflow runs
3,762 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Function alloc soundness fix Build DafnyRef.pdf #19339: Pull request #6018 synchronize by typerSniper
January 17, 2025 19:23 19s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
January 17, 2025 19:23 19s
Function alloc soundness fix Build DafnyRef.pdf #19338: Pull request #6018 synchronize by typerSniper
January 17, 2025 19:23 13s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
January 17, 2025 19:23 13s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19337: Pull request #6040 synchronize by MikaelMayer
January 17, 2025 18:54 13s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 17, 2025 18:54 13s
feat: Compute triggers for such-that operations Build DafnyRef.pdf #19336: Pull request #6023 synchronize by RustanLeino
January 17, 2025 18:48 16s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 17, 2025 18:48 16s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19335: Pull request #6042 synchronize by lucasmcdonald3
January 17, 2025 18:36 13s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 17, 2025 18:36 13s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19334: Pull request #6042 synchronize by lucasmcdonald3
January 17, 2025 18:35 15s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 17, 2025 18:35 15s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19333: Pull request #6042 synchronize by lucasmcdonald3
January 17, 2025 18:35 12s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 17, 2025 18:35 12s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19332: Pull request #6042 synchronize by lucasmcdonald3
January 17, 2025 18:34 43s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 17, 2025 18:34 43s
Avoid java compilation error when user code defines Get in a codatatype Build DafnyRef.pdf #19331: Pull request #6054 synchronize by olivier-aws
January 17, 2025 16:20 17s 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 17, 2025 16:20 17s
Use refresh resolver by default Build DafnyRef.pdf #19330: Pull request #5653 synchronize by RustanLeino
January 16, 2025 20:34 2m 48s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 20:34 2m 48s
Use refresh resolver by default Build DafnyRef.pdf #19329: Pull request #5653 synchronize by RustanLeino
January 16, 2025 19:45 2m 43s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 19:45 2m 43s
Fix Rust tests via lit on osx Build DafnyRef.pdf #19328: Pull request #6057 opened by RustanLeino
January 16, 2025 19:26 2m 43s RustanLeino:lit-rust-changes
RustanLeino:lit-rust-changes
January 16, 2025 19:26 2m 43s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19327: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 18:55 3m 0s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 18:55 3m 0s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19326: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 17:43 3m 8s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 17:43 3m 8s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19325: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 16:56 2m 36s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 16:56 2m 36s
fix: remove deadlock from Sequence Build DafnyRef.pdf #19324: Pull request #6056 opened by ajewellamz
January 16, 2025 14:48 4m 22s ajewell/sync-fix
ajewell/sync-fix
January 16, 2025 14:48 4m 22s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19323: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 02:01 2m 54s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 02:01 2m 54s
Use refresh resolver by default Build DafnyRef.pdf #19322: Pull request #5653 synchronize by RustanLeino
January 16, 2025 01:33 2m 34s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 01:33 2m 34s
Remove function-context-height variable in Boogie encoding Build DafnyRef.pdf #19321: Pull request #6046 synchronize by RustanLeino
January 15, 2025 22:36 2m 39s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 22:36 2m 39s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19320: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 22:18 2m 53s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 22:18 2m 53s
Removing check files now that the test is OK in all back-ends Build DafnyRef.pdf #19319: Pull request #6055 opened by olivier-aws
January 15, 2025 21:39 2m 48s olivier-aws:removing_check_files
olivier-aws:removing_check_files
January 15, 2025 21:39 2m 48s
Avoid java compilation error when user code defines Get in a codatatype Build DafnyRef.pdf #19318: Pull request #6054 synchronize by olivier-aws
January 15, 2025 21:34 2m 37s 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 2m 37s
Avoid java compilation error when user code defines Get in a codatatype Build DafnyRef.pdf #19317: Pull request #6054 synchronize by olivier-aws
January 15, 2025 20:27 2m 46s 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 2m 46s
Remove function-context-height variable in Boogie encoding Build DafnyRef.pdf #19316: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:54 2m 36s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:54 2m 36s
Use refresh resolver by default Build DafnyRef.pdf #19315: Pull request #5653 synchronize by RustanLeino
January 15, 2025 19:20 8m 29s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 15, 2025 19:20 8m 29s