Skip to content

Actions: dafny-lang/dafny

Actions

Updating CompFuzzCI on PR Closed

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compfuzzci_close_pr.yaml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix opaque block in conjunction with match statements Updating CompFuzzCI on PR Closed #35: Pull request #5785 closed by keyboardDrummer
September 20, 2024 12:45 2s keyboardDrummer:opaqueFix
keyboardDrummer:opaqueFix
September 20, 2024 12:45 2s
Make hide/reveal work for the old resolver Updating CompFuzzCI on PR Closed #34: Pull request #5780 closed by keyboardDrummer
September 19, 2024 17:43 3s keyboardDrummer:hideRevealOldTypeSystem
keyboardDrummer:hideRevealOldTypeSystem
September 19, 2024 17:43 3s
Add missing PreResolve plugin hook Updating CompFuzzCI on PR Closed #33: Pull request #5777 closed by keyboardDrummer
September 19, 2024 09:07 3s dschoepe:add-preresolve
dschoepe:add-preresolve
September 19, 2024 09:07 3s
Chore refactoring types Updating CompFuzzCI on PR Closed #32: Pull request #5782 closed by MikaelMayer
September 18, 2024 21:04 11s chore-refactoring-types
chore-refactoring-types
September 18, 2024 21:04 11s
feat: Misc Rust runtime improvements Updating CompFuzzCI on PR Closed #31: Pull request #5769 closed by MikaelMayer
September 17, 2024 20:56 9s alexchew/misc-rust-runtime-improvements
alexchew/misc-rust-runtime-improvements
September 17, 2024 20:56 9s
Fix: Factorization of all paths in the generated Rust AST Updating CompFuzzCI on PR Closed #30: Pull request #5757 closed by MikaelMayer
September 17, 2024 19:09 11s fix-5755-simplify-paths
fix-5755-simplify-paths
September 17, 2024 19:09 11s
Feat rust better optimization fix Updating CompFuzzCI on PR Closed #29: Pull request #5771 closed by MikaelMayer
September 16, 2024 20:01 11s feat-rust-better-optimization-fix
feat-rust-better-optimization-fix
September 16, 2024 20:01 11s
Feat: Add --rust-module-name to specify a module name Updating CompFuzzCI on PR Closed #28: Pull request #5747 closed by MikaelMayer
September 16, 2024 17:03 13s fix-5641-rust-module-name
fix-5641-rust-module-name
September 16, 2024 17:03 13s
Opaque block Updating CompFuzzCI on PR Closed #27: Pull request #5761 closed by keyboardDrummer
September 16, 2024 16:02 2s keyboardDrummer:opaqueBlock
keyboardDrummer:opaqueBlock
September 16, 2024 16:02 2s
Chore: Fixed non-deterministic with only one assumed timeout instead of two Updating CompFuzzCI on PR Closed #26: Pull request #5770 closed by keyboardDrummer
September 16, 2024 13:18 14s chore-flaky-5753-fix
chore-flaky-5753-fix
September 16, 2024 13:18 14s
Feat: Translate Dafny tests to Rust tests Updating CompFuzzCI on PR Closed #25: Pull request #5676 closed by MikaelMayer
September 12, 2024 22:28 10s feat-5666-cargo-test
feat-5666-cargo-test
September 12, 2024 22:28 10s
Fix a bug related to hide/reveal and recursive functions Updating CompFuzzCI on PR Closed #24: Pull request #5764 closed by keyboardDrummer
September 12, 2024 14:58 2s keyboardDrummer:revealRecursive
keyboardDrummer:revealRecursive
September 12, 2024 14:58 2s
Fuzzing on forks Updating CompFuzzCI on PR Closed #23: Pull request #5762 closed by keyboardDrummer
September 11, 2024 14:25 2s kbuaaaaaa:compfuzzci_fork_fuzzing
kbuaaaaaa:compfuzzci_fork_fuzzing
September 11, 2024 14:25 2s
Allow revealing using a static receiver Updating CompFuzzCI on PR Closed #22: Pull request #5760 closed by keyboardDrummer
September 10, 2024 16:48 3s keyboardDrummer:staticReveal
keyboardDrummer:staticReveal
September 10, 2024 16:48 3s
Chore: Increase Runtime coverage Updating CompFuzzCI on PR Closed #21: Pull request #5694 closed by MikaelMayer
September 10, 2024 14:26 11s chore-increase-coverage
chore-increase-coverage
September 10, 2024 14:26 11s
Feat rust exactboundedpool Updating CompFuzzCI on PR Closed #20: Pull request #5706 closed by MikaelMayer
September 9, 2024 14:03 1m 8s feat-rust-exactboundedpool
feat-rust-exactboundedpool
September 9, 2024 14:03 1m 8s
Fix: Support for double constant initialization in Dafny-to-Rust Updating CompFuzzCI on PR Closed #19: Pull request #5667 closed by MikaelMayer
September 6, 2024 19:53 13s fix-5642-second-const
fix-5642-second-const
September 6, 2024 19:53 13s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Updating CompFuzzCI on PR Closed #18: Pull request #5668 closed by MikaelMayer
September 6, 2024 19:12 9s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
September 6, 2024 19:12 9s
Chore: Removal of debug line for better mergeability Updating CompFuzzCI on PR Closed #17: Pull request #5750 closed by MikaelMayer
September 6, 2024 15:17 11s chore-no-line-debug
chore-no-line-debug
September 6, 2024 15:17 11s
fix: Correct null-related checking of type bounds, and add axioms Updating CompFuzzCI on PR Closed #16: Pull request #5738 closed by RustanLeino
September 5, 2024 22:00 2s RustanLeino:issue-5719
RustanLeino:issue-5719
September 5, 2024 22:00 2s
fix: Fix various type-system-refresh issues Updating CompFuzzCI on PR Closed #15: Pull request #5712 closed by RustanLeino
September 5, 2024 20:09 2s RustanLeino:refresh-fixes
RustanLeino:refresh-fixes
September 5, 2024 20:09 2s
Fix: Support for enumerating datatypes in the Rust backend Updating CompFuzzCI on PR Closed #14: Pull request #5670 closed by MikaelMayer
September 5, 2024 17:17 13s fix-5643-support-for-enumerating-finite-datatypes-rust
fix-5643-support-for-enumerating-finite-datatypes-rust
September 5, 2024 17:17 13s
Chore: Use of concurrentbag instead of list for LSP trees Updating CompFuzzCI on PR Closed #13: Pull request #5745 closed by MikaelMayer
September 5, 2024 10:50 10s chore-concurrency-lsp-fix
chore-concurrency-lsp-fix
September 5, 2024 10:50 10s
For function postcondition violations, point to the problematic expression branch Updating CompFuzzCI on PR Closed #12: Pull request #5681 closed by keyboardDrummer
September 4, 2024 17:59 2s keyboardDrummer:testRemovingAdaptBoxAndResultDescription
keyboardDrummer:testRemovingAdaptBoxAndResultDescription
September 4, 2024 17:59 2s
Feat rust externs subsets eta names tests Updating CompFuzzCI on PR Closed #11: Pull request #5613 closed by MikaelMayer
September 4, 2024 15:33 10s feat-rust-externs-subsets-eta-names-tests
feat-rust-externs-subsets-eta-names-tests
September 4, 2024 15:33 10s