Skip to content

Actions: dafny-lang/dafny

Actions

Issue Update for Fuzzer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compfuzzci_process_issues.yaml
211 workflow runs
211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test runner generator produces malformed Java code Issue Update for Fuzzer #211: Issue #5982 opened by ssomayyajula
December 13, 2024 19:02 13s
December 13, 2024 19:02 13s
General newtypes not supporting equality in a sound way Issue Update for Fuzzer #210: Issue #5978 opened by MikaelMayer
December 12, 2024 16:49 18s
December 12, 2024 16:49 18s
Soundness issue: Map's range not inferred to require equality for datatype to support equality Issue Update for Fuzzer #209: Issue #5972 closed by MikaelMayer
December 12, 2024 13:57 10s
December 12, 2024 13:57 10s
Soundness issue: Map's range not inferred to require equality for datatype to support equality Issue Update for Fuzzer #208: Issue #5972 opened by MikaelMayer
December 11, 2024 04:47 11s
December 11, 2024 04:47 11s
Datatypes with same name as type parameter not working in the Rust backend Issue Update for Fuzzer #207: Issue #5970 opened by MikaelMayer
December 10, 2024 22:45 12s
December 10, 2024 22:45 12s
Feat: Dafny-to-Rust to emit Arc instead of Rc Issue Update for Fuzzer #206: Issue #5969 opened by MikaelMayer
December 10, 2024 20:39 11s
December 10, 2024 20:39 11s
Resolver falsely flags import of compiled module as abstract Issue Update for Fuzzer #205: Issue #5968 opened by ssomayyajula
December 9, 2024 21:49 14s
December 9, 2024 21:49 14s
CLI: no -arith option in new CLI Issue Update for Fuzzer #204: Issue #5906 closed by bsdinis
December 7, 2024 02:58 17s
December 7, 2024 02:58 17s
Generated Rust code uses possibly-uninitialized bindings in nightly Issue Update for Fuzzer #203: Issue #5962 closed by MikaelMayer
December 5, 2024 02:24 10s
December 5, 2024 02:24 10s
Generated Rust code uses possibly-uninitialized bindings in nightly Issue Update for Fuzzer #202: Issue #5962 opened by alex-chew
December 4, 2024 19:52 9s
December 4, 2024 19:52 9s
--show-snippets affects how many symbols are verified Issue Update for Fuzzer #201: Issue #5958 opened by keyboardDrummer
December 3, 2024 16:17 10s
December 3, 2024 16:17 10s
dafny resolve does not offer Solver path arguement but requires z3 Issue Update for Fuzzer #200: Issue #5950 closed by keyboardDrummer
December 3, 2024 10:31 12s
December 3, 2024 10:31 12s
dafny resolve does not offer Solver path arguement but requires z3 Issue Update for Fuzzer #199: Issue #5950 closed by keyboardDrummer
December 3, 2024 10:31 9s
December 3, 2024 10:31 9s
Variable not cloned when it should Issue Update for Fuzzer #198: Issue #5932 closed by MikaelMayer
December 2, 2024 16:01 14s
December 2, 2024 16:01 14s
Variable not cloned when it should Issue Update for Fuzzer #197: Issue #5932 closed by MikaelMayer
December 2, 2024 16:01 13s
December 2, 2024 16:01 13s
Compilation incompleteness for general traits Issue Update for Fuzzer #196: Issue #5951 opened by MikaelMayer
December 2, 2024 06:34 12s
December 2, 2024 06:34 12s
dafny resolve does not offer Solver path arguement but requires z3 Issue Update for Fuzzer #195: Issue #5950 opened by texastony
November 30, 2024 20:12 9s
November 30, 2024 20:12 9s
Feature request: Const declarations in methods and functions Issue Update for Fuzzer #194: Issue #5946 opened by MikaelMayer
November 29, 2024 15:58 10s
November 29, 2024 15:58 10s
Dafny 4.0 suggestion: get modern assignment operators Issue Update for Fuzzer #193: Issue #2345 closed by MikaelMayer
November 29, 2024 15:52 10s
November 29, 2024 15:52 10s
Missing System_ when compiling to Python with --standard-libraries Issue Update for Fuzzer #192: Issue #5943 opened by fabiomadge
November 28, 2024 15:37 52s
November 28, 2024 15:37 52s
Crash compiling to Python when using --standard-libraries and --include-runtime Issue Update for Fuzzer #191: Issue #5942 opened by fabiomadge
November 28, 2024 15:30 55s
November 28, 2024 15:30 55s
Flaky test: CreatingBoogieVariableNameCollisionsHasExpectedDiff Issue Update for Fuzzer #190: Issue #5934 opened by MikaelMayer
November 26, 2024 15:48 10s
November 26, 2024 15:48 10s
Variable not cloned when it should Issue Update for Fuzzer #189: Issue #5932 opened by MikaelMayer
November 26, 2024 12:44 14s
November 26, 2024 12:44 14s
Bad Rust code generated for recursive predicate Issue Update for Fuzzer #188: Issue #5923 closed by MikaelMayer
November 25, 2024 15:17 12s
November 25, 2024 15:17 12s
Bad Rust code generated for recursive predicate Issue Update for Fuzzer #187: Issue #5923 closed by MikaelMayer
November 25, 2024 15:17 13s
November 25, 2024 15:17 13s