Skip to content

Actions: dafny-lang/dafny

Actions

Fuzzing on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compfuzzci_fuzz.yaml
332 workflow runs
332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Speed up dafny verify by reducing memory pressure Fuzzing on PR #257: Pull request #5827 synchronize by keyboardDrummer
October 18, 2024 08:43 10s
October 18, 2024 08:43 10s
Feat: @-attributes on top-level declarations Fuzzing on PR #256: Pull request #5825 synchronize by MikaelMayer
October 17, 2024 21:40 11s
October 17, 2024 21:40 11s
Feat: @-attributes on top-level declarations Fuzzing on PR #255: Pull request #5825 synchronize by MikaelMayer
October 17, 2024 21:31 14s
October 17, 2024 21:31 14s
Speed up dafny verify by reducing memory pressure Fuzzing on PR #254: Pull request #5827 synchronize by keyboardDrummer
October 17, 2024 21:20 9s
October 17, 2024 21:20 9s
feat: Proof refactoring suggestions Fuzzing on PR #253: Pull request #5812 synchronize by fabiomadge
October 17, 2024 20:47 13s
October 17, 2024 20:47 13s
Feat: @-attributes on top-level declarations Fuzzing on PR #252: Pull request #5825 synchronize by MikaelMayer
October 17, 2024 18:10 12s
October 17, 2024 18:10 12s
Feat: @-attributes on top-level declarations Fuzzing on PR #251: Pull request #5825 synchronize by MikaelMayer
October 17, 2024 17:26 10s
October 17, 2024 17:26 10s
Fix: Constant initialization in the Dafny-to-Rust code generator Fuzzing on PR #250: Pull request #5837 synchronize by MikaelMayer
October 17, 2024 17:26 9s
October 17, 2024 17:26 9s
chore: apt-get update before apt-get install Fuzzing on PR #249: Pull request #5839 opened by fabiomadge
October 17, 2024 16:42 11s
October 17, 2024 16:42 11s
feat: Proof refactoring suggestions Fuzzing on PR #248: Pull request #5812 synchronize by fabiomadge
October 17, 2024 16:04 11s
October 17, 2024 16:04 11s
Feat: @-attributes on top-level declarations Fuzzing on PR #247: Pull request #5825 synchronize by MikaelMayer
October 17, 2024 15:51 12s
October 17, 2024 15:51 12s
Fix: Constant initialization in the Dafny-to-Rust code generator Fuzzing on PR #246: Pull request #5837 synchronize by MikaelMayer
October 17, 2024 15:22 10s
October 17, 2024 15:22 10s
fix: Ignore values not in a multiset when computing its hash in C# Fuzzing on PR #245: Pull request #5497 synchronize by MikaelMayer
October 17, 2024 15:06 11s
October 17, 2024 15:06 11s
feat: Compute matching patterns for automatic induction Fuzzing on PR #244: Pull request #5835 synchronize by RustanLeino
October 17, 2024 10:58 12s
October 17, 2024 10:58 12s
feat: Proof refactoring suggestions Fuzzing on PR #243: Pull request #5812 synchronize by fabiomadge
October 17, 2024 10:38 12s
October 17, 2024 10:38 12s
feat: Proof refactoring suggestions Fuzzing on PR #242: Pull request #5812 synchronize by fabiomadge
October 17, 2024 10:06 11s
October 17, 2024 10:06 11s
feat: Proof refactoring suggestions Fuzzing on PR #241: Pull request #5812 synchronize by fabiomadge
October 17, 2024 09:08 15s
October 17, 2024 09:08 15s
Speed up dafny verify by reducing memory pressure Fuzzing on PR #240: Pull request #5827 synchronize by keyboardDrummer
October 17, 2024 08:57 10s
October 17, 2024 08:57 10s
feat: Proof refactoring suggestions Fuzzing on PR #239: Pull request #5812 synchronize by fabiomadge
October 17, 2024 06:41 16s
October 17, 2024 06:41 16s
feat: Proof refactoring suggestions Fuzzing on PR #238: Pull request #5812 synchronize by fabiomadge
October 16, 2024 23:47 10s
October 16, 2024 23:47 10s
feat: Proof refactoring suggestions Fuzzing on PR #237: Pull request #5812 synchronize by fabiomadge
October 16, 2024 23:29 12s
October 16, 2024 23:29 12s
feat: Proof refactoring suggestions Fuzzing on PR #236: Pull request #5812 synchronize by fabiomadge
October 16, 2024 22:45 14s
October 16, 2024 22:45 14s
Feat: @-attributes on top-level declarations Fuzzing on PR #235: Pull request #5825 synchronize by MikaelMayer
October 16, 2024 20:57 16s
October 16, 2024 20:57 16s
Fix: Constant initialization in the Dafny-to-Rust code generator Fuzzing on PR #234: Pull request #5837 synchronize by MikaelMayer
October 16, 2024 20:15 10s
October 16, 2024 20:15 10s
Fix: Constant initialization in the Dafny-to-Rust code generator Fuzzing on PR #233: Pull request #5837 synchronize by MikaelMayer
October 16, 2024 20:14 11s
October 16, 2024 20:14 11s