DafnyLanguageServer 4.6.0

.NET 6.0 
dotnet add package DafnyLanguageServer --version 4.6.0
NuGet\Install-Package DafnyLanguageServer -Version 4.6.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="DafnyLanguageServer" Version="4.6.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add DafnyLanguageServer --version 4.6.0
#r "nuget: DafnyLanguageServer, 4.6.0"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install DafnyLanguageServer as a Cake Addin
#addin nuget:?package=DafnyLanguageServer&version=4.6.0

// Install DafnyLanguageServer as a Cake Tool
#tool nuget:?package=DafnyLanguageServer&version=4.6.0

DafnyLS

DafnyLS is a language server for Dafny. It is implemented in C# on .NET with OmniSharp's C# Language Server Protocol.

Running

Place the Z3 executable in the language server's root directory or within the z3/bin subdirectory (already present in the release packages). If not on windows, ensure that the executable has execution permissions:

chmod u+x ./z3/bin/z3

The language server can be started either by the executable itself (e.g., DafnyLanguageServer.exe on windows) or with the following command.

dotnet DafnyLanguageServer.dll

Configuration

The language server can be configured using the DafnyLanguageServer.appsettings.json file as well as using CLI arguments.

For example, if you want to configure the automatic verification through the command line:

dotnet DafnyLanguageServer.dll --documents:verify=onsave

Or using the DafnyLanguageServer.appsettings.json configuration file:

{
  "Documents": {
    "Verify": "onsave"
  }
}

Options provided through the command line have higher priority than the options provided within DafnyLanguageServer.appsettings.json.

Documents

# Sets when the automatic verification should be applied.
# Options:
# - never - Never verifies the document.
# - onchange - Verifies the document with each change.
# - onsave - Verifies the document each time it is saved.
# default: onchange
--documents:verify=onchange

Verifier

# Sets maximum execution time (in seconds) for verifications
# Default: 0 (no time limit)
--verifier:timelimit=0

# Sets the maximum number of virtual cores to use. 
# Default: 0 (use half of the available virtual cores).
--verifier:vcscores=0

# Set the caching policy (like /verifySnapshots for Dafny.exe)
# Default: 0 (no caching).
--verifier:verifysnapshots=0

# Set whether or not to compute and report verification gutter statuses
# Default: 0 (no gutter status reported).
--verifier:gutterStatus=true

Ghost Diagnostics

# Mark ghost statements
# Default: true (mark the statements)
--ghost:markStatements=true

Plugins

# Provides a path to assemblies and optional space-separated command-line arguments after a comma.
# Repeat with --dafny:plugins:0=... --dafny:plugins:1=... for multiple plugins.
--dafny:plugins:0=path\to\example.dll
--dafny:plugins:0=path/to/example2.dll,oneArgument
--dafny:plugins:0=example3.dll,"firstArgument with \" space and quote" secondArgument

# On the command-line, you'd use the following escapes for the first and third examples:
"--dafny:plugins:0=path\\to\\example.dll"
"--dafny:plugins:0=example3.dll,\"firstArgument with \\\" space and quote\" secondArgument"

# For just the dafny executable, replace `--dafny:plugins:X` by `--plugin:` that you can repeat.
Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on DafnyLanguageServer:

Package Downloads
DafnyServer

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.6.0 259 3/28/2024
4.6.0-nightly-2024-04-26-bc... 36 4/26/2024
4.6.0-nightly-2024-04-25-b4... 47 4/25/2024
4.6.0-nightly-2024-04-24-06... 51 4/24/2024
4.6.0-nightly-2024-04-22-00... 99 4/22/2024
4.6.0-nightly-2024-04-21-2e... 92 4/21/2024
4.6.0-nightly-2024-04-20-2e... 95 4/21/2024
4.6.0-nightly-2024-04-19-0c... 92 4/19/2024
4.6.0-nightly-2024-04-18-0c... 81 4/18/2024
4.6.0-nightly-2024-04-17-b3... 90 4/17/2024
4.6.0-nightly-2024-04-16-1c... 114 4/16/2024
4.6.0-nightly-2024-04-15-13... 93 4/15/2024
4.6.0-nightly-2024-04-14-13... 92 4/15/2024
4.6.0-nightly-2024-04-13-13... 83 4/13/2024
4.6.0-nightly-2024-04-12-4e... 80 4/12/2024
4.6.0-nightly-2024-04-11-62... 72 4/11/2024
4.6.0-nightly-2024-04-10-d8... 75 4/10/2024
4.6.0-nightly-2024-04-09-65... 84 4/9/2024
4.6.0-nightly-2024-04-08-be... 83 4/8/2024
4.6.0-nightly-2024-04-07-be... 80 4/7/2024
4.6.0-nightly-2024-04-05-56... 81 4/5/2024
4.6.0-nightly-2024-04-04-5c... 81 4/4/2024
4.6.0-nightly-2024-04-03-91... 70 4/3/2024
4.6.0-nightly-2024-04-02-5b... 88 4/2/2024
4.6.0-nightly-2024-04-01-69... 95 4/1/2024
4.6.0-nightly-2024-03-31-4a... 93 3/31/2024
4.6.0-nightly-2024-03-29-8f... 93 3/29/2024
4.6.0-nightly-2024-03-29-71... 74 3/29/2024
4.5.0 183 3/15/2024
4.5.0-nightly-2024-03-27-ca... 101 3/27/2024
4.5.0-nightly-2024-03-26-0c... 97 3/27/2024
4.5.0-nightly-2024-03-25-f4... 92 3/25/2024
4.5.0-nightly-2024-03-24-f4... 84 3/25/2024
4.5.0-nightly-2024-03-23-f4... 84 3/23/2024
4.5.0-nightly-2024-03-22-ec... 89 3/22/2024
4.5.0-nightly-2024-03-21-7c... 73 3/21/2024
4.5.0-nightly-2024-03-20-99... 93 3/20/2024
4.5.0-nightly-2024-03-19-39... 96 3/20/2024
4.5.0-nightly-2024-03-18-39... 92 3/18/2024
4.5.0-nightly-2024-03-17-39... 97 3/17/2024
4.5.0-nightly-2024-03-16-39... 95 3/16/2024
4.5.0-nightly-2024-03-15-02... 100 3/15/2024
4.4.0 533 12/12/2023
4.4.0-nightly-2024-03-15-87... 104 3/15/2024
4.4.0-nightly-2024-03-14-28... 97 3/14/2024
4.4.0-nightly-2024-03-13-f1... 93 3/13/2024
4.4.0-nightly-2024-03-12-69... 84 3/12/2024
4.4.0-nightly-2024-03-11-a8... 80 3/11/2024
4.4.0-nightly-2024-03-10-a2... 71 3/11/2024
4.4.0-nightly-2024-03-09-a2... 78 3/9/2024
4.4.0-nightly-2024-03-08-1d... 76 3/8/2024
4.4.0-nightly-2024-03-06-35... 82 3/6/2024
4.4.0-nightly-2024-03-05-35... 77 3/5/2024
4.4.0-nightly-2024-03-04-54... 94 3/4/2024
4.4.0-nightly-2024-03-03-4e... 92 3/3/2024
4.4.0-nightly-2024-03-01-26... 81 3/1/2024
4.4.0-nightly-2024-02-29-2a... 74 2/29/2024
4.4.0-nightly-2024-02-28-2a... 72 2/28/2024
4.4.0-nightly-2024-02-27-2a... 74 2/27/2024
4.4.0-nightly-2024-02-26-1c... 73 2/26/2024
4.4.0-nightly-2024-02-25-d6... 68 2/26/2024
4.4.0-nightly-2024-02-24-d6... 78 2/24/2024
4.4.0-nightly-2024-02-23-d6... 79 2/23/2024
4.4.0-nightly-2024-02-22-e2... 76 2/22/2024
4.4.0-nightly-2024-02-21-22... 75 2/21/2024
4.4.0-nightly-2024-02-20-ce... 71 2/20/2024
4.4.0-nightly-2024-02-19-be... 79 2/19/2024
4.4.0-nightly-2024-02-18-be... 77 2/18/2024
4.4.0-nightly-2024-02-17-be... 85 2/17/2024
4.4.0-nightly-2024-02-16-af... 66 2/16/2024
4.4.0-nightly-2024-02-15-73... 83 2/15/2024
4.4.0-nightly-2024-02-14-5c... 73 2/14/2024
4.4.0-nightly-2024-02-13-9d... 66 2/13/2024
4.4.0-nightly-2024-02-12-d7... 71 2/12/2024
4.4.0-nightly-2024-02-11-c8... 66 2/11/2024
4.4.0-nightly-2024-02-10-c8... 68 2/10/2024
4.4.0-nightly-2024-02-09-29... 62 2/9/2024
4.4.0-nightly-2024-02-08-fc... 66 2/8/2024
4.4.0-nightly-2024-02-07-59... 70 2/7/2024
4.4.0-nightly-2024-02-06-b3... 62 2/6/2024
4.4.0-nightly-2024-02-05-16... 64 2/5/2024
4.4.0-nightly-2024-02-04-c6... 65 2/4/2024
4.4.0-nightly-2024-02-03-c6... 63 2/3/2024
4.4.0-nightly-2024-02-02-70... 61 2/2/2024
4.4.0-nightly-2024-02-01-8b... 64 2/1/2024
4.4.0-nightly-2024-01-31-8b... 63 1/31/2024
4.4.0-nightly-2024-01-30-90... 66 1/30/2024
4.4.0-nightly-2024-01-26-cf... 66 1/26/2024
4.4.0-nightly-2024-01-25-cf... 66 1/25/2024
4.4.0-nightly-2024-01-24-9d... 63 1/24/2024
4.4.0-nightly-2024-01-23-fe... 75 1/23/2024
4.4.0-nightly-2024-01-22-47... 61 1/22/2024
4.4.0-nightly-2024-01-21-a7... 67 1/21/2024
4.4.0-nightly-2024-01-20-79... 63 1/20/2024
4.4.0-nightly-2024-01-19-99... 70 1/19/2024
4.4.0-nightly-2024-01-19-3b... 64 1/19/2024
4.4.0-nightly-2024-01-18-3b... 68 1/18/2024
4.4.0-nightly-2024-01-17-3b... 66 1/17/2024
4.4.0-nightly-2024-01-03-2c... 83 1/3/2024
4.4.0-nightly-2024-01-01-2c... 85 1/1/2024
4.4.0-nightly-2023-12-31-2c... 89 12/31/2023
4.4.0-nightly-2023-12-30-2c... 95 12/30/2023
4.4.0-nightly-2023-12-29-2c... 97 12/29/2023
4.4.0-nightly-2023-12-28-2c... 79 12/28/2023
4.4.0-nightly-2023-12-27-2c... 83 12/27/2023
4.4.0-nightly-2023-12-26-2c... 78 12/26/2023
4.4.0-nightly-2023-12-25-2c... 89 12/25/2023
4.4.0-nightly-2023-12-24-2c... 93 12/24/2023
4.4.0-nightly-2023-12-23-2c... 91 12/23/2023
4.4.0-nightly-2023-12-22-2c... 86 12/22/2023
4.4.0-nightly-2023-12-21-2c... 87 12/21/2023
4.4.0-nightly-2023-12-20-2c... 89 12/20/2023
4.4.0-nightly-2023-12-19-2c... 96 12/19/2023
4.4.0-nightly-2023-12-18-2c... 107 12/18/2023
4.4.0-nightly-2023-12-17-2c... 109 12/17/2023
4.4.0-nightly-2023-12-16-2c... 100 12/16/2023
4.4.0-nightly-2023-12-15-2c... 111 12/15/2023
4.4.0-nightly-2023-12-14-2c... 82 12/15/2023
4.4.0-nightly-2023-12-13-2c... 87 12/13/2023
4.4.0-nightly-2023-12-12-4f... 104 12/12/2023
4.4.0-nightly-2023-12-11-4f... 102 12/11/2023
4.4.0-nightly-2023-12-10-4f... 102 12/10/2023
4.4.0-nightly-2023-12-09-4f... 95 12/9/2023
4.3.0 231 9/28/2023
4.3.0-nightly-2023-12-08-7e... 86 12/8/2023
4.3.0-nightly-2023-12-07-c9... 93 12/7/2023
4.3.0-nightly-2023-12-06-6a... 95 12/6/2023
4.3.0-nightly-2023-12-05-cc... 71 12/5/2023
4.3.0-nightly-2023-12-04-fd... 76 12/4/2023
4.3.0-nightly-2023-12-03-23... 91 12/3/2023
4.3.0-nightly-2023-12-02-23... 80 12/2/2023
4.3.0-nightly-2023-12-01-05... 79 12/1/2023
4.3.0-nightly-2023-11-30-8e... 78 11/30/2023
4.3.0-nightly-2023-11-29-f7... 83 11/29/2023
4.3.0-nightly-2023-11-28-c5... 76 11/28/2023
4.3.0-nightly-2023-11-27-98... 78 11/27/2023
4.3.0-nightly-2023-11-25-b1... 67 11/25/2023
4.3.0-nightly-2023-11-24-b1... 81 11/24/2023
4.3.0-nightly-2023-11-23-ec... 88 11/23/2023
4.3.0-nightly-2023-11-22-ec... 91 11/22/2023
4.3.0-nightly-2023-11-21-fd... 69 11/21/2023
4.3.0-nightly-2023-11-21-4f... 87 11/21/2023
4.3.0-nightly-2023-11-19-dd... 81 11/19/2023
4.3.0-nightly-2023-11-18-dd... 58 11/18/2023
4.3.0-nightly-2023-11-17-06... 83 11/17/2023
4.3.0-nightly-2023-11-16-f8... 87 11/16/2023
4.3.0-nightly-2023-11-15-c6... 81 11/15/2023
4.3.0-nightly-2023-11-14-84... 85 11/14/2023
4.3.0-nightly-2023-11-13-5e... 74 11/13/2023
4.3.0-nightly-2023-11-12-90... 78 11/12/2023
4.3.0-nightly-2023-11-11-90... 69 11/11/2023
4.3.0-nightly-2023-11-10-4d... 81 11/10/2023
4.3.0-nightly-2023-11-09-ee... 75 11/9/2023
4.3.0-nightly-2023-11-08-48... 73 11/8/2023
4.3.0-nightly-2023-11-07-48... 81 11/7/2023
4.3.0-nightly-2023-11-06-d4... 96 11/6/2023
4.3.0-nightly-2023-11-05-d4... 107 11/5/2023
4.3.0-nightly-2023-11-02-53... 106 11/2/2023
4.3.0-nightly-2023-11-01-45... 104 11/1/2023
4.3.0-nightly-2023-10-31-af... 96 10/31/2023
4.3.0-nightly-2023-10-30-bf... 106 10/30/2023
4.3.0-nightly-2023-10-29-17... 104 10/29/2023
4.3.0-nightly-2023-10-28-17... 105 10/28/2023
4.3.0-nightly-2023-10-27-c6... 106 10/27/2023
4.3.0-nightly-2023-10-26-c6... 117 10/26/2023
4.3.0-nightly-2023-10-25-5d... 123 10/25/2023
4.3.0-nightly-2023-10-24-cd... 125 10/24/2023
4.3.0-nightly-2023-10-23-7b... 111 10/23/2023
4.3.0-nightly-2023-10-23-3e... 117 10/24/2023
4.3.0-nightly-2023-10-20-81... 119 10/20/2023
4.3.0-nightly-2023-10-19-9e... 98 10/19/2023
4.3.0-nightly-2023-10-18-32... 109 10/18/2023
4.3.0-nightly-2023-10-17-ad... 109 10/17/2023
4.3.0-nightly-2023-10-16-41... 102 10/16/2023
4.3.0-nightly-2023-10-15-fc... 102 10/15/2023
4.3.0-nightly-2023-10-14-fc... 100 10/14/2023
4.3.0-nightly-2023-10-13-0e... 107 10/13/2023
4.3.0-nightly-2023-09-27-35... 121 9/27/2023
4.2.0 276 7/20/2023
4.2.0-nightly-2023-10-12-fd... 106 10/12/2023
4.2.0-nightly-2023-10-11-fd... 98 10/11/2023
4.2.0-nightly-2023-10-10-fd... 106 10/10/2023
4.2.0-nightly-2023-10-09-fd... 103 10/9/2023
4.2.0-nightly-2023-10-08-fd... 103 10/8/2023
4.2.0-nightly-2023-10-07-fd... 116 10/7/2023
4.2.0-nightly-2023-10-06-fd... 111 10/6/2023
4.2.0-nightly-2023-10-05-fd... 103 10/5/2023
4.2.0-nightly-2023-10-04-fd... 109 10/4/2023
4.2.0-nightly-2023-10-02-fd... 103 10/2/2023
4.2.0-nightly-2023-09-30-fd... 111 9/30/2023
4.2.0-nightly-2023-09-29-fd... 121 9/29/2023
4.2.0-nightly-2023-09-28-fd... 105 9/28/2023
4.2.0-nightly-2023-09-27-fd... 117 9/27/2023
4.2.0-nightly-2023-09-27-4d... 123 9/27/2023
4.2.0-nightly-2023-09-26-a0... 107 9/26/2023
4.2.0-nightly-2023-09-25-67... 111 9/25/2023
4.2.0-nightly-2023-09-24-67... 108 9/24/2023
4.2.0-nightly-2023-09-23-67... 111 9/23/2023
4.2.0-nightly-2023-09-22-67... 111 9/22/2023
4.2.0-nightly-2023-09-21-75... 100 9/21/2023
4.2.0-nightly-2023-09-20-c6... 106 9/20/2023
4.2.0-nightly-2023-09-19-ae... 99 9/19/2023
4.2.0-nightly-2023-09-18-45... 103 9/18/2023
4.2.0-nightly-2023-09-17-45... 103 9/18/2023
4.2.0-nightly-2023-09-16-04... 107 9/16/2023
4.2.0-nightly-2023-09-15-e7... 111 9/15/2023
4.2.0-nightly-2023-09-14-e5... 116 9/14/2023
4.2.0-nightly-2023-09-13-45... 102 9/13/2023
4.2.0-nightly-2023-09-12-27... 117 9/12/2023
4.2.0-nightly-2023-09-11-d2... 127 9/11/2023
4.2.0-nightly-2023-09-10-c5... 106 9/10/2023
4.2.0-nightly-2023-09-09-ed... 118 9/9/2023
4.2.0-nightly-2023-09-08-37... 122 9/8/2023
4.2.0-nightly-2023-09-07-b6... 133 9/7/2023
4.2.0-nightly-2023-09-06-8d... 106 9/6/2023
4.2.0-nightly-2023-09-05-e1... 124 9/5/2023
4.2.0-nightly-2023-09-04-1e... 88 9/4/2023
4.2.0-nightly-2023-09-03-4a... 117 9/4/2023
4.2.0-nightly-2023-09-02-a8... 114 9/2/2023
4.2.0-nightly-2023-09-01-e9... 132 9/1/2023
4.2.0-nightly-2023-08-31-e9... 108 8/31/2023
4.2.0-nightly-2023-08-30-05... 124 8/30/2023
4.2.0-nightly-2023-08-29-a8... 125 8/29/2023
4.2.0-nightly-2023-08-28-52... 127 8/28/2023
4.2.0-nightly-2023-08-27-95... 133 8/27/2023
4.2.0-nightly-2023-08-26-95... 121 8/26/2023
4.2.0-nightly-2023-08-25-fe... 138 8/25/2023
4.2.0-nightly-2023-08-24-c5... 145 8/24/2023
4.2.0-nightly-2023-08-24-06... 116 8/24/2023
4.2.0-nightly-2023-08-23-b9... 118 8/23/2023
4.2.0-nightly-2023-08-22-84... 118 8/22/2023
4.2.0-nightly-2023-08-21-83... 118 8/21/2023
4.2.0-nightly-2023-08-20-83... 123 8/20/2023
4.2.0-nightly-2023-08-19-83... 135 8/19/2023
4.2.0-nightly-2023-08-18-2a... 121 8/18/2023
4.2.0-nightly-2023-08-17-9e... 120 8/17/2023
4.2.0-nightly-2023-08-16-d9... 132 8/16/2023
4.2.0-nightly-2023-08-15-cd... 143 8/15/2023
4.2.0-nightly-2023-08-14-0c... 153 8/14/2023
4.2.0-nightly-2023-08-13-06... 147 8/13/2023
4.2.0-nightly-2023-08-12-06... 139 8/12/2023
4.2.0-nightly-2023-08-11-e2... 152 8/11/2023
4.2.0-nightly-2023-08-10-44... 288 8/10/2023
4.2.0-nightly-2023-08-09-20... 129 8/9/2023
4.2.0-nightly-2023-08-08-ea... 148 8/9/2023
4.2.0-nightly-2023-08-07-c3... 105 8/7/2023
4.2.0-nightly-2023-08-06-24... 134 8/6/2023
4.2.0-nightly-2023-08-05-38... 148 8/5/2023
4.2.0-nightly-2023-08-04-df... 124 8/4/2023
4.2.0-nightly-2023-08-04-65... 142 8/4/2023
4.2.0-nightly-2023-08-02-a9... 132 8/2/2023
4.2.0-nightly-2023-08-01-52... 131 8/1/2023
4.2.0-nightly-2023-07-31-3b... 149 7/31/2023
4.2.0-nightly-2023-07-30-3b... 157 7/30/2023
4.2.0-nightly-2023-07-29-3b... 132 7/29/2023
4.2.0-nightly-2023-07-28-65... 129 7/28/2023
4.2.0-nightly-2023-07-27-02... 126 7/27/2023
4.2.0-nightly-2023-07-26-59... 134 7/26/2023
4.2.0-nightly-2023-07-25-c5... 134 7/25/2023
4.2.0-nightly-2023-07-24-4d... 140 7/24/2023
4.2.0-nightly-2023-07-23-4d... 136 7/23/2023
4.2.0-nightly-2023-07-22-4d... 144 7/22/2023
4.2.0-nightly-2023-07-21-ab... 149 7/21/2023
4.1.0.50522 272 5/22/2023
4.1.0 261 5/10/2023
4.1.0-nightly-2023-07-20-35... 116 7/20/2023
4.1.0-nightly-2023-07-18-ce... 138 7/18/2023
4.1.0-nightly-2023-07-18-86... 136 7/18/2023
4.1.0-nightly-2023-07-17-ec... 110 7/17/2023
4.1.0-nightly-2023-07-17-e9... 131 7/17/2023
4.1.0-nightly-2023-07-16-e9... 133 7/16/2023
4.1.0-nightly-2023-07-15-e9... 148 7/15/2023
4.1.0-nightly-2023-07-14-12... 135 7/14/2023
4.1.0-nightly-2023-07-13-0d... 142 7/13/2023
4.1.0-nightly-2023-07-12-d4... 130 7/12/2023
4.1.0-nightly-2023-07-11-0f... 147 7/11/2023
4.1.0-nightly-2023-07-10-f4... 125 7/10/2023
4.1.0-nightly-2023-07-09-5c... 144 7/9/2023
4.1.0-nightly-2023-07-08-8b... 147 7/8/2023
4.1.0-nightly-2023-07-07-2d... 137 7/7/2023
4.1.0-nightly-2023-07-06-c5... 136 7/6/2023
4.1.0-nightly-2023-07-05-e4... 134 7/5/2023
4.1.0-nightly-2023-07-04-51... 138 7/4/2023
4.1.0-nightly-2023-07-03-65... 145 7/3/2023
4.1.0-nightly-2023-07-02-e4... 132 7/2/2023
4.1.0-nightly-2023-07-01-e4... 133 7/1/2023
4.1.0-nightly-2023-06-30-86... 141 6/30/2023
4.1.0-nightly-2023-06-29-2b... 146 6/29/2023
4.1.0-nightly-2023-06-28-2b... 138 6/28/2023
4.1.0-nightly-2023-06-27-d7... 125 6/27/2023
4.1.0-nightly-2023-06-26-d7... 112 6/26/2023
4.1.0-nightly-2023-06-25-d7... 119 6/25/2023
4.1.0-nightly-2023-06-24-d7... 133 6/24/2023
4.1.0-nightly-2023-06-23-30... 140 6/23/2023
4.1.0-nightly-2023-06-22-bd... 140 6/22/2023
4.1.0-nightly-2023-06-21-bd... 136 6/21/2023
4.1.0-nightly-2023-06-20-21... 138 6/20/2023
4.1.0-nightly-2023-06-19-9a... 113 6/19/2023
4.1.0-nightly-2023-06-18-9a... 127 6/18/2023
4.1.0-nightly-2023-06-17-9a... 139 6/17/2023
4.1.0-nightly-2023-06-16-b2... 113 6/16/2023
4.1.0-nightly-2023-06-16-18... 129 6/16/2023
4.1.0-nightly-2023-06-15-eb... 127 6/15/2023
4.1.0-nightly-2023-06-15-8f... 139 6/15/2023
4.1.0-nightly-2023-06-13-1c... 125 6/13/2023
4.1.0-nightly-2023-06-12-4e... 130 6/12/2023
4.1.0-nightly-2023-06-11-a8... 127 6/11/2023
4.1.0-nightly-2023-06-10-a8... 130 6/10/2023
4.1.0-nightly-2023-06-09-a8... 119 6/9/2023
4.1.0-nightly-2023-06-08-16... 147 6/8/2023
4.1.0-nightly-2023-06-07-28... 121 6/7/2023
4.1.0-nightly-2023-06-06-59... 136 6/6/2023
4.1.0-nightly-2023-06-05-59... 131 6/5/2023
4.1.0-nightly-2023-06-04-59... 112 6/4/2023
4.1.0-nightly-2023-06-03-59... 127 6/3/2023
4.1.0-nightly-2023-06-02-59... 147 6/2/2023
4.1.0-nightly-2023-06-01-68... 140 6/1/2023
4.1.0-nightly-2023-05-31-b6... 141 5/31/2023
4.1.0-nightly-2023-05-31-81... 126 5/31/2023
4.1.0-nightly-2023-05-30-2f... 137 5/30/2023
4.1.0-nightly-2023-05-29-de... 133 5/29/2023
4.1.0-nightly-2023-05-28-80... 140 5/28/2023
4.1.0-nightly-2023-05-27-80... 139 5/27/2023
4.1.0-nightly-2023-05-26-40... 121 5/26/2023
4.1.0-nightly-2023-05-25-b3... 127 5/25/2023
4.1.0-nightly-2023-05-24-38... 116 5/24/2023
4.1.0-nightly-2023-05-23-16... 130 5/23/2023
4.1.0-nightly-2023-05-22-c8... 129 5/22/2023
4.1.0-nightly-2023-05-21-9b... 143 5/21/2023
4.1.0-nightly-2023-05-20-9b... 136 5/20/2023
4.1.0-nightly-2023-05-19-33... 143 5/19/2023
4.1.0-nightly-2023-05-18-8c... 147 5/18/2023
4.1.0-nightly-2023-05-17-49... 145 5/17/2023
4.1.0-nightly-2023-05-17-05... 132 5/17/2023
4.1.0-nightly-2023-05-15-35... 125 5/15/2023
4.1.0-nightly-2023-05-14-35... 140 5/14/2023
4.1.0-nightly-2023-05-12-30... 135 5/12/2023
4.1.0-nightly-2023-05-11-87... 139 5/11/2023
4.1.0-nightly-2023-05-09-26... 155 5/10/2023
4.1.0-nightly-2023-05-08-d9... 238 5/8/2023
4.1.0-nightly-2023-05-07-a2... 140 5/8/2023
4.1.0-nightly-2023-05-06-a2... 135 5/6/2023
4.1.0-nightly-2023-05-05-81... 135 5/5/2023
4.1.0-nightly-2023-05-04-56... 147 5/4/2023
4.1.0-nightly-2023-05-03-aa... 137 5/3/2023
4.1.0-nightly-2023-05-02-bb... 141 5/2/2023
4.1.0-nightly-2023-05-01-38... 141 5/1/2023
4.1.0-nightly-2023-04-30-38... 126 4/30/2023
4.1.0-nightly-2023-04-29-f0... 137 4/29/2023
4.1.0-nightly-2023-04-29-20... 147 4/29/2023
4.1.0-nightly-2023-04-28-41... 150 4/28/2023
4.1.0-nightly-2023-04-27-d7... 152 4/27/2023
4.1.0-nightly-2023-04-26-21... 143 4/26/2023
4.1.0-nightly-2023-04-25-38... 166 4/25/2023
4.1.0-nightly-2023-04-24-f1... 141 4/24/2023
4.1.0-nightly-2023-04-23-f1... 163 4/23/2023
4.1.0-nightly-2023-04-22-f1... 142 4/22/2023
4.1.0-nightly-2023-04-21-1d... 152 4/21/2023
4.1.0-nightly-2023-04-20-1d... 131 4/20/2023
4.1.0-nightly-2023-04-19-1d... 153 4/19/2023
4.0.0.50303 679 3/3/2023
4.0.0.50303-nightly-2023-04... 128 4/18/2023
4.0.0.50303-nightly-2023-04... 136 4/17/2023
4.0.0.50303-nightly-2023-04... 161 4/16/2023
4.0.0.50303-nightly-2023-04... 134 4/15/2023
4.0.0.50303-nightly-2023-04... 128 4/14/2023
4.0.0.50303-nightly-2023-04... 133 4/13/2023
4.0.0.50303-nightly-2023-04... 146 4/12/2023
4.0.0.50303-nightly-2023-04... 143 4/11/2023
4.0.0.50303-nightly-2023-04... 141 4/10/2023
4.0.0.50303-nightly-2023-04... 125 4/9/2023
4.0.0.50303-nightly-2023-04... 120 4/8/2023
4.0.0.50303-nightly-2023-04... 154 4/7/2023
4.0.0.50303-nightly-2023-04... 156 4/6/2023
4.0.0.50303-nightly-2023-04... 132 4/5/2023
4.0.0.50303-nightly-2023-04... 147 4/4/2023
4.0.0.50303-nightly-2023-04... 151 4/5/2023
4.0.0.50303-nightly-2023-04... 145 4/3/2023
4.0.0.50303-nightly-2023-04... 153 4/2/2023
4.0.0.50303-nightly-2023-04... 155 4/1/2023
4.0.0.50303-nightly-2023-03... 139 3/31/2023
4.0.0.50303-nightly-2023-03... 145 3/30/2023
4.0.0.50303-nightly-2023-03... 170 3/29/2023
4.0.0.50303-nightly-2023-03... 144 3/28/2023
4.0.0.50303-nightly-2023-03... 158 3/27/2023
4.0.0.50303-nightly-2023-03... 159 3/25/2023
4.0.0.50303-nightly-2023-03... 162 3/24/2023
4.0.0.50303-nightly-2023-03... 149 3/23/2023
4.0.0.50303-nightly-2023-03... 144 3/22/2023
4.0.0.50303-nightly-2023-03... 140 3/22/2023
4.0.0.50303-nightly-2023-03... 155 3/21/2023
4.0.0.50303-nightly-2023-03... 148 3/21/2023
4.0.0.50303-nightly-2023-03... 155 3/21/2023
4.0.0.50303-nightly-2023-03... 172 3/20/2023
4.0.0.50303-nightly-2023-03... 148 3/19/2023
4.0.0.50303-nightly-2023-03... 157 3/18/2023
4.0.0.50303-nightly-2023-03... 168 3/17/2023
4.0.0.50303-nightly-2023-03... 159 3/16/2023
4.0.0.50303-nightly-2023-03... 143 3/15/2023
4.0.0.50303-nightly-2023-03... 164 3/13/2023
4.0.0.50303-nightly-2023-03... 158 3/12/2023
4.0.0.50303-nightly-2023-03... 158 3/11/2023
4.0.0.50303-nightly-2023-03... 157 3/10/2023
4.0.0.50303-nightly-2023-03... 152 3/9/2023
4.0.0.50303-nightly-2023-03... 154 3/8/2023
4.0.0.50303-nightly-2023-03... 154 3/3/2023
4.0.0.50302 439 3/3/2023
4.0.0.50302-nightly-2023-03... 126 3/2/2023
3.13.1.50302 675 3/2/2023
3.13.1.50302-nightly-2023-0... 707 3/2/2023
3.10.0.41215 1,003 12/15/2022
3.10.0.41215-nightly-2022-1... 157 12/28/2022
3.10.0.41215-nightly-2022-1... 158 12/27/2022
3.10.0.41215-nightly-2022-1... 158 12/26/2022
3.10.0.41215-nightly-2022-1... 148 12/25/2022
3.10.0.41215-nightly-2022-1... 139 12/24/2022
3.10.0.41215-nightly-2022-1... 150 12/23/2022
3.10.0.41215-nightly-2022-1... 140 12/22/2022
3.10.0.41215-nightly-2022-1... 148 12/21/2022
3.10.0.41215-nightly-2022-1... 152 12/20/2022
3.10.0.41215-nightly-2022-1... 130 12/19/2022
3.10.0.41215-nightly-2022-1... 153 12/18/2022
3.10.0.41215-nightly-2022-1... 128 12/17/2022
3.10.0.41215-nightly-2022-1... 125 12/15/2022
3.10.0.41129-nightly-2022-1... 160 11/29/2022
3.10.0-nightly-2022-12-16-7... 143 12/16/2022
3.10.0-nightly-2022-12-15-5... 128 12/15/2022
3.10.0-nightly-2022-12-14-3... 163 12/14/2022
3.10.0-nightly-2022-12-13-1... 128 12/13/2022
3.10.0-nightly-2022-12-12-f... 147 12/12/2022
3.10.0-nightly-2022-12-12-1... 119 12/12/2022
3.10.0-nightly-2022-12-11-f... 116 12/11/2022
3.10.0-nightly-2022-12-10-f... 130 12/10/2022
3.10.0-nightly-2022-12-09-f... 137 12/9/2022
3.10.0-nightly-2022-12-08-b... 154 12/8/2022
3.10.0-nightly-2022-12-07-3... 132 12/7/2022
3.10.0-nightly-2022-12-06-3... 116 12/6/2022
3.10.0-nightly-2022-12-05-3... 146 12/5/2022
3.10.0-nightly-2022-12-04-3... 130 12/4/2022
3.10.0-nightly-2022-12-03-3... 153 12/3/2022
3.10.0-nightly-2022-12-02-e... 139 12/2/2022
3.9.1.41027 739 10/27/2022
3.9.1.41027-nightly-2022-12... 138 12/1/2022
3.9.1.41027-nightly-2022-11... 139 11/30/2022
3.9.1.41027-nightly-2022-11... 148 11/29/2022
3.9.1.41027-nightly-2022-11... 140 11/29/2022
3.9.1.41027-nightly-2022-11... 136 11/28/2022
3.9.1.41027-nightly-2022-11... 134 11/27/2022
3.9.1.41027-nightly-2022-11... 156 11/26/2022
3.9.1.41027-nightly-2022-11... 124 11/25/2022
3.9.1.41027-nightly-2022-11... 155 11/24/2022
3.9.1.41027-nightly-2022-11... 154 11/23/2022
3.9.1.41027-nightly-2022-11... 165 11/22/2022
3.9.1.41027-nightly-2022-11... 132 11/21/2022
3.9.1.41027-nightly-2022-11... 148 11/20/2022
3.9.1.41027-nightly-2022-11... 144 11/19/2022
3.9.1.41027-nightly-2022-11... 136 11/18/2022
3.9.1.41027-nightly-2022-11... 132 11/17/2022
3.9.1.41027-nightly-2022-11... 137 11/16/2022
3.9.1.41027-nightly-2022-11... 164 11/15/2022
3.9.1.41027-nightly-2022-11... 150 11/14/2022
3.9.1.41027-nightly-2022-11... 153 11/13/2022
3.9.1.41027-nightly-2022-11... 150 11/12/2022
3.9.1.41027-nightly-2022-11... 166 11/11/2022
3.9.1.41027-nightly-2022-11... 136 11/10/2022
3.9.1.41027-nightly-2022-11... 138 11/9/2022
3.9.1.41027-nightly-2022-11... 135 11/8/2022
3.9.1.41027-nightly-2022-11... 147 11/7/2022
3.9.1.41027-nightly-2022-11... 155 11/6/2022
3.9.1.41027-nightly-2022-11... 164 11/5/2022
3.9.1.41027-nightly-2022-11... 130 11/4/2022
3.9.1.41027-nightly-2022-11... 217 11/3/2022
3.9.1.41027-nightly-2022-11... 221 11/2/2022
3.9.1.41027-nightly-2022-11... 222 11/2/2022
3.9.1.41027-nightly-2022-10... 220 10/31/2022
3.9.1.41027-nightly-2022-10... 199 10/29/2022
3.9.1.41027-nightly-2022-10... 221 10/28/2022
3.9.1.41027-nightly-2022-10... 220 10/27/2022
3.9.0.41003 815 10/3/2022
3.9.0.41003-nightly-2022-10... 253 10/27/2022
3.9.0.41003-nightly-2022-10... 211 10/26/2022
3.9.0.41003-nightly-2022-10... 194 10/25/2022
3.9.0.41003-nightly-2022-10... 223 10/24/2022
3.9.0.41003-nightly-2022-10... 227 10/23/2022
3.9.0.41003-nightly-2022-10... 227 10/22/2022
3.9.0.41003-nightly-2022-10... 236 10/21/2022
3.9.0.41003-nightly-2022-10... 251 10/20/2022
3.9.0.41003-nightly-2022-10... 246 10/19/2022
3.9.0.41003-nightly-2022-10... 227 10/18/2022
3.9.0.41003-nightly-2022-10... 215 10/16/2022
3.9.0.41003-nightly-2022-10... 246 10/15/2022
3.9.0.41003-nightly-2022-10... 245 10/14/2022
3.9.0.41003-nightly-2022-10... 235 10/13/2022
3.9.0.41003-nightly-2022-10... 229 10/12/2022
3.9.0.41003-nightly-2022-10... 206 10/11/2022
3.9.0.41003-nightly-2022-10... 265 10/10/2022
3.9.0.41003-nightly-2022-10... 241 10/9/2022
3.9.0.41003-nightly-2022-10... 224 10/8/2022
3.9.0.41003-nightly-2022-10... 229 10/7/2022
3.9.0.41003-nightly-2022-10... 213 10/6/2022
3.9.0.41003-nightly-2022-10... 221 10/5/2022
3.9.0.41003-nightly-2022-10... 212 10/4/2022
3.9.0.41003-nightly-2022-10... 217 10/3/2022
3.9.0.40930 779 10/3/2022
3.9.0.40930-nightly-2022-09... 233 9/30/2022
3.8.1.40901 565 9/1/2022
3.8.1.40901-nightly-2022-10... 230 10/3/2022
3.8.1.40901-nightly-2022-10... 242 10/2/2022
3.8.1.40901-nightly-2022-10... 249 10/1/2022
3.8.1.40901-nightly-2022-09... 213 9/30/2022
3.8.1.40901-nightly-2022-09... 254 9/29/2022
3.8.1.40901-nightly-2022-09... 234 9/28/2022
3.8.1.40901-nightly-2022-09... 225 9/27/2022
3.8.1.40901-nightly-2022-09... 216 9/26/2022
3.8.1.40901-nightly-2022-09... 259 9/25/2022
3.8.1.40901-nightly-2022-09... 220 9/24/2022
3.8.1.40901-nightly-2022-09... 231 9/23/2022
3.8.1.40901-nightly-2022-09... 254 9/22/2022
3.8.1.40901-nightly-2022-09... 218 9/21/2022
3.8.1.40901-nightly-2022-09... 216 9/20/2022
3.8.1.40901-nightly-2022-09... 240 9/19/2022
3.8.1.40901-nightly-2022-09... 267 9/18/2022
3.8.1.40901-nightly-2022-09... 240 9/17/2022
3.8.1.40901-nightly-2022-09... 217 9/16/2022
3.8.1.40901-nightly-2022-09... 228 9/15/2022
3.8.1.40901-nightly-2022-09... 272 9/14/2022
3.8.1.40901-nightly-2022-09... 220 9/13/2022
3.8.1.40901-nightly-2022-09... 212 9/12/2022
3.8.1.40901-nightly-2022-09... 229 9/11/2022
3.8.1.40901-nightly-2022-09... 216 9/10/2022
3.8.1.40901-nightly-2022-09... 219 9/9/2022
3.8.1.40901-nightly-2022-09... 232 9/8/2022
3.8.1.40901-nightly-2022-09... 242 9/8/2022
3.8.1.40901-nightly-2022-09... 214 9/7/2022
3.8.1.40901-nightly-2022-09... 214 9/7/2022
3.8.1.40901-nightly-2022-09... 213 9/7/2022
3.8.1.40901-nightly-2022-09... 222 9/6/2022
3.8.1.40901-nightly-2022-09... 208 9/5/2022
3.8.1.40901-nightly-2022-09... 211 9/2/2022
3.8.1.40901-nightly-2022-09... 217 9/1/2022
3.8.1.40901-nightly-2022-09... 197 9/1/2022
3.8.0.40823 568 8/23/2022
3.8.0.40823-nightly-2022-09... 225 9/1/2022
3.8.0.40823-nightly-2022-08... 212 8/31/2022
3.8.0.40823-nightly-2022-08... 235 8/30/2022
3.8.0.40823-nightly-2022-08... 224 8/29/2022
3.8.0.40823-nightly-2022-08... 207 8/28/2022
3.8.0.40823-nightly-2022-08... 227 8/27/2022
3.8.0.40823-nightly-2022-08... 227 8/26/2022
3.8.0.40823-nightly-2022-08... 223 8/25/2022
3.8.0.40823-nightly-2022-08... 207 8/24/2022
3.8.0.40823-nightly-2022-08... 223 8/23/2022
3.8.0.40823-nightly-2022-08... 216 8/23/2022
3.8.0.40822 581 8/22/2022
3.8.0.40822-nightly-2022-08... 224 8/23/2022
3.8.0.40822-nightly-2022-08... 231 8/22/2022
3.8.0.40729-nightly-2022-08... 237 8/22/2022
3.8.0.40729-nightly-2022-08... 224 8/21/2022
3.8.0.40729-nightly-2022-08... 221 8/20/2022
3.8.0.40729-nightly-2022-08... 243 8/19/2022
3.8.0.40729-nightly-2022-08... 220 8/18/2022