Ecosyste.ms: Issues

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

GitHub / dafny-lang/ide-vscode issues and pull requests

#510 - Release v3.4.3 (updated Dafny to 4.9.1)

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

#509 - Update option names

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

#508 - Dafny internal error - auto contracts

Issue - State: open - Opened by kjx 3 months ago

#507 - Release v3.4.2 (updated Dafny to 4.9.0)

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

#506 - sync fork

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

#505 - Counterexamples don't show

Issue - State: closed - Opened by RustanLeino 3 months ago - 1 comment

#504 - Dafny plugin does nothing

Issue - State: open - Opened by damienstanton 3 months ago - 4 comments

#503 - Remove outdated information from the README

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

#502 - Fix binary copying to temporary folder on custom path

Pull Request - State: closed - Opened by RiscadoA 4 months ago - 1 comment

#501 - Lingering error messages

Issue - State: closed - Opened by RustanLeino 4 months ago - 2 comments

#500 - Support for @-syntax for attributes

Pull Request - State: closed - Opened by MikaelMayer 4 months ago

#499 - Update node used in CI

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

#498 - Update GH action versions

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

#497 - Release v3.4.1 (updated Dafny to 4.8.1)

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

#496 - Add script for publishing to OpenVsx

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

#496 - Add script for publishing to OpenVsx

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

#495 - How to run Dafny i VSC?

Issue - State: open - Opened by AndrzejBlikle 5 months ago

#495 - How to run Dafny i VSC?

Issue - State: open - Opened by AndrzejBlikle 5 months ago

#494 - Insert {:axiom} quick fix fails on assume clauses

Issue - State: open - Opened by masecla22 5 months ago

#494 - Insert {:axiom} quick fix fails on assume clauses

Issue - State: open - Opened by masecla22 5 months ago

#493 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

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

#493 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

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

#491 - Release v3.4.0 (updated Dafny to 4.8.0)

Pull Request - State: closed - Opened by MikaelMayer 5 months ago

#491 - Release v3.4.0 (updated Dafny to 4.8.0)

Pull Request - State: closed - Opened by MikaelMayer 5 months ago

#490 - Bump webpack from 5.76.0 to 5.94.0

Pull Request - State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#490 - Bump webpack from 5.76.0 to 5.94.0

Pull Request - State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#489 - no-verify should imply --allow-warnings

Issue - State: open - Opened by kjx 5 months ago - 4 comments

#489 - no-verify should imply --allow-warnings

Issue - State: open - Opened by kjx 5 months ago - 4 comments

#487 - weird error message: "(0,-1): Error: a postcondition"

Issue - State: open - Opened by kjx 6 months ago - 3 comments

#487 - weird error message: "(0,-1): Error: a postcondition"

Issue - State: open - Opened by kjx 6 months ago - 3 comments

#485 - boogie with type errors generated on verification

Issue - State: open - Opened by erniecohen 6 months ago

#485 - boogie with type errors generated on verification

Issue - State: open - Opened by erniecohen 6 months ago

#484 - offer "--filter-position" (and perhaps --filter-symbol) via the IDE

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

#484 - offer "--filter-position" (and perhaps --filter-symbol) via the IDE

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

#483 - Export ExtensionRuntime (or LanguageClient) for other extensions

Pull Request - State: closed - Opened by BurstingF 7 months ago - 1 comment

#483 - Export ExtensionRuntime (or LanguageClient) for other extensions

Pull Request - State: closed - Opened by BurstingF 7 months ago - 1 comment

#482 - "Dafny > Dafny tests" not working with project files

Issue - State: open - Opened by MikaelMayer 7 months ago - 2 comments

#482 - "Dafny > Dafny tests" not working with project files

Issue - State: open - Opened by MikaelMayer 7 months ago - 2 comments

#481 - Internal error on assert/assume (... decreases to ...)

Issue - State: closed - Opened by erniecohen 7 months ago - 1 comment

#481 - Internal error on assert/assume (... decreases to ...)

Issue - State: closed - Opened by erniecohen 7 months ago - 1 comment

#480 - Release v3.3.1 (updated Dafny to 4.7.0)

Pull Request - State: closed - Opened by atomb 7 months ago

#480 - Release v3.3.1 (updated Dafny to 4.7.0)

Pull Request - State: closed - Opened by atomb 7 months ago

#479 - Bump braces from 3.0.2 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#479 - Bump braces from 3.0.2 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#477 - Core functionality done

Pull Request - State: closed - Opened by emantrigo 8 months ago

#477 - Core functionality done

Pull Request - State: closed - Opened by emantrigo 8 months ago

#475 - Dafny project file improvements

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

#475 - Dafny project file improvements

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

#474 - Provide a schema for Dafny project files

Issue - State: open - Opened by keyboardDrummer 9 months ago
Labels: enhancement

#474 - Provide a schema for Dafny project files

Issue - State: open - Opened by keyboardDrummer 9 months ago
Labels: enhancement

#471 - internal error: System.NullReferenceException

Issue - State: closed - Opened by erniecohen 10 months ago - 1 comment

#471 - internal error: System.NullReferenceException

Issue - State: closed - Opened by erniecohen 10 months ago - 1 comment

#470 - Update the description of dafny.version

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

#470 - Update the description of dafny.version

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

#469 - newtypes not recognized as subtypes for <

Issue - State: closed - Opened by erniecohen 10 months ago - 5 comments

#469 - newtypes not recognized as subtypes for <

Issue - State: closed - Opened by erniecohen 10 months ago - 5 comments

#468 - Release v3.3.0 (updated Dafny to 4.6.0)

Pull Request - State: closed - Opened by robin-aws 10 months ago

#468 - Release v3.3.0 (updated Dafny to 4.6.0)

Pull Request - State: closed - Opened by robin-aws 10 months ago

#467 - chore: Empty commit for the benefit of publish_process.js

Pull Request - State: closed - Opened by robin-aws 10 months ago - 1 comment

#467 - chore: Empty commit for the benefit of publish_process.js

Pull Request - State: closed - Opened by robin-aws 10 months ago - 1 comment

#465 - Release v3.2.3 (updated Dafny to 4.5.0)

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

#465 - Release v3.2.3 (updated Dafny to 4.5.0)

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

#464 - Display keywords as Unicode mathematical symbols

Issue - State: open - Opened by alex-chew 11 months ago - 4 comments
Labels: enhancement

#464 - Display keywords as Unicode mathematical symbols

Issue - State: open - Opened by alex-chew 11 months ago - 4 comments
Labels: enhancement

#462 - Verification issue

Issue - State: open - Opened by Yassarab 12 months ago

#461 - Easy button to generate a stability report

Issue - State: open - Opened by seebees 12 months ago - 1 comment

#461 - Easy button to generate a stability report

Issue - State: open - Opened by seebees 12 months ago - 1 comment

#459 - Some way to hide non-generating code

Issue - State: open - Opened by ajewellamz 12 months ago - 1 comment
Labels: enhancement

#459 - Some way to hide non-generating code

Issue - State: open - Opened by ajewellamz 12 months ago - 1 comment
Labels: enhancement

#458 - Verification issue

Issue - State: open - Opened by Laurence-Hallo 12 months ago

#458 - Verification issue

Issue - State: open - Opened by Laurence-Hallo 12 months ago

#457 - Release v3.2.2 (updated Dafny to 4.4.0)

Pull Request - State: closed - Opened by robin-aws about 1 year ago

#457 - Release v3.2.2 (updated Dafny to 4.4.0)

Pull Request - State: closed - Opened by robin-aws about 1 year ago

#456 - IDE may be loading Std library twice

Issue - State: open - Opened by markrtuttle about 1 year ago - 1 comment

#456 - IDE may be loading Std library twice

Issue - State: open - Opened by markrtuttle about 1 year ago - 1 comment

#455 - Verification issue

Issue - State: open - Opened by isabelladstephens about 1 year ago

#453 - Fix: Dafny plugins working again.

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

#453 - Fix: Dafny plugins working again.

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

#452 - Failed to save file

Issue - State: closed - Opened by MikaelMayer about 1 year ago

#452 - Failed to save file

Issue - State: closed - Opened by MikaelMayer about 1 year ago

#451 - Fix formatting issues accidentally introduced in PR #450

Pull Request - State: closed - Opened by dschoepe about 1 year ago

#450 - Fix plugin arguments to Dafny server

Pull Request - State: closed - Opened by dschoepe about 1 year ago

#450 - Fix plugin arguments to Dafny server

Pull Request - State: closed - Opened by dschoepe about 1 year ago

#449 - Dafny VS code Extension 3.2.1 dosen't work on M1 Mac

Issue - State: open - Opened by FZhg about 1 year ago - 2 comments

#449 - Dafny VS code Extension 3.2.1 dosen't work on M1 Mac

Issue - State: open - Opened by FZhg about 1 year ago - 2 comments

#448 - Verification issue

Issue - State: closed - Opened by TonyP4N about 1 year ago

#447 - Verification issue

Issue - State: closed - Opened by TonyP4N over 1 year ago - 2 comments
Labels: question

#447 - Verification issue

Issue - State: closed - Opened by TonyP4N over 1 year ago - 2 comments
Labels: question

#446 - Error "Request textDocument/documentSymbol failed" appears regularly

Issue - State: closed - Opened by tchajed over 1 year ago - 3 comments
Labels: bug, language server

#446 - Error "Request textDocument/documentSymbol failed" appears regularly

Issue - State: closed - Opened by tchajed over 1 year ago - 3 comments
Labels: bug, language server

#444 - Release v3.2.1 (bugfix)

Pull Request - State: closed - Opened by alex-chew over 1 year ago

#444 - Release v3.2.1 (bugfix)

Pull Request - State: closed - Opened by alex-chew over 1 year ago

#443 - fix: relax .NET runtime version check

Pull Request - State: closed - Opened by alex-chew over 1 year ago

#443 - fix: relax .NET runtime version check

Pull Request - State: closed - Opened by alex-chew over 1 year ago

#442 - (offer to help) installation via VSCode on mac M1

Issue - State: closed - Opened by cdstanford over 1 year ago - 6 comments
Labels: bug