Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dafny-lang/dafny issues and pull requests

#6349 - chore(deps): bump actions/upload-pages-artifact from 3 to 4

Pull Request - State: open - Opened by dependabot[bot] 9 days ago
Labels: dependencies, github_actions

#6348 - Documentation snapshot for v4.11.0

Pull Request - State: closed - Opened by MikaelMayer 9 days ago

#6347 - Release 4.11.0

Pull Request - State: open - Opened by MikaelMayer 9 days ago

#6345 - Crash when named class constructor is used inside match case

Issue - State: open - Opened by RustanLeino 9 days ago
Labels: kind: bug, part: resolver

#6342 - Crash and scope issue with `var x := e by { ... }`

Issue - State: open - Opened by RustanLeino 14 days ago
Labels: kind: bug, part: resolver, part: verifier, crash

#6341 - Binding guard assumes type condition too early

Issue - State: open - Opened by RustanLeino 14 days ago
Labels: kind: bug, during 3: execution of incorrect program

#6333 - EmitNew() produces malformed code in Go code generator

Issue - State: open - Opened by ssomayyajula 17 days ago
Labels: kind: bug, part: code-generation, lang: golang, invalid translated code

#6326 - chore(deps): bump actions/download-artifact from 4 to 5

Pull Request - State: open - Opened by dependabot[bot] 23 days ago
Labels: dependencies, github_actions

#6321 - Fixes resolver crashes related to datatypes and traits

Pull Request - State: closed - Opened by RustanLeino 28 days ago

#6320 - ci: remove CompFuzzCI workflows

Pull Request - State: open - Opened by alex-chew 30 days ago

#6319 - fix: Use correct guard for the deletion of old assets

Pull Request - State: open - Opened by fabiomadge about 1 month ago

#6317 - Crash and Boogie error using subset types with type system refresh

Issue - State: closed - Opened by alex-chew about 1 month ago
Labels: kind: bug, part: resolver, crash, part: boogie

#6316 - Update SchorrWaite.dfy.refresh.expect

Pull Request - State: closed - Opened by MikaelMayer about 1 month ago

#6315 - Allow array updates in ghost contexts

Pull Request - State: open - Opened by keyboardDrummer about 1 month ago

#6314 - Turn off two errors

Pull Request - State: open - Opened by keyboardDrummer about 1 month ago

#6308 - Let the user set program exit code

Issue - State: open - Opened by sandeep-datta about 2 months ago
Labels: kind: enhancement

#6307 - Fix Rust target standard library loading for FileIO

Pull Request - State: open - Opened by MikaelMayer about 2 months ago

#6306 - New resolver crash on qualified data constructor reference

Issue - State: open - Opened by robin-aws about 2 months ago
Labels: kind: bug

#6304 - Set extensionality cannot be proved because type of local variables is not assumed.

Issue - State: open - Opened by MikaelMayer about 2 months ago
Labels: kind: bug

#6300 - Error "Request textDocument/documentSymbol failed"

Issue - State: closed - Opened by ethanbb about 2 months ago - 1 comment

#6298 - Unsound transformation in BitvectorOptimization

Issue - State: open - Opened by m-carrasco 2 months ago
Labels: kind: bug

#6297 - Fix: @VerifyOnly now working as expected

Pull Request - State: open - Opened by MikaelMayer 2 months ago - 1 comment

#6297 - Fix: @VerifyOnly now working as expected

Pull Request - State: open - Opened by MikaelMayer 2 months ago

#6296 - fix: C# compilation of newtype-char to int conversion

Pull Request - State: closed - Opened by RustanLeino 2 months ago

#6296 - fix: C# compilation of newtype-char to int conversion

Pull Request - State: open - Opened by RustanLeino 2 months ago

#6295 - Lit-lift more unary operators

Pull Request - State: open - Opened by RustanLeino 2 months ago

#6294 - Allow considering part of the serialized code as a library

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago - 1 comment

#6293 - Feat memory locations referrers

Pull Request - State: open - Opened by MikaelMayer 2 months ago

#6292 - chore: Update Windows CI runners to windows-2022

Pull Request - State: open - Opened by fabiomadge 2 months ago - 2 comments
Labels: run-deep-tests

#6292 - chore: Update Windows CI runners to windows-2022

Pull Request - State: closed - Opened by fabiomadge 2 months ago - 2 comments

#6291 - Fix: Resolve reveal statement crashes in match cases

Pull Request - State: open - Opened by fabiomadge 2 months ago - 1 comment

#6290 - fix: Add null check for reveal statement resolved statements

Pull Request - State: closed - Opened by fabiomadge 2 months ago - 1 comment

#6290 - fix: Add null check for reveal statement resolved statements

Pull Request - State: closed - Opened by fabiomadge 2 months ago - 1 comment

#6288 - chore: Remove misplaced LL(1) resolvers that don't resolve actual conflicts

Pull Request - State: closed - Opened by fabiomadge 2 months ago - 2 comments

#6288 - chore: Remove misplaced LL(1) resolvers that don't resolve actual conflicts

Pull Request - State: closed - Opened by fabiomadge 2 months ago - 2 comments

#6287 - docs: Document leading dot literals investigation and decision

Pull Request - State: closed - Opened by fabiomadge 2 months ago

#6285 - Class Invariants: Verification by Rewriting

Pull Request - State: open - Opened by ssomayyajula 2 months ago

#6284 - Type parameters

Pull Request - State: open - Opened by keyboardDrummer 2 months ago

#6283 - Parsing error when resource limit > 10^9

Issue - State: open - Opened by samuelchassot 2 months ago
Labels: kind: bug

#6282 - Incorrectly generated Boogie code

Issue - State: open - Opened by keyboardDrummer 2 months ago
Labels: kind: bug, part: verifier, during 2: compilation of correct program

#6281 - OverflowException in --log-format text for large input

Issue - State: open - Opened by j31d0 2 months ago
Labels: kind: bug

#6280 - Allow redeclaring trait methods

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#6280 - Allow redeclaring trait methods

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#6279 - Do not warn about `{:verify false}` on methods when using `--allow-axiom`

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago - 3 comments

#6279 - Do not warn about `{:verify false}` on methods when using `--allow-axiom`

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago - 3 comments

#6277 - Java code generator casts java.lang.Integer to byte instead of using conversion method

Issue - State: open - Opened by ssomayyajula 2 months ago
Labels: kind: bug, part: code-generation, lang: java, has-workaround: yes

#6276 - Class Invariants: Verification

Pull Request - State: closed - Opened by ssomayyajula 3 months ago

#6276 - Class Invariants: Verification

Pull Request - State: open - Opened by ssomayyajula 3 months ago

#6275 - chore: fix printing unresolved datatype values

Pull Request - State: open - Opened by alex-chew 3 months ago

#6275 - chore: fix printing unresolved datatype values

Pull Request - State: closed - Opened by alex-chew 3 months ago

#6274 - More streaming libs

Pull Request - State: open - Opened by robin-aws 3 months ago

#6273 - fix: Escape string literals in error messages

Pull Request - State: closed - Opened by RustanLeino 3 months ago

#6273 - fix: Escape string literals in error messages

Pull Request - State: closed - Opened by RustanLeino 3 months ago

#6272 - Fix broken link in Std Library README.md

Pull Request - State: open - Opened by samuelchassot 3 months ago

#6272 - Fix broken link in Std Library README.md

Pull Request - State: closed - Opened by samuelchassot 3 months ago

#6271 - feat: Add scripts to analyze performance

Pull Request - State: open - Opened by fabiomadge 3 months ago

#6271 - feat: Add scripts to analyze performance

Pull Request - State: open - Opened by fabiomadge 3 months ago

#6270 - Syntax serialization simplification

Pull Request - State: closed - Opened by keyboardDrummer 3 months ago

#6270 - Syntax serialization simplification

Pull Request - State: closed - Opened by keyboardDrummer 3 months ago

#6269 - Function deserialization

Pull Request - State: closed - Opened by olivier-aws 3 months ago

#6269 - Function deserialization

Pull Request - State: open - Opened by olivier-aws 3 months ago

#6268 - Reveal label inside match case causes crash

Issue - State: open - Opened by RustanLeino 3 months ago
Labels: kind: bug

#6266 - Internal error triggered by invalid triggers

Issue - State: open - Opened by eerio 3 months ago
Labels: kind: bug

#6264 - Perform reads checks on ensures of bodiless functions

Pull Request - State: closed - Opened by samuelchassot 3 months ago - 4 comments

#6264 - Perform reads checks on ensures of bodiless functions

Pull Request - State: closed - Opened by samuelchassot 3 months ago - 4 comments

#6263 - Support multiple canVerifies having the same origin

Pull Request - State: closed - Opened by keyboardDrummer 3 months ago - 1 comment

#6263 - Support multiple canVerifies having the same origin

Pull Request - State: open - Opened by keyboardDrummer 3 months ago

#6262 - fix: Fail more gracefully when reusing names

Pull Request - State: closed - Opened by fabiomadge 3 months ago

#6261 - Bad Rust code generated when local variable shares name with return variable.

Issue - State: closed - Opened by ajewellamz 3 months ago - 2 comments
Labels: kind: bug, during 2: compilation of correct program, lang: rust

#6260 - Fix #1461 Add a reflexivity axiom for $HeapSucc

Pull Request - State: open - Opened by samuelchassot 3 months ago - 11 comments

#6258 - Small tweaks to make debugging easier

Pull Request - State: closed - Opened by keyboardDrummer 3 months ago

#6257 - Use curl instead of wget to install Z3 on macs

Pull Request - State: closed - Opened by robin-aws 3 months ago
Labels: run-deep-tests

#6257 - Use curl instead of wget to install Z3 on macs

Pull Request - State: open - Opened by robin-aws 3 months ago
Labels: run-deep-tests

#6256 - I'd like a "with" statement, even though I know it's evil.

Issue - State: open - Opened by kjx 3 months ago
Labels: kind: enhancement

#6255 - Class Invariants: Resolution and Wellformedness

Pull Request - State: open - Opened by ssomayyajula 3 months ago - 2 comments

#6255 - Class Invariants: Resolution and Wellformedness

Pull Request - State: closed - Opened by ssomayyajula 3 months ago - 3 comments