DafnyLanguageServer 4.6.0-nightly-2024-06-21-e3273ad

This is a prerelease version of DafnyLanguageServer.

There is a newer version of this package available.
See the version list below for details.

dotnet add package DafnyLanguageServer --version 4.6.0-nightly-2024-06-21-e3273ad

NuGet\Install-Package DafnyLanguageServer -Version 4.6.0-nightly-2024-06-21-e3273ad

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-nightly-2024-06-21-e3273ad" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

paket add DafnyLanguageServer --version 4.6.0-nightly-2024-06-21-e3273ad

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: DafnyLanguageServer, 4.6.0-nightly-2024-06-21-e3273ad"

#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-nightly-2024-06-21-e3273ad&prerelease

// Install DafnyLanguageServer as a Cake Tool
#tool nuget:?package=DafnyLanguageServer&version=4.6.0-nightly-2024-06-21-e3273ad&prerelease

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

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.

Product

.NET

Compatible target framework(s)

Included target framework(s) (in package)

Learn more about Target Frameworks and .NET Standard.

net6.0
- DafnyCore (>= 4.6.0-nightly-2024-06-21-e3273ad)
- Microsoft.Extensions.Configuration.CommandLine (>= 5.0.0)
- Microsoft.Extensions.Configuration.Json (>= 5.0.0)
- Microsoft.Extensions.Logging (>= 5.0.0)
- Newtonsoft.Json (>= 13.0.1)
- RangeTree (>= 3.0.1)
- Serilog (>= 2.12.0)
- Serilog.Extensions.Logging (>= 3.0.1)
- Serilog.Settings.Configuration (>= 3.1.0)
- Serilog.Sinks.Debug (>= 2.0.0)
- Serilog.Sinks.File (>= 5.0.0)
- System.Collections (>= 4.3.0)
- System.Diagnostics.Debug (>= 4.3.0)
- System.IO.FileSystem.Primitives (>= 4.3.0)

NuGet packages (1)

Showing the top 1 NuGet packages that depend on DafnyLanguageServer:

Package	Downloads
DafnyServer Package Description	97.2K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.7.0	64	6/26/2024
4.7.0-nightly-2024-06-27-14...	26	6/27/2024
4.6.0	435	3/28/2024
4.6.0-nightly-2024-06-26-eb...	46	6/26/2024
4.6.0-nightly-2024-06-25-2e...	65	6/25/2024
4.6.0-nightly-2024-06-24-08...	79	6/24/2024
4.6.0-nightly-2024-06-23-08...	83	6/23/2024
4.6.0-nightly-2024-06-22-08...	86	6/22/2024
4.6.0-nightly-2024-06-21-e3...	83	6/21/2024
4.6.0-nightly-2024-06-20-94...	87	6/20/2024
4.6.0-nightly-2024-06-19-94...	82	6/19/2024
4.6.0-nightly-2024-06-15-5f...	92	6/15/2024
4.6.0-nightly-2024-06-14-70...	88	6/14/2024
4.6.0-nightly-2024-06-13-70...	91	6/14/2024
4.6.0-nightly-2024-06-12-f1...	83	6/12/2024
4.6.0-nightly-2024-06-11-64...	71	6/11/2024
4.6.0-nightly-2024-06-10-f0...	86	6/10/2024
4.6.0-nightly-2024-06-09-f0...	72	6/9/2024
4.6.0-nightly-2024-06-08-9f...	76	6/8/2024
4.6.0-nightly-2024-06-07-43...	76	6/7/2024
4.6.0-nightly-2024-06-06-66...	81	6/6/2024
4.6.0-nightly-2024-06-04-da...	90	6/4/2024
4.6.0-nightly-2024-06-04-75...	75	6/4/2024
4.6.0-nightly-2024-06-04-52...	82	6/4/2024
4.6.0-nightly-2024-05-29-b5...	82	5/29/2024
4.6.0-nightly-2024-05-28-dc...	96	5/28/2024
4.6.0-nightly-2024-05-24-6b...	96	5/24/2024
4.6.0-nightly-2024-05-23-41...	103	5/24/2024
4.6.0-nightly-2024-05-22-41...	82	5/23/2024
4.6.0-nightly-2024-05-21-33...	91	5/21/2024
4.6.0-nightly-2024-05-20-7e...	101	5/20/2024
4.6.0-nightly-2024-05-18-2f...	100	5/18/2024
4.6.0-nightly-2024-05-17-80...	101	5/17/2024
4.6.0-nightly-2024-05-16-8d...	106	5/16/2024
4.6.0-nightly-2024-05-15-af...	100	5/15/2024
4.6.0-nightly-2024-05-14-8d...	71	5/14/2024
4.6.0-nightly-2024-05-13-70...	70	5/13/2024
4.6.0-nightly-2024-05-12-70...	66	5/12/2024
4.6.0-nightly-2024-05-11-70...	58	5/11/2024
4.6.0-nightly-2024-05-10-cc...	70	5/10/2024
4.6.0-nightly-2024-05-09-84...	84	5/9/2024
4.6.0-nightly-2024-05-08-1c...	72	5/8/2024
4.6.0-nightly-2024-05-07-55...	102	5/7/2024
4.6.0-nightly-2024-05-06-55...	101	5/6/2024
4.6.0-nightly-2024-05-05-55...	98	5/5/2024
4.6.0-nightly-2024-05-04-55...	103	5/4/2024
4.6.0-nightly-2024-05-03-55...	67	5/3/2024
4.6.0-nightly-2024-05-02-07...	60	5/3/2024
4.6.0-nightly-2024-05-01-8e...	75	5/1/2024
4.6.0-nightly-2024-05-01-88...	75	5/1/2024
4.6.0-nightly-2024-04-29-ea...	92	4/29/2024
4.6.0-nightly-2024-04-26-bc...	97	4/26/2024
4.6.0-nightly-2024-04-25-b4...	108	4/25/2024
4.6.0-nightly-2024-04-24-06...	101	4/24/2024
4.6.0-nightly-2024-04-22-00...	104	4/22/2024
4.6.0-nightly-2024-04-21-2e...	94	4/21/2024
4.6.0-nightly-2024-04-20-2e...	97	4/21/2024
4.6.0-nightly-2024-04-19-0c...	94	4/19/2024
4.6.0-nightly-2024-04-18-0c...	84	4/18/2024
4.6.0-nightly-2024-04-17-b3...	93	4/17/2024
4.6.0-nightly-2024-04-16-1c...	117	4/16/2024
4.6.0-nightly-2024-04-15-13...	96	4/15/2024
4.6.0-nightly-2024-04-14-13...	95	4/15/2024
4.6.0-nightly-2024-04-13-13...	86	4/13/2024
4.6.0-nightly-2024-04-12-4e...	83	4/12/2024
4.6.0-nightly-2024-04-11-62...	75	4/11/2024
4.6.0-nightly-2024-04-10-d8...	78	4/10/2024
4.6.0-nightly-2024-04-09-65...	87	4/9/2024
4.6.0-nightly-2024-04-08-be...	86	4/8/2024
4.6.0-nightly-2024-04-07-be...	83	4/7/2024
4.6.0-nightly-2024-04-05-56...	84	4/5/2024
4.6.0-nightly-2024-04-04-5c...	84	4/4/2024
4.6.0-nightly-2024-04-03-91...	73	4/3/2024
4.6.0-nightly-2024-04-02-5b...	91	4/2/2024
4.6.0-nightly-2024-04-01-69...	98	4/1/2024
4.6.0-nightly-2024-03-31-4a...	97	3/31/2024
4.6.0-nightly-2024-03-29-8f...	96	3/29/2024
4.6.0-nightly-2024-03-29-71...	77	3/29/2024
4.5.0	190	3/15/2024
4.5.0-nightly-2024-03-27-ca...	105	3/27/2024
4.5.0-nightly-2024-03-26-0c...	100	3/27/2024
4.5.0-nightly-2024-03-25-f4...	95	3/25/2024
4.5.0-nightly-2024-03-24-f4...	87	3/25/2024
4.5.0-nightly-2024-03-23-f4...	87	3/23/2024
4.5.0-nightly-2024-03-22-ec...	92	3/22/2024
4.5.0-nightly-2024-03-21-7c...	76	3/21/2024
4.5.0-nightly-2024-03-20-99...	96	3/20/2024
4.5.0-nightly-2024-03-19-39...	99	3/20/2024
4.5.0-nightly-2024-03-18-39...	95	3/18/2024
4.5.0-nightly-2024-03-17-39...	100	3/17/2024
4.5.0-nightly-2024-03-16-39...	98	3/16/2024
4.5.0-nightly-2024-03-15-02...	103	3/15/2024
4.4.0	541	12/12/2023
4.4.0-nightly-2024-03-15-87...	108	3/15/2024
4.4.0-nightly-2024-03-14-28...	100	3/14/2024
4.4.0-nightly-2024-03-13-f1...	96	3/13/2024
4.4.0-nightly-2024-03-12-69...	87	3/12/2024
4.4.0-nightly-2024-03-11-a8...	83	3/11/2024
4.4.0-nightly-2024-03-10-a2...	74	3/11/2024
4.4.0-nightly-2024-03-09-a2...	81	3/9/2024
4.4.0-nightly-2024-03-08-1d...	79	3/8/2024
4.4.0-nightly-2024-03-06-35...	85	3/6/2024
4.4.0-nightly-2024-03-05-35...	80	3/5/2024
4.4.0-nightly-2024-03-04-54...	97	3/4/2024
4.4.0-nightly-2024-03-03-4e...	95	3/3/2024
4.4.0-nightly-2024-03-01-26...	84	3/1/2024
4.4.0-nightly-2024-02-29-2a...	78	2/29/2024
4.4.0-nightly-2024-02-28-2a...	75	2/28/2024
4.4.0-nightly-2024-02-27-2a...	77	2/27/2024
4.4.0-nightly-2024-02-26-1c...	76	2/26/2024
4.4.0-nightly-2024-02-25-d6...	75	2/26/2024
4.4.0-nightly-2024-02-24-d6...	81	2/24/2024
4.4.0-nightly-2024-02-23-d6...	81	2/23/2024
4.4.0-nightly-2024-02-22-e2...	80	2/22/2024
4.4.0-nightly-2024-02-21-22...	77	2/21/2024
4.4.0-nightly-2024-02-20-ce...	73	2/20/2024
4.4.0-nightly-2024-02-19-be...	81	2/19/2024
4.4.0-nightly-2024-02-18-be...	79	2/18/2024
4.4.0-nightly-2024-02-17-be...	87	2/17/2024
4.4.0-nightly-2024-02-16-af...	68	2/16/2024
4.4.0-nightly-2024-02-15-73...	85	2/15/2024
4.4.0-nightly-2024-02-14-5c...	75	2/14/2024
4.4.0-nightly-2024-02-13-9d...	69	2/13/2024
4.4.0-nightly-2024-02-12-d7...	76	2/12/2024
4.4.0-nightly-2024-02-11-c8...	70	2/11/2024
4.4.0-nightly-2024-02-10-c8...	71	2/10/2024
4.4.0-nightly-2024-02-09-29...	66	2/9/2024
4.4.0-nightly-2024-02-08-fc...	71	2/8/2024
4.4.0-nightly-2024-02-07-59...	72	2/7/2024
4.4.0-nightly-2024-02-06-b3...	64	2/6/2024
4.4.0-nightly-2024-02-05-16...	66	2/5/2024
4.4.0-nightly-2024-02-04-c6...	67	2/4/2024
4.4.0-nightly-2024-02-03-c6...	65	2/3/2024
4.4.0-nightly-2024-02-02-70...	63	2/2/2024
4.4.0-nightly-2024-02-01-8b...	66	2/1/2024
4.4.0-nightly-2024-01-31-8b...	66	1/31/2024
4.4.0-nightly-2024-01-30-90...	68	1/30/2024
4.4.0-nightly-2024-01-26-cf...	68	1/26/2024
4.4.0-nightly-2024-01-25-cf...	68	1/25/2024
4.4.0-nightly-2024-01-24-9d...	65	1/24/2024
4.4.0-nightly-2024-01-23-fe...	77	1/23/2024
4.4.0-nightly-2024-01-22-47...	63	1/22/2024
4.4.0-nightly-2024-01-21-a7...	69	1/21/2024
4.4.0-nightly-2024-01-20-79...	65	1/20/2024
4.4.0-nightly-2024-01-19-99...	72	1/19/2024
4.4.0-nightly-2024-01-19-3b...	66	1/19/2024
4.4.0-nightly-2024-01-18-3b...	70	1/18/2024
4.4.0-nightly-2024-01-17-3b...	68	1/17/2024
4.4.0-nightly-2024-01-03-2c...	85	1/3/2024
4.4.0-nightly-2024-01-01-2c...	87	1/1/2024
4.4.0-nightly-2023-12-31-2c...	92	12/31/2023
4.4.0-nightly-2023-12-30-2c...	97	12/30/2023
4.4.0-nightly-2023-12-29-2c...	99	12/29/2023
4.4.0-nightly-2023-12-28-2c...	81	12/28/2023
4.4.0-nightly-2023-12-27-2c...	86	12/27/2023
4.4.0-nightly-2023-12-26-2c...	80	12/26/2023
4.4.0-nightly-2023-12-25-2c...	91	12/25/2023
4.4.0-nightly-2023-12-24-2c...	96	12/24/2023
4.4.0-nightly-2023-12-23-2c...	94	12/23/2023
4.4.0-nightly-2023-12-22-2c...	89	12/22/2023
4.4.0-nightly-2023-12-21-2c...	90	12/21/2023
4.4.0-nightly-2023-12-20-2c...	92	12/20/2023
4.4.0-nightly-2023-12-19-2c...	99	12/19/2023
4.4.0-nightly-2023-12-18-2c...	110	12/18/2023
4.4.0-nightly-2023-12-17-2c...	112	12/17/2023
4.4.0-nightly-2023-12-16-2c...	103	12/16/2023
4.4.0-nightly-2023-12-15-2c...	114	12/15/2023
4.4.0-nightly-2023-12-14-2c...	85	12/15/2023
4.4.0-nightly-2023-12-13-2c...	90	12/13/2023
4.4.0-nightly-2023-12-12-4f...	107	12/12/2023
4.4.0-nightly-2023-12-11-4f...	105	12/11/2023
4.4.0-nightly-2023-12-10-4f...	105	12/10/2023
4.4.0-nightly-2023-12-09-4f...	98	12/9/2023
4.3.0	238	9/28/2023
4.3.0-nightly-2023-12-08-7e...	90	12/8/2023
4.3.0-nightly-2023-12-07-c9...	96	12/7/2023
4.3.0-nightly-2023-12-06-6a...	98	12/6/2023
4.3.0-nightly-2023-12-05-cc...	74	12/5/2023
4.3.0-nightly-2023-12-04-fd...	79	12/4/2023
4.3.0-nightly-2023-12-03-23...	94	12/3/2023
4.3.0-nightly-2023-12-02-23...	83	12/2/2023
4.3.0-nightly-2023-12-01-05...	82	12/1/2023
4.3.0-nightly-2023-11-30-8e...	82	11/30/2023
4.3.0-nightly-2023-11-29-f7...	86	11/29/2023
4.3.0-nightly-2023-11-28-c5...	79	11/28/2023
4.3.0-nightly-2023-11-27-98...	81	11/27/2023
4.3.0-nightly-2023-11-25-b1...	70	11/25/2023
4.3.0-nightly-2023-11-24-b1...	84	11/24/2023
4.3.0-nightly-2023-11-23-ec...	91	11/23/2023
4.3.0-nightly-2023-11-22-ec...	94	11/22/2023
4.3.0-nightly-2023-11-21-fd...	72	11/21/2023
4.3.0-nightly-2023-11-21-4f...	90	11/21/2023
4.3.0-nightly-2023-11-19-dd...	84	11/19/2023
4.3.0-nightly-2023-11-18-dd...	61	11/18/2023
4.3.0-nightly-2023-11-17-06...	86	11/17/2023
4.3.0-nightly-2023-11-16-f8...	90	11/16/2023
4.3.0-nightly-2023-11-15-c6...	84	11/15/2023
4.3.0-nightly-2023-11-14-84...	88	11/14/2023
4.3.0-nightly-2023-11-13-5e...	77	11/13/2023
4.3.0-nightly-2023-11-12-90...	81	11/12/2023
4.3.0-nightly-2023-11-11-90...	72	11/11/2023
4.3.0-nightly-2023-11-10-4d...	84	11/10/2023
4.3.0-nightly-2023-11-09-ee...	78	11/9/2023
4.3.0-nightly-2023-11-08-48...	76	11/8/2023
4.3.0-nightly-2023-11-07-48...	84	11/7/2023
4.3.0-nightly-2023-11-06-d4...	99	11/6/2023
4.3.0-nightly-2023-11-05-d4...	110	11/5/2023
4.3.0-nightly-2023-11-02-53...	109	11/2/2023
4.3.0-nightly-2023-11-01-45...	107	11/1/2023
4.3.0-nightly-2023-10-31-af...	100	10/31/2023
4.3.0-nightly-2023-10-30-bf...	109	10/30/2023
4.3.0-nightly-2023-10-29-17...	107	10/29/2023
4.3.0-nightly-2023-10-28-17...	108	10/28/2023
4.3.0-nightly-2023-10-27-c6...	109	10/27/2023
4.3.0-nightly-2023-10-26-c6...	120	10/26/2023
4.3.0-nightly-2023-10-25-5d...	126	10/25/2023
4.3.0-nightly-2023-10-24-cd...	128	10/24/2023
4.3.0-nightly-2023-10-23-7b...	114	10/23/2023
4.3.0-nightly-2023-10-23-3e...	120	10/24/2023
4.3.0-nightly-2023-10-20-81...	122	10/20/2023
4.3.0-nightly-2023-10-19-9e...	101	10/19/2023
4.3.0-nightly-2023-10-18-32...	112	10/18/2023
4.3.0-nightly-2023-10-17-ad...	112	10/17/2023
4.3.0-nightly-2023-10-16-41...	105	10/16/2023
4.3.0-nightly-2023-10-15-fc...	105	10/15/2023
4.3.0-nightly-2023-10-14-fc...	103	10/14/2023
4.3.0-nightly-2023-10-13-0e...	110	10/13/2023
4.3.0-nightly-2023-09-27-35...	125	9/27/2023
4.2.0	283	7/20/2023
4.2.0-nightly-2023-10-12-fd...	110	10/12/2023
4.2.0-nightly-2023-10-11-fd...	101	10/11/2023
4.2.0-nightly-2023-10-10-fd...	109	10/10/2023
4.2.0-nightly-2023-10-09-fd...	106	10/9/2023
4.2.0-nightly-2023-10-08-fd...	106	10/8/2023
4.2.0-nightly-2023-10-07-fd...	119	10/7/2023
4.2.0-nightly-2023-10-06-fd...	114	10/6/2023
4.2.0-nightly-2023-10-05-fd...	106	10/5/2023
4.2.0-nightly-2023-10-04-fd...	112	10/4/2023
4.2.0-nightly-2023-10-02-fd...	106	10/2/2023
4.2.0-nightly-2023-09-30-fd...	115	9/30/2023
4.2.0-nightly-2023-09-29-fd...	124	9/29/2023
4.2.0-nightly-2023-09-28-fd...	108	9/28/2023
4.2.0-nightly-2023-09-27-fd...	120	9/27/2023
4.2.0-nightly-2023-09-27-4d...	126	9/27/2023
4.2.0-nightly-2023-09-26-a0...	110	9/26/2023
4.2.0-nightly-2023-09-25-67...	114	9/25/2023
4.2.0-nightly-2023-09-24-67...	111	9/24/2023
4.2.0-nightly-2023-09-23-67...	114	9/23/2023
4.2.0-nightly-2023-09-22-67...	114	9/22/2023
4.2.0-nightly-2023-09-21-75...	103	9/21/2023
4.2.0-nightly-2023-09-20-c6...	109	9/20/2023
4.2.0-nightly-2023-09-19-ae...	102	9/19/2023
4.2.0-nightly-2023-09-18-45...	106	9/18/2023
4.2.0-nightly-2023-09-17-45...	106	9/18/2023
4.2.0-nightly-2023-09-16-04...	112	9/16/2023
4.2.0-nightly-2023-09-15-e7...	115	9/15/2023
4.2.0-nightly-2023-09-14-e5...	120	9/14/2023
4.2.0-nightly-2023-09-13-45...	106	9/13/2023
4.2.0-nightly-2023-09-12-27...	121	9/12/2023
4.2.0-nightly-2023-09-11-d2...	135	9/11/2023
4.2.0-nightly-2023-09-10-c5...	110	9/10/2023
4.2.0-nightly-2023-09-09-ed...	122	9/9/2023
4.2.0-nightly-2023-09-08-37...	126	9/8/2023
4.2.0-nightly-2023-09-07-b6...	137	9/7/2023
4.2.0-nightly-2023-09-06-8d...	110	9/6/2023
4.2.0-nightly-2023-09-05-e1...	128	9/5/2023
4.2.0-nightly-2023-09-04-1e...	92	9/4/2023
4.2.0-nightly-2023-09-03-4a...	122	9/4/2023
4.2.0-nightly-2023-09-02-a8...	119	9/2/2023
4.2.0-nightly-2023-09-01-e9...	137	9/1/2023
4.2.0-nightly-2023-08-31-e9...	114	8/31/2023
4.2.0-nightly-2023-08-30-05...	128	8/30/2023
4.2.0-nightly-2023-08-29-a8...	129	8/29/2023
4.2.0-nightly-2023-08-28-52...	131	8/28/2023
4.2.0-nightly-2023-08-27-95...	137	8/27/2023
4.2.0-nightly-2023-08-26-95...	125	8/26/2023
4.2.0-nightly-2023-08-25-fe...	142	8/25/2023
4.2.0-nightly-2023-08-24-c5...	149	8/24/2023
4.2.0-nightly-2023-08-24-06...	121	8/24/2023
4.2.0-nightly-2023-08-23-b9...	122	8/23/2023
4.2.0-nightly-2023-08-22-84...	122	8/22/2023
4.2.0-nightly-2023-08-21-83...	122	8/21/2023
4.2.0-nightly-2023-08-20-83...	127	8/20/2023
4.2.0-nightly-2023-08-19-83...	139	8/19/2023
4.2.0-nightly-2023-08-18-2a...	125	8/18/2023
4.2.0-nightly-2023-08-17-9e...	124	8/17/2023
4.2.0-nightly-2023-08-16-d9...	136	8/16/2023
4.2.0-nightly-2023-08-15-cd...	148	8/15/2023
4.2.0-nightly-2023-08-14-0c...	157	8/14/2023
4.2.0-nightly-2023-08-13-06...	152	8/13/2023
4.2.0-nightly-2023-08-12-06...	144	8/12/2023
4.2.0-nightly-2023-08-11-e2...	157	8/11/2023
4.2.0-nightly-2023-08-10-44...	293	8/10/2023
4.2.0-nightly-2023-08-09-20...	135	8/9/2023
4.2.0-nightly-2023-08-08-ea...	153	8/9/2023
4.2.0-nightly-2023-08-07-c3...	111	8/7/2023
4.2.0-nightly-2023-08-06-24...	139	8/6/2023
4.2.0-nightly-2023-08-05-38...	153	8/5/2023
4.2.0-nightly-2023-08-04-df...	129	8/4/2023
4.2.0-nightly-2023-08-04-65...	147	8/4/2023
4.2.0-nightly-2023-08-02-a9...	137	8/2/2023
4.2.0-nightly-2023-08-01-52...	136	8/1/2023
4.2.0-nightly-2023-07-31-3b...	155	7/31/2023
4.2.0-nightly-2023-07-30-3b...	162	7/30/2023
4.2.0-nightly-2023-07-29-3b...	137	7/29/2023
4.2.0-nightly-2023-07-28-65...	134	7/28/2023
4.2.0-nightly-2023-07-27-02...	131	7/27/2023
4.2.0-nightly-2023-07-26-59...	139	7/26/2023
4.2.0-nightly-2023-07-25-c5...	139	7/25/2023
4.2.0-nightly-2023-07-24-4d...	144	7/24/2023
4.2.0-nightly-2023-07-23-4d...	140	7/23/2023
4.2.0-nightly-2023-07-22-4d...	148	7/22/2023
4.2.0-nightly-2023-07-21-ab...	153	7/21/2023
4.1.0.50522	280	5/22/2023
4.1.0	268	5/10/2023
4.1.0-nightly-2023-07-20-35...	121	7/20/2023
4.1.0-nightly-2023-07-18-ce...	142	7/18/2023
4.1.0-nightly-2023-07-18-86...	140	7/18/2023
4.1.0-nightly-2023-07-17-ec...	114	7/17/2023
4.1.0-nightly-2023-07-17-e9...	135	7/17/2023
4.1.0-nightly-2023-07-16-e9...	137	7/16/2023
4.1.0-nightly-2023-07-15-e9...	152	7/15/2023
4.1.0-nightly-2023-07-14-12...	139	7/14/2023
4.1.0-nightly-2023-07-13-0d...	146	7/13/2023
4.1.0-nightly-2023-07-12-d4...	134	7/12/2023
4.1.0-nightly-2023-07-11-0f...	151	7/11/2023
4.1.0-nightly-2023-07-10-f4...	129	7/10/2023
4.1.0-nightly-2023-07-09-5c...	148	7/9/2023
4.1.0-nightly-2023-07-08-8b...	151	7/8/2023
4.1.0-nightly-2023-07-07-2d...	141	7/7/2023
4.1.0-nightly-2023-07-06-c5...	140	7/6/2023
4.1.0-nightly-2023-07-05-e4...	138	7/5/2023
4.1.0-nightly-2023-07-04-51...	142	7/4/2023
4.1.0-nightly-2023-07-03-65...	149	7/3/2023
4.1.0-nightly-2023-07-02-e4...	136	7/2/2023
4.1.0-nightly-2023-07-01-e4...	137	7/1/2023
4.1.0-nightly-2023-06-30-86...	146	6/30/2023
4.1.0-nightly-2023-06-29-2b...	150	6/29/2023
4.1.0-nightly-2023-06-28-2b...	142	6/28/2023
4.1.0-nightly-2023-06-27-d7...	129	6/27/2023
4.1.0-nightly-2023-06-26-d7...	116	6/26/2023
4.1.0-nightly-2023-06-25-d7...	123	6/25/2023
4.1.0-nightly-2023-06-24-d7...	137	6/24/2023
4.1.0-nightly-2023-06-23-30...	144	6/23/2023
4.1.0-nightly-2023-06-22-bd...	143	6/22/2023
4.1.0-nightly-2023-06-21-bd...	139	6/21/2023
4.1.0-nightly-2023-06-20-21...	141	6/20/2023
4.1.0-nightly-2023-06-19-9a...	116	6/19/2023
4.1.0-nightly-2023-06-18-9a...	130	6/18/2023
4.1.0-nightly-2023-06-17-9a...	142	6/17/2023
4.1.0-nightly-2023-06-16-b2...	116	6/16/2023
4.1.0-nightly-2023-06-16-18...	132	6/16/2023
4.1.0-nightly-2023-06-15-eb...	130	6/15/2023
4.1.0-nightly-2023-06-15-8f...	142	6/15/2023
4.1.0-nightly-2023-06-13-1c...	128	6/13/2023
4.1.0-nightly-2023-06-12-4e...	133	6/12/2023
4.1.0-nightly-2023-06-11-a8...	130	6/11/2023
4.1.0-nightly-2023-06-10-a8...	133	6/10/2023
4.1.0-nightly-2023-06-09-a8...	122	6/9/2023
4.1.0-nightly-2023-06-08-16...	150	6/8/2023
4.1.0-nightly-2023-06-07-28...	124	6/7/2023
4.1.0-nightly-2023-06-06-59...	139	6/6/2023
4.1.0-nightly-2023-06-05-59...	134	6/5/2023
4.1.0-nightly-2023-06-04-59...	115	6/4/2023
4.1.0-nightly-2023-06-03-59...	130	6/3/2023
4.1.0-nightly-2023-06-02-59...	150	6/2/2023
4.1.0-nightly-2023-06-01-68...	143	6/1/2023
4.1.0-nightly-2023-05-31-b6...	145	5/31/2023
4.1.0-nightly-2023-05-31-81...	129	5/31/2023
4.1.0-nightly-2023-05-30-2f...	140	5/30/2023
4.1.0-nightly-2023-05-29-de...	136	5/29/2023
4.1.0-nightly-2023-05-28-80...	143	5/28/2023
4.1.0-nightly-2023-05-27-80...	142	5/27/2023
4.1.0-nightly-2023-05-26-40...	124	5/26/2023
4.1.0-nightly-2023-05-25-b3...	130	5/25/2023
4.1.0-nightly-2023-05-24-38...	119	5/24/2023
4.1.0-nightly-2023-05-23-16...	135	5/23/2023
4.1.0-nightly-2023-05-22-c8...	132	5/22/2023
4.1.0-nightly-2023-05-21-9b...	146	5/21/2023
4.1.0-nightly-2023-05-20-9b...	139	5/20/2023
4.1.0-nightly-2023-05-19-33...	146	5/19/2023
4.1.0-nightly-2023-05-18-8c...	150	5/18/2023
4.1.0-nightly-2023-05-17-49...	148	5/17/2023
4.1.0-nightly-2023-05-17-05...	135	5/17/2023
4.1.0-nightly-2023-05-15-35...	128	5/15/2023
4.1.0-nightly-2023-05-14-35...	143	5/14/2023
4.1.0-nightly-2023-05-12-30...	138	5/12/2023
4.1.0-nightly-2023-05-11-87...	142	5/11/2023
4.1.0-nightly-2023-05-09-26...	158	5/10/2023
4.1.0-nightly-2023-05-08-d9...	241	5/8/2023
4.1.0-nightly-2023-05-07-a2...	143	5/8/2023
4.1.0-nightly-2023-05-06-a2...	138	5/6/2023
4.1.0-nightly-2023-05-05-81...	138	5/5/2023
4.1.0-nightly-2023-05-04-56...	150	5/4/2023
4.1.0-nightly-2023-05-03-aa...	140	5/3/2023
4.1.0-nightly-2023-05-02-bb...	144	5/2/2023
4.1.0-nightly-2023-05-01-38...	144	5/1/2023
4.1.0-nightly-2023-04-30-38...	130	4/30/2023
4.1.0-nightly-2023-04-29-f0...	142	4/29/2023
4.1.0-nightly-2023-04-29-20...	150	4/29/2023
4.1.0-nightly-2023-04-28-41...	153	4/28/2023
4.1.0-nightly-2023-04-27-d7...	157	4/27/2023
4.1.0-nightly-2023-04-26-21...	148	4/26/2023
4.1.0-nightly-2023-04-25-38...	169	4/25/2023
4.1.0-nightly-2023-04-24-f1...	144	4/24/2023
4.1.0-nightly-2023-04-23-f1...	166	4/23/2023
4.1.0-nightly-2023-04-22-f1...	147	4/22/2023
4.1.0-nightly-2023-04-21-1d...	155	4/21/2023
4.1.0-nightly-2023-04-20-1d...	134	4/20/2023
4.1.0-nightly-2023-04-19-1d...	156	4/19/2023
4.0.0.50303	688	3/3/2023
4.0.0.50303-nightly-2023-04...	132	4/18/2023
4.0.0.50303-nightly-2023-04...	139	4/17/2023
4.0.0.50303-nightly-2023-04...	164	4/16/2023
4.0.0.50303-nightly-2023-04...	137	4/15/2023
4.0.0.50303-nightly-2023-04...	131	4/14/2023
4.0.0.50303-nightly-2023-04...	136	4/13/2023
4.0.0.50303-nightly-2023-04...	149	4/12/2023
4.0.0.50303-nightly-2023-04...	146	4/11/2023
4.0.0.50303-nightly-2023-04...	144	4/10/2023
4.0.0.50303-nightly-2023-04...	128	4/9/2023
4.0.0.50303-nightly-2023-04...	123	4/8/2023
4.0.0.50303-nightly-2023-04...	157	4/7/2023
4.0.0.50303-nightly-2023-04...	159	4/6/2023
4.0.0.50303-nightly-2023-04...	135	4/5/2023
4.0.0.50303-nightly-2023-04...	150	4/4/2023
4.0.0.50303-nightly-2023-04...	154	4/5/2023
4.0.0.50303-nightly-2023-04...	148	4/3/2023
4.0.0.50303-nightly-2023-04...	156	4/2/2023
4.0.0.50303-nightly-2023-04...	158	4/1/2023
4.0.0.50303-nightly-2023-03...	143	3/31/2023
4.0.0.50303-nightly-2023-03...	148	3/30/2023
4.0.0.50303-nightly-2023-03...	173	3/29/2023
4.0.0.50303-nightly-2023-03...	147	3/28/2023
4.0.0.50303-nightly-2023-03...	161	3/27/2023
4.0.0.50303-nightly-2023-03...	162	3/25/2023
4.0.0.50303-nightly-2023-03...	165	3/24/2023
4.0.0.50303-nightly-2023-03...	152	3/23/2023
4.0.0.50303-nightly-2023-03...	147	3/22/2023
4.0.0.50303-nightly-2023-03...	143	3/22/2023
4.0.0.50303-nightly-2023-03...	158	3/21/2023
4.0.0.50303-nightly-2023-03...	151	3/21/2023
4.0.0.50303-nightly-2023-03...	158	3/21/2023
4.0.0.50303-nightly-2023-03...	175	3/20/2023
4.0.0.50303-nightly-2023-03...	151	3/19/2023
4.0.0.50303-nightly-2023-03...	160	3/18/2023
4.0.0.50303-nightly-2023-03...	171	3/17/2023
4.0.0.50303-nightly-2023-03...	162	3/16/2023
4.0.0.50303-nightly-2023-03...	146	3/15/2023
4.0.0.50303-nightly-2023-03...	167	3/13/2023
4.0.0.50303-nightly-2023-03...	161	3/12/2023
4.0.0.50303-nightly-2023-03...	161	3/11/2023
4.0.0.50303-nightly-2023-03...	160	3/10/2023
4.0.0.50303-nightly-2023-03...	155	3/9/2023
4.0.0.50303-nightly-2023-03...	157	3/8/2023
4.0.0.50303-nightly-2023-03...	157	3/3/2023
4.0.0.50302	445	3/3/2023
4.0.0.50302-nightly-2023-03...	129	3/2/2023
3.13.1.50302	682	3/2/2023
3.13.1.50302-nightly-2023-0...	711	3/2/2023
3.10.0.41215	1,012	12/15/2022
3.10.0.41215-nightly-2022-1...	161	12/28/2022
3.10.0.41215-nightly-2022-1...	161	12/27/2022
3.10.0.41215-nightly-2022-1...	161	12/26/2022
3.10.0.41215-nightly-2022-1...	151	12/25/2022
3.10.0.41215-nightly-2022-1...	142	12/24/2022
3.10.0.41215-nightly-2022-1...	153	12/23/2022
3.10.0.41215-nightly-2022-1...	143	12/22/2022
3.10.0.41215-nightly-2022-1...	151	12/21/2022
3.10.0.41215-nightly-2022-1...	155	12/20/2022
3.10.0.41215-nightly-2022-1...	133	12/19/2022
3.10.0.41215-nightly-2022-1...	156	12/18/2022
3.10.0.41215-nightly-2022-1...	131	12/17/2022
3.10.0.41215-nightly-2022-1...	128	12/15/2022
3.10.0.41129-nightly-2022-1...	164	11/29/2022
3.10.0-nightly-2022-12-16-7...	146	12/16/2022
3.10.0-nightly-2022-12-15-5...	131	12/15/2022
3.10.0-nightly-2022-12-14-3...	166	12/14/2022
3.10.0-nightly-2022-12-13-1...	131	12/13/2022
3.10.0-nightly-2022-12-12-f...	150	12/12/2022
3.10.0-nightly-2022-12-12-1...	122	12/12/2022
3.10.0-nightly-2022-12-11-f...	119	12/11/2022
3.10.0-nightly-2022-12-10-f...	133	12/10/2022
3.10.0-nightly-2022-12-09-f...	142	12/9/2022
3.10.0-nightly-2022-12-08-b...	157	12/8/2022
3.10.0-nightly-2022-12-07-3...	135	12/7/2022
3.10.0-nightly-2022-12-06-3...	119	12/6/2022
3.10.0-nightly-2022-12-05-3...	149	12/5/2022
3.10.0-nightly-2022-12-04-3...	133	12/4/2022
3.10.0-nightly-2022-12-03-3...	156	12/3/2022
3.10.0-nightly-2022-12-02-e...	142	12/2/2022
3.9.1.41027	744	10/27/2022
3.9.1.41027-nightly-2022-12...	142	12/1/2022
3.9.1.41027-nightly-2022-11...	143	11/30/2022
3.9.1.41027-nightly-2022-11...	151	11/29/2022
3.9.1.41027-nightly-2022-11...	143	11/29/2022
3.9.1.41027-nightly-2022-11...	139	11/28/2022
3.9.1.41027-nightly-2022-11...	137	11/27/2022
3.9.1.41027-nightly-2022-11...	159	11/26/2022
3.9.1.41027-nightly-2022-11...	127	11/25/2022
3.9.1.41027-nightly-2022-11...	158	11/24/2022
3.9.1.41027-nightly-2022-11...	157	11/23/2022
3.9.1.41027-nightly-2022-11...	168	11/22/2022
3.9.1.41027-nightly-2022-11...	135	11/21/2022
3.9.1.41027-nightly-2022-11...	151	11/20/2022
3.9.1.41027-nightly-2022-11...	147	11/19/2022
3.9.1.41027-nightly-2022-11...	139	11/18/2022
3.9.1.41027-nightly-2022-11...	135	11/17/2022
3.9.1.41027-nightly-2022-11...	140	11/16/2022
3.9.1.41027-nightly-2022-11...	167	11/15/2022
3.9.1.41027-nightly-2022-11...	153	11/14/2022
3.9.1.41027-nightly-2022-11...	156	11/13/2022
3.9.1.41027-nightly-2022-11...	153	11/12/2022
3.9.1.41027-nightly-2022-11...	170	11/11/2022
3.9.1.41027-nightly-2022-11...	139	11/10/2022
3.9.1.41027-nightly-2022-11...	141	11/9/2022
3.9.1.41027-nightly-2022-11...	138	11/8/2022
3.9.1.41027-nightly-2022-11...	150	11/7/2022
3.9.1.41027-nightly-2022-11...	158	11/6/2022
3.9.1.41027-nightly-2022-11...	167	11/5/2022
3.9.1.41027-nightly-2022-11...	133	11/4/2022
3.9.1.41027-nightly-2022-11...	220	11/3/2022
3.9.1.41027-nightly-2022-11...	224	11/2/2022
3.9.1.41027-nightly-2022-11...	225	11/2/2022
3.9.1.41027-nightly-2022-10...	226	10/31/2022
3.9.1.41027-nightly-2022-10...	204	10/29/2022
3.9.1.41027-nightly-2022-10...	224	10/28/2022
3.9.1.41027-nightly-2022-10...	225	10/27/2022
3.9.0.41003	823	10/3/2022
3.9.0.41003-nightly-2022-10...	258	10/27/2022
3.9.0.41003-nightly-2022-10...	216	10/26/2022
3.9.0.41003-nightly-2022-10...	199	10/25/2022
3.9.0.41003-nightly-2022-10...	228	10/24/2022
3.9.0.41003-nightly-2022-10...	232	10/23/2022
3.9.0.41003-nightly-2022-10...	230	10/22/2022
3.9.0.41003-nightly-2022-10...	241	10/21/2022
3.9.0.41003-nightly-2022-10...	256	10/20/2022
3.9.0.41003-nightly-2022-10...	249	10/19/2022
3.9.0.41003-nightly-2022-10...	230	10/18/2022
3.9.0.41003-nightly-2022-10...	220	10/16/2022
3.9.0.41003-nightly-2022-10...	251	10/15/2022
3.9.0.41003-nightly-2022-10...	250	10/14/2022
3.9.0.41003-nightly-2022-10...	240	10/13/2022
3.9.0.41003-nightly-2022-10...	232	10/12/2022
3.9.0.41003-nightly-2022-10...	209	10/11/2022
3.9.0.41003-nightly-2022-10...	268	10/10/2022
3.9.0.41003-nightly-2022-10...	246	10/9/2022
3.9.0.41003-nightly-2022-10...	227	10/8/2022
3.9.0.41003-nightly-2022-10...	234	10/7/2022
3.9.0.41003-nightly-2022-10...	218	10/6/2022
3.9.0.41003-nightly-2022-10...	224	10/5/2022
3.9.0.41003-nightly-2022-10...	215	10/4/2022
3.9.0.41003-nightly-2022-10...	222	10/3/2022
3.9.0.40930	785	10/3/2022
3.9.0.40930-nightly-2022-09...	237	9/30/2022
3.8.1.40901	570	9/1/2022
3.8.1.40901-nightly-2022-10...	236	10/3/2022
3.8.1.40901-nightly-2022-10...	247	10/2/2022
3.8.1.40901-nightly-2022-10...	254	10/1/2022
3.8.1.40901-nightly-2022-09...	219	9/30/2022
3.8.1.40901-nightly-2022-09...	259	9/29/2022
3.8.1.40901-nightly-2022-09...	239	9/28/2022
3.8.1.40901-nightly-2022-09...	228	9/27/2022
3.8.1.40901-nightly-2022-09...	221	9/26/2022
3.8.1.40901-nightly-2022-09...	264	9/25/2022
3.8.1.40901-nightly-2022-09...	223	9/24/2022
3.8.1.40901-nightly-2022-09...	236	9/23/2022
3.8.1.40901-nightly-2022-09...	259	9/22/2022
3.8.1.40901-nightly-2022-09...	221	9/21/2022
3.8.1.40901-nightly-2022-09...	219	9/20/2022
3.8.1.40901-nightly-2022-09...	243	9/19/2022
3.8.1.40901-nightly-2022-09...	272	9/18/2022
3.8.1.40901-nightly-2022-09...	245	9/17/2022
3.8.1.40901-nightly-2022-09...	220	9/16/2022
3.8.1.40901-nightly-2022-09...	231	9/15/2022
3.8.1.40901-nightly-2022-09...	279	9/14/2022
3.8.1.40901-nightly-2022-09...	223	9/13/2022
3.8.1.40901-nightly-2022-09...	215	9/12/2022
3.8.1.40901-nightly-2022-09...	232	9/11/2022
3.8.1.40901-nightly-2022-09...	219	9/10/2022
3.8.1.40901-nightly-2022-09...	222	9/9/2022
3.8.1.40901-nightly-2022-09...	235	9/8/2022
3.8.1.40901-nightly-2022-09...	245	9/8/2022
3.8.1.40901-nightly-2022-09...	217	9/7/2022
3.8.1.40901-nightly-2022-09...	217	9/7/2022
3.8.1.40901-nightly-2022-09...	216	9/7/2022
3.8.1.40901-nightly-2022-09...	225	9/6/2022
3.8.1.40901-nightly-2022-09...	211	9/5/2022
3.8.1.40901-nightly-2022-09...	214	9/2/2022
3.8.1.40901-nightly-2022-09...	220	9/1/2022
3.8.1.40901-nightly-2022-09...	200	9/1/2022
3.8.0.40823	573	8/23/2022
3.8.0.40823-nightly-2022-09...	228	9/1/2022
3.8.0.40823-nightly-2022-08...	216	8/31/2022
3.8.0.40823-nightly-2022-08...	238	8/30/2022
3.8.0.40823-nightly-2022-08...	227	8/29/2022
3.8.0.40823-nightly-2022-08...	210	8/28/2022
3.8.0.40823-nightly-2022-08...	230	8/27/2022
3.8.0.40823-nightly-2022-08...	230	8/26/2022
3.8.0.40823-nightly-2022-08...	226	8/25/2022
3.8.0.40823-nightly-2022-08...	210	8/24/2022
3.8.0.40823-nightly-2022-08...	226	8/23/2022
3.8.0.40823-nightly-2022-08...	219	8/23/2022
3.8.0.40822	585	8/22/2022
3.8.0.40822-nightly-2022-08...	227	8/23/2022
3.8.0.40822-nightly-2022-08...	234	8/22/2022
3.8.0.40729-nightly-2022-08...	240	8/22/2022
3.8.0.40729-nightly-2022-08...	227	8/21/2022
3.8.0.40729-nightly-2022-08...	224	8/20/2022
3.8.0.40729-nightly-2022-08...	246	8/19/2022
3.8.0.40729-nightly-2022-08...	223	8/18/2022

Total 89.4K

Current version 83

Per day average 120