Skip to content

Actions: dafny-lang/dafny

Actions

Fuzzing on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compfuzzci_fuzz.yaml
1,064 workflow runs
1,064 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve error message locations for function calls and call arguments Fuzzing on PR #1064: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 13s
January 11, 2025 09:14 13s
Remove function-context-height variable in Boogie encoding Fuzzing on PR #1063: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 11s
January 11, 2025 07:28 11s
fix: Forbid recursive function uses in decreases clauses Fuzzing on PR #1062: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 9s
January 11, 2025 05:29 9s
Regression fix can call Fuzzing on PR #1061: Pull request #6041 synchronize by typerSniper
January 11, 2025 04:31 2s
January 11, 2025 04:31 2s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1060: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 04:01 12s
January 11, 2025 04:01 12s
Feat code actions forall calc Fuzzing on PR #1059: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:58 10s
January 11, 2025 03:58 10s
Fix: Explicit assertions no longer considered implicit for code actions Fuzzing on PR #1058: Pull request #6030 synchronize by MikaelMayer
January 11, 2025 03:38 2m 29s
January 11, 2025 03:38 2m 29s
Feat code actions forall calc Fuzzing on PR #1057: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 10s
January 11, 2025 03:37 10s
Feat code actions forall calc Fuzzing on PR #1056: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 13s
January 11, 2025 03:02 13s
fix: Forbid recursive function uses in decreases clauses Fuzzing on PR #1055: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 13s
January 11, 2025 02:35 13s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1054: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 1m 47s
January 11, 2025 00:55 1m 47s
Feat: Ensure Dafny chars support the Copy trait Fuzzing on PR #1053: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 32s
January 11, 2025 00:49 32s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1052: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 59s
January 11, 2025 00:47 59s
Feat code actions forall calc Fuzzing on PR #1051: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 13s
January 11, 2025 00:44 13s
Avoid name clashes with Default method Fuzzing on PR #1050: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 1s
January 11, 2025 00:29 1s
Add links to public Zulip channel from Github and Dafny web sites. Fuzzing on PR #1049: Pull request #6039 synchronize by olivier-aws
January 10, 2025 23:32 2s
January 10, 2025 23:32 2s
Chore: Update documentation about arrow types Fuzzing on PR #1048: Pull request #4521 synchronize by MikaelMayer
January 10, 2025 23:08 1m 56s
January 10, 2025 23:08 1m 56s
Chore: Fine-tuning verification and compilation performance Fuzzing on PR #1047: Pull request #5028 synchronize by MikaelMayer
January 10, 2025 23:08 1m 34s
January 10, 2025 23:08 1m 34s
Chore: Make snapshots to work on Windows Fuzzing on PR #1046: Pull request #6005 synchronize by MikaelMayer
January 10, 2025 23:08 1m 44s
January 10, 2025 23:08 1m 44s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1045: Pull request #6040 synchronize by MikaelMayer
January 10, 2025 23:07 1m 22s
January 10, 2025 23:07 1m 22s
Feat: Ensure Dafny chars support the Copy trait Fuzzing on PR #1044: Pull request #6033 synchronize by MikaelMayer
January 10, 2025 23:07 1m 28s
January 10, 2025 23:07 1m 28s
Fix: Explicit assertions no longer considered implicit for code actions Fuzzing on PR #1043: Pull request #6030 synchronize by MikaelMayer
January 10, 2025 23:06 10s
January 10, 2025 23:06 10s
Regression fix can call Fuzzing on PR #1042: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:06 4s
January 10, 2025 23:06 4s
Regression fix can call Fuzzing on PR #1041: Pull request #6041 synchronize by typerSniper
January 10, 2025 23:05 2s
January 10, 2025 23:05 2s
Regression fix can call Fuzzing on PR #1040: Pull request #6041 synchronize by typerSniper
January 10, 2025 22:47 2s
January 10, 2025 22:47 2s