Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of https://github.com/dafny-lang/ide-vscode

https://github.com/dafny-lang/ide-vscode - Release v3.5.1

19969 - Fix publish process for Linux systems without xdg-open (https://github.com/dafny-lang/ide-vscode/pull/541) - Update platform versions for Dafny >= 4.11 release downloads (https://github.com/dafny-lang/ide-vscode/pull/539)

- TypeScript
Published by github-actions[bot] 10 months ago

https://github.com/dafny-lang/ide-vscode - Release v3.5.0

19735 - Added Dafny 4.11.0 Also copy native libraries when copying a custom dafny to tmpdir (https://github.com/dafny-lang/ide-vscode/pull/534) Builds of Dafny downloaded from the GitHub Releasespage include all necessary support libraries, so they don't depend on an external .NET runtime. When we copy a custom dafny to a tmpdir, we need to copy these libraries too, or the language server will fail to start. Windows libraries, being .dlls, were probably already copied, but on macOS and Linux, shared libraries end in .dylib and .so, respectively. - Fix and rename counterexamples to verification trace (https://github.com/dafny-lang/ide-vscode/pull/533) - Swap 'value == variable' to 'variable == value' for better readability - Replace ' && ' separator with ', ' for cleaner appearance
- Remove 'assume ' prefix and ';' suffix from display - Call fs.promises.mkdtemp on the correct path to prevent making a temp dir in $HOME (https://github.com/dafny-lang/ide-vscode/pull/529) - Chore: added instructions on how to view the trace (https://github.com/dafny-lang/ide-vscode/pull/528)

- TypeScript
Published by github-actions[bot] 10 months ago

https://github.com/dafny-lang/ide-vscode - Release v3.4.4

18566 - Added Dafny 4.10.0 - Enable starting using a cached nigthly (https://github.com/dafny-lang/ide-vscode/pull/519) When using latest-nightly, enable starting using a cached nigthly when there is no internet connection

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/dafny-lang/ide-vscode - Release v3.4.3

18337 - Added Dafny 4.9.1 - Support for @-syntax for attributes (https://github.com/dafny-lang/ide-vscode/pull/500) Before: image After: image

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/dafny-lang/ide-vscode - Release v3.4.2

  • Added Dafny 4.9.0
  • Fix binary copying to temporary folder on custom path (https://github.com/dafny-lang/ide-vscode/pull/502)

- TypeScript
Published by github-actions[bot] over 1 year ago

https://github.com/dafny-lang/ide-vscode - Release v3.4.1

  • Add Dafny 4.8.1
  • Extension is now published to OpenVSX registry as well

- TypeScript
Published by github-actions[bot] almost 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.3.1

  • Dafny project file improvements (https://github.com/dafny-lang/ide-vscode/pull/475)
    • No longer let the syntax definitions for .dfy files also be applied to dfyconfig.toml files
    • Activate extension when .toml file is opened, such as a dfyconfig.toml
    • Let the language client also operate on files ending in dfyconfig.toml
    • Update the description of dafny.version
    • Remove outdated descriptions of options in the README
  • Add Dafny 4.7.0

- TypeScript
Published by github-actions[bot] about 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.3.0

  • Add Dafny 4.6.0

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.2.3

  • Add Dafny 4.5.0

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.2.2

  • Warn users about libraries not being available inside the Dafny IDE (https://github.com/dafny-lang/ide-vscode/pull/454)
  • Fix: Dafny plugins working again. (https://github.com/dafny-lang/ide-vscode/pull/453)
  • Fix formatting issues accidentally introduced in PR #450 (https://github.com/dafny-lang/ide-vscode/pull/451)
  • Fix plugin arguments to Dafny server (https://github.com/dafny-lang/ide-vscode/pull/450)

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.2.1

  • fix: relax .NET runtime version check (https://github.com/dafny-lang/ide-vscode/pull/443)

- TypeScript
Published by github-actions[bot] over 2 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.2.0

  • Add Dafny 4.3.0
  • Update LSP client to 9.0.0 (https://github.com/dafny-lang/ide-vscode/pull/439) The main driver of this update is that it improves error handling
  • Let the extension use the Dafny server to track changes in dfyconfig (https://github.com/dafny-lang/ide-vscode/pull/435)
  • Fix the removal of verification tests (https://github.com/dafny-lang/ide-vscode/pull/436)
  • Make status bar forward compatible with upcoming Dafny release (https://github.com/dafny-lang/ide-vscode/pull/432)
  • Fix: support for spaces in paths (https://github.com/dafny-lang/ide-vscode/pull/431)
  • Bump semver from 7.3.7 to 7.5.4 (https://github.com/dafny-lang/ide-vscode/pull/411)
  • Always show all verifiable symbols in the test panels (https://github.com/dafny-lang/ide-vscode/pull/428)
  • Prevent verification as tests UI from becoming unresponsive (https://github.com/dafny-lang/ide-vscode/pull/421)

- TypeScript
Published by github-actions[bot] almost 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.1.2

  • Add Dafny 4.2.0
  • Update README.md (https://github.com/dafny-lang/ide-vscode/pull/407)
  • Fix: Empty ghost diagnostics no longer ignored (https://github.com/dafny-lang/ide-vscode/pull/399)
  • Chore: Support labels with primes and question marks (https://github.com/dafny-lang/ide-vscode/pull/398)
  • Chore: Better description of automatic verification (https://github.com/dafny-lang/ide-vscode/pull/397)
  • Fixes "this" highlight (https://github.com/dafny-lang/ide-vscode/pull/396)
  • Support new IDE states, parsing and preparing verification (https://github.com/dafny-lang/ide-vscode/pull/392)

- TypeScript
Published by github-actions[bot] almost 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.1.1

  • Add Dafny 4.1.0
  • chore: Empty releases (https://github.com/dafny-lang/ide-vscode/pull/387)

- TypeScript
Published by github-actions[bot] about 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.1.0

  • Bump webpack from 5.73.0 to 5.76.0 (https://github.com/dafny-lang/ide-vscode/pull/376)
  • Opaque now marked as keyword

- TypeScript
Published by github-actions[bot] about 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.9

  • Fix: Function declarations not highlighted as types (https://github.com/dafny-lang/ide-vscode/pull/371)
  • Fix: undesired red "<" character (https://github.com/dafny-lang/ide-vscode/issues/368)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.8

  • Support for zero-commit updates (https://github.com/dafny-lang/ide-vscode/pull/365)
  • Removed a space in README.md
  • ./publish_process.js now accepts to publish a new version even if there was no added commit to the extension (e.g. to support a new version of Dafny by default)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.7

  • Bumped default version of Dafny to 3.13.1

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.6

  • Update the names of release packages to account for changes in Dafny 3.13 and later packaging (https://github.com/dafny-lang/ide-vscode/pull/361)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.5

  • fix: check commit msg's first line for lastPreparedTag (https://github.com/dafny-lang/ide-vscode/pull/356)
  • Bump http-cache-semantics from 4.1.0 to 4.1.1 (https://github.com/dafny-lang/ide-vscode/pull/351)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.4

  • Enable using Dafny 3.11.0
  • Prepare migration to Dafny 4 (https://github.com/dafny-lang/ide-vscode/pull/347)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.3

  • Fix behavior of automatic core selection. (https://github.com/dafny-lang/ide-vscode/pull/336)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.2

  • Introduce a fix so setting verification cores to 0 (the default) doesn't stop verification (https://github.com/dafny-lang/ide-vscode/pull/332)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.1

  • Fix building from source (https://github.com/dafny-lang/ide-vscode/pull/327)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v3.0.0

NOTE: the Dafny preferences for which Dafny version to use, which custom Dafny executables to use, and which custom arguments to use have been reset. Please check your preferences to see if these are correct. - The Dafny language server accepts many of the same options as the Dafny CLI, such as --warn-shadowing and --enforce-determinism, allowing users to get the same resolution and verification diagnostics in the IDE as on the CLI. - The extension can be configured with a custom Dafny CLI, which it will use to start a Dafny language server, ensuring consistency between the custom CLI and the extension. - For Mac users with an ARM64 processor, Dafny will no longer install Dafny from source for Dafny versions starting with 3.10.0, but instead download a prebuilt binary. - The extension may attempt to build Dafny from source for platforms and architectures for which no prebuilt binary exists. - Building from source is possible when attempting to use the latest nightly version.

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.9.0

  • Ghost highlighting is re-rendered now on every change to prevent non-ghost code from being displayed as ghost. (https://github.com/dafny-lang/ide-vscode/pull/304)
  • Ghost code more like comments (https://github.com/dafny-lang/ide-vscode/pull/301)
  • If the plugin is configured to depend on a locally compiled DafnyLanguageServer.dll, ensures that all DLLs are copied in a local directory before being accessed by vscode, so that the original DLLs can be overwritten even if VSCode is running (https://github.com/dafny-lang/ide-vscode/pull/297) (https://github.com/dafny-lang/ide-vscode/pull/298)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.6

  • fix: dafny.dotnetExecutablePath works to install custom source (https://github.com/dafny-lang/ide-vscode/pull/287)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.5

  • Fix: Make brew update optional (https://github.com/dafny-lang/ide-vscode/pull/284)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.4

  • Updating LanguageServerConstants.LatestVersion value to the latest version number 3.9.0. (https://github.com/dafny-lang/ide-vscode/pull/280)

- TypeScript
Published by github-actions[bot] over 3 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.3

  • Fix: Number followed by < incorrectly highlighted as a generic (https://github.com/dafny-lang/ide-vscode/pull/270)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.2

  • Ability to select previously published patch versions of Dafny.
  • Enable status bar also when verification as tests is turned off (https://github.com/dafny-lang/ide-vscode/pull/261)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.1

  • Use Dafny v3.8.1 which contains critical language server fixes
  • Fix disappearing resolution errors with verification tests. (https://github.com/dafny-lang/ide-vscode/pull/260)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.8.0

  • Update Dafny and language server to v3.8.0
  • Feat: Enable displaying verification as tests when using the latest Dafny version
  • Fix a bug in Windows where the gutter's skipped lines are wrong. (https://github.com/dafny-lang/ide-vscode/pull/255)
  • Previously, in Windows, the LSP's string URI were a bit different than the VSCode's Uri.toString().
  • Namely, the LSP was retuning:
  • file:///c:/...
  • whereas Uri.ToString() in VSCode was returning
  • file:///c%3A/...
  • Thus, this PR transforms URI received by the LSP into their canonical form for the Verification Symbol Status view, where the canonical URI is needed because of the event handler e.document.uri.toString() in window.onDidChangeTextDocument
  • Second, this PR stores the latest nightly build version so that if the GitHub API rate limit is reached, a client will not revert to the previous stable version.
  • Third, deactivated two problematic tests that are passing locally but timeout in CI because of seemingly restrictive API quota limits.
  • Do not show status updates for non-active documents (https://github.com/dafny-lang/ide-vscode/pull/254)
  • * Do not show status updates for non-active documents
  • * Remove unused import
  • Do not show verified status message when no solvers are free (https://github.com/dafny-lang/ide-vscode/pull/253)
  • Prevent overlap of play and gutter icons on parent nodes (https://github.com/dafny-lang/ide-vscode/pull/252)
  • * Prevent overlap of play and gutter icons on parent nodes such as classes and modules
  • * Prevent visible and internal state of testItems from getting out of sync
  • * Add debug information
  • Correctly handle a difference between verifiable and document symbols (https://github.com/dafny-lang/ide-vscode/pull/249)
  • Adding brew update as part of the manual source installation (https://github.com/dafny-lang/ide-vscode/pull/250)
  • Ensure gutter icons show up in the correct locations (https://github.com/dafny-lang/ide-vscode/pull/241)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.7.0

  • New: Add verification management UI (https://github.com/dafny-lang/ide-vscode/pull/229)
  • Syntax highlighting after "var" fixed (https://github.com/dafny-lang/ide-vscode/pull/231)
  • Release script (https://github.com/dafny-lang/ide-vscode/pull/228)
  • Fix the restart server command (https://github.com/dafny-lang/ide-vscode/pull/232)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.6.3

  • Set a default time limit of 20 seconds to avoid long freezes (https://github.com/dafny-lang/ide-vscode/pull/225)
  • Fixed typo (https://github.com/dafny-lang/ide-vscode/pull/216)
  • Added variable declaration to avoid mixing a function call with a type declaration. (https://github.com/dafny-lang/ide-vscode/pull/222)
  • Fixed the CI (https://github.com/dafny-lang/ide-vscode/pull/223)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.6.2

  • Update Dafny and language server to v3.7.3

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.6.1

  • Fixed the compiler command line (https://github.com/dafny-lang/ide-vscode/pull/205)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.6.0

  • Update Dafny and language server to v3.7.2
  • Feat: Use nightly releases (https://github.com/dafny-lang/ide-vscode/pull/196)
  • Feat: Hide either "Show Counterexample" or "Hide Counterexample" from the menu, depending on the state (https://github.com/dafny-lang/ide-vscode/pull/191)
  • Fix: Multiline strings correctly highlighted (https://github.com/dafny-lang/ide-vscode/pull/202)
  • Fix: Highlighting of nested types (https://github.com/dafny-lang/ide-vscode/pull/199)
  • Fix: Missing images for the gutter (https://github.com/dafny-lang/ide-vscode/pull/200)
  • Fix: Better dotnet and brew install errors for Mac M1 (https://github.com/dafny-lang/ide-vscode/pull/186)
  • Fix: Better installation and java recognition for Mac M1 (https://github.com/dafny-lang/ide-vscode/pull/183)

- TypeScript
Published by github-actions[bot] almost 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.5.0

  • Update Dafny and language server to v3.7.0
  • Underline related errors in postconditions (https://github.com/dafny-lang/ide-vscode/pull/164)
  • Show verification status in the gutter (https://github.com/dafny-lang/ide-vscode/pull/147)
  • Make status bar clickable and open a Dafny command menu (https://github.com/dafny-lang/ide-vscode/pull/125)
  • Improved error messages
  • Various fixes

- TypeScript
Published by github-actions[bot] about 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.4.0

  • Update Dafny and language server to v3.6.0
  • Fix issue related to Dafny installation on OSX M1 architectures
  • Fix not sending obsolete notification to user
  • Fix: Nested comments now displayed correctly
  • Feat: Verification gutter icons

- TypeScript
Published by github-actions[bot] about 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.3.0

  • Update Dafny and language server to v3.5.0
  • Fix bug causing the red error squiggles to disappear
  • Improved syntax highlighting

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.2.0

  • Add option to specify the preferred dafny version for automatic installation
  • Treat empty compiler/language server paths as unconfigured (use automatic installation)
  • Accept .NET 6.0 as a supported platform
  • Show verification progress messages (if available)
  • Add option to configure Dafny's caching policy
  • Fix the text selection for highlighted ghost statements
  • Several improvements to the syntax highlighting

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.1.1

  • Changed the marketplace publisher to dafny-lang
  • Now marking ghost statements by default (requires Dafny 3.4.0+)
  • Fixed issue when compiling untitled documents
  • Changed 'Compilation Succeeded' status message to 'Resolved (not verified)'

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.1.0

  • Changed the marketplace publisher to dafny-lang
  • Now marking ghost statements by default (requires Dafny 3.4.0+)
  • Fixed issue when compiling untitled documents
  • Changed 'Compilation Succeeded' status message to 'Resolved (not verified)'

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.0.2

  • Improved syntax highlighting of strings

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.0.1

  • Fixed VSCode compatibility (Promise.any is not a function error)

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v2.0.0

  • Revised the code base
  • Setting a custom Dafny installation now disables automatic updates
  • Now showing the Dafny installation progress in the terminal
  • Improved syntax highlighting
  • Added option to set a time limit for the automatic verification
  • Added option to set the number of virtual cores to use for automatic verification
  • Updated Dafny and language server to v3.3.0

- TypeScript
Published by github-actions[bot] over 4 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.8.0

  • Group verification errors and their related locations by using the "Related Information" UI for diagnostics.

- TypeScript
Published by github-actions[bot] almost 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.6.0

  • Updated Dafny and language server to v3.2.0
  • Updated keywords

- TypeScript
Published by github-actions[bot] almost 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.5.0

  • Made the terminal command prefix configurable.
  • Added verification activity indicator to the status bar.
  • Updated Dafny and language server to v3.1.0

- TypeScript
Published by github-actions[bot] about 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.4.0

  • Updated the required .NET runtime to ASP.NET Core 5.0.
  • Updated the language server to v3.0.0.
  • Added configuration for the automatic verification.

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.3.0

  • Dropped the Preview notes

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.2.0

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.1.1

  • Fixed the compile command invocation for ubuntu and osx installations.

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.1.0

  • Re-added the possibility to show counter examples.
  • Re-added the compiler related commands.
  • Updated the language server to v2.2.0.

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.7

  • Replaced the language server runtime with .NET Core.
  • Added automatic installation of the language server for OSX and Linux.
  • Updated the language server.

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.6

  • Replaced the backing Dafny language server
  • Added configuration options to specify the launch arguments of the language server

- TypeScript
Published by github-actions[bot] over 5 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.5

  • Addes support for the Dafny language server version 1.2.3

- TypeScript
Published by github-actions[bot] about 6 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.4

  • Code refactorings and README updated.

- TypeScript
Published by github-actions[bot] about 6 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.3

The Dafny language server is automatically downloaded from the client.

- TypeScript
Published by github-actions[bot] about 6 years ago

https://github.com/dafny-lang/ide-vscode - Release v1.0.2

- TypeScript
Published by github-actions[bot] about 6 years ago