DafnyLanguageServer 4.6.0-nightly-2024-06-15-5f74d6a

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-15-5f74d6a

NuGet\Install-Package DafnyLanguageServer -Version 4.6.0-nightly-2024-06-15-5f74d6a

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-15-5f74d6a" />

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-15-5f74d6a

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-15-5f74d6a"

#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-15-5f74d6a&prerelease

// Install DafnyLanguageServer as a Cake Tool
#tool nuget:?package=DafnyLanguageServer&version=4.6.0-nightly-2024-06-15-5f74d6a&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-15-5f74d6a)
- 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	95.9K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.7.0	0	6/26/2024
4.6.0	431	3/28/2024
4.6.0-nightly-2024-06-26-eb...	0	6/26/2024
4.6.0-nightly-2024-06-25-2e...	50	6/25/2024
4.6.0-nightly-2024-06-24-08...	67	6/24/2024
4.6.0-nightly-2024-06-23-08...	71	6/23/2024
4.6.0-nightly-2024-06-22-08...	71	6/22/2024
4.6.0-nightly-2024-06-21-e3...	67	6/21/2024
4.6.0-nightly-2024-06-20-94...	71	6/20/2024
4.6.0-nightly-2024-06-19-94...	77	6/19/2024
4.6.0-nightly-2024-06-15-5f...	91	6/15/2024
4.6.0-nightly-2024-06-14-70...	87	6/14/2024
4.6.0-nightly-2024-06-13-70...	90	6/14/2024
4.6.0-nightly-2024-06-12-f1...	82	6/12/2024
4.6.0-nightly-2024-06-11-64...	70	6/11/2024
4.6.0-nightly-2024-06-10-f0...	85	6/10/2024
4.6.0-nightly-2024-06-09-f0...	71	6/9/2024
4.6.0-nightly-2024-06-08-9f...	75	6/8/2024
4.6.0-nightly-2024-06-07-43...	75	6/7/2024
4.6.0-nightly-2024-06-06-66...	80	6/6/2024
4.6.0-nightly-2024-06-04-da...	89	6/4/2024
4.6.0-nightly-2024-06-04-75...	74	6/4/2024
4.6.0-nightly-2024-06-04-52...	81	6/4/2024
4.6.0-nightly-2024-05-29-b5...	81	5/29/2024
4.6.0-nightly-2024-05-28-dc...	95	5/28/2024
4.6.0-nightly-2024-05-24-6b...	95	5/24/2024
4.6.0-nightly-2024-05-23-41...	102	5/24/2024
4.6.0-nightly-2024-05-22-41...	81	5/23/2024
4.6.0-nightly-2024-05-21-33...	90	5/21/2024
4.6.0-nightly-2024-05-20-7e...	100	5/20/2024
4.6.0-nightly-2024-05-18-2f...	99	5/18/2024
4.6.0-nightly-2024-05-17-80...	100	5/17/2024
4.6.0-nightly-2024-05-16-8d...	105	5/16/2024
4.6.0-nightly-2024-05-15-af...	99	5/15/2024
4.6.0-nightly-2024-05-14-8d...	70	5/14/2024
4.6.0-nightly-2024-05-13-70...	69	5/13/2024
4.6.0-nightly-2024-05-12-70...	65	5/12/2024
4.6.0-nightly-2024-05-11-70...	57	5/11/2024
4.6.0-nightly-2024-05-10-cc...	69	5/10/2024
4.6.0-nightly-2024-05-09-84...	83	5/9/2024
4.6.0-nightly-2024-05-08-1c...	71	5/8/2024
4.6.0-nightly-2024-05-07-55...	101	5/7/2024
4.6.0-nightly-2024-05-06-55...	100	5/6/2024
4.6.0-nightly-2024-05-05-55...	97	5/5/2024
4.6.0-nightly-2024-05-04-55...	102	5/4/2024
4.6.0-nightly-2024-05-03-55...	66	5/3/2024
4.6.0-nightly-2024-05-02-07...	59	5/3/2024
4.6.0-nightly-2024-05-01-8e...	74	5/1/2024
4.6.0-nightly-2024-05-01-88...	74	5/1/2024
4.6.0-nightly-2024-04-29-ea...	91	4/29/2024
4.6.0-nightly-2024-04-26-bc...	96	4/26/2024
4.6.0-nightly-2024-04-25-b4...	107	4/25/2024
4.6.0-nightly-2024-04-24-06...	100	4/24/2024
4.6.0-nightly-2024-04-22-00...	103	4/22/2024
4.6.0-nightly-2024-04-21-2e...	93	4/21/2024
4.6.0-nightly-2024-04-20-2e...	96	4/21/2024
4.6.0-nightly-2024-04-19-0c...	93	4/19/2024
4.6.0-nightly-2024-04-18-0c...	83	4/18/2024
4.6.0-nightly-2024-04-17-b3...	92	4/17/2024
4.6.0-nightly-2024-04-16-1c...	116	4/16/2024
4.6.0-nightly-2024-04-15-13...	95	4/15/2024
4.6.0-nightly-2024-04-14-13...	94	4/15/2024
4.6.0-nightly-2024-04-13-13...	85	4/13/2024
4.6.0-nightly-2024-04-12-4e...	82	4/12/2024
4.6.0-nightly-2024-04-11-62...	74	4/11/2024
4.6.0-nightly-2024-04-10-d8...	77	4/10/2024
4.6.0-nightly-2024-04-09-65...	86	4/9/2024
4.6.0-nightly-2024-04-08-be...	85	4/8/2024
4.6.0-nightly-2024-04-07-be...	82	4/7/2024
4.6.0-nightly-2024-04-05-56...	83	4/5/2024
4.6.0-nightly-2024-04-04-5c...	83	4/4/2024
4.6.0-nightly-2024-04-03-91...	72	4/3/2024
4.6.0-nightly-2024-04-02-5b...	90	4/2/2024
4.6.0-nightly-2024-04-01-69...	97	4/1/2024
4.6.0-nightly-2024-03-31-4a...	96	3/31/2024
4.6.0-nightly-2024-03-29-8f...	95	3/29/2024
4.6.0-nightly-2024-03-29-71...	76	3/29/2024
4.5.0	189	3/15/2024
4.5.0-nightly-2024-03-27-ca...	104	3/27/2024
4.5.0-nightly-2024-03-26-0c...	99	3/27/2024
4.5.0-nightly-2024-03-25-f4...	94	3/25/2024
4.5.0-nightly-2024-03-24-f4...	86	3/25/2024
4.5.0-nightly-2024-03-23-f4...	86	3/23/2024
4.5.0-nightly-2024-03-22-ec...	91	3/22/2024
4.5.0-nightly-2024-03-21-7c...	75	3/21/2024
4.5.0-nightly-2024-03-20-99...	95	3/20/2024
4.5.0-nightly-2024-03-19-39...	98	3/20/2024
4.5.0-nightly-2024-03-18-39...	94	3/18/2024
4.5.0-nightly-2024-03-17-39...	99	3/17/2024
4.5.0-nightly-2024-03-16-39...	97	3/16/2024
4.5.0-nightly-2024-03-15-02...	102	3/15/2024
4.4.0	540	12/12/2023
4.4.0-nightly-2024-03-15-87...	107	3/15/2024
4.4.0-nightly-2024-03-14-28...	99	3/14/2024
4.4.0-nightly-2024-03-13-f1...	95	3/13/2024
4.4.0-nightly-2024-03-12-69...	86	3/12/2024
4.4.0-nightly-2024-03-11-a8...	82	3/11/2024
4.4.0-nightly-2024-03-10-a2...	73	3/11/2024
4.4.0-nightly-2024-03-09-a2...	80	3/9/2024
4.4.0-nightly-2024-03-08-1d...	78	3/8/2024
4.4.0-nightly-2024-03-06-35...	84	3/6/2024
4.4.0-nightly-2024-03-05-35...	79	3/5/2024
4.4.0-nightly-2024-03-04-54...	96	3/4/2024
4.4.0-nightly-2024-03-03-4e...	94	3/3/2024
4.4.0-nightly-2024-03-01-26...	83	3/1/2024
4.4.0-nightly-2024-02-29-2a...	77	2/29/2024
4.4.0-nightly-2024-02-28-2a...	74	2/28/2024
4.4.0-nightly-2024-02-27-2a...	76	2/27/2024
4.4.0-nightly-2024-02-26-1c...	75	2/26/2024
4.4.0-nightly-2024-02-25-d6...	74	2/26/2024
4.4.0-nightly-2024-02-24-d6...	80	2/24/2024
4.4.0-nightly-2024-02-23-d6...	80	2/23/2024
4.4.0-nightly-2024-02-22-e2...	79	2/22/2024
4.4.0-nightly-2024-02-21-22...	76	2/21/2024
4.4.0-nightly-2024-02-20-ce...	72	2/20/2024
4.4.0-nightly-2024-02-19-be...	80	2/19/2024
4.4.0-nightly-2024-02-18-be...	78	2/18/2024
4.4.0-nightly-2024-02-17-be...	86	2/17/2024
4.4.0-nightly-2024-02-16-af...	67	2/16/2024
4.4.0-nightly-2024-02-15-73...	84	2/15/2024
4.4.0-nightly-2024-02-14-5c...	74	2/14/2024
4.4.0-nightly-2024-02-13-9d...	68	2/13/2024
4.4.0-nightly-2024-02-12-d7...	75	2/12/2024
4.4.0-nightly-2024-02-11-c8...	69	2/11/2024
4.4.0-nightly-2024-02-10-c8...	70	2/10/2024
4.4.0-nightly-2024-02-09-29...	65	2/9/2024
4.4.0-nightly-2024-02-08-fc...	70	2/8/2024
4.4.0-nightly-2024-02-07-59...	71	2/7/2024
4.4.0-nightly-2024-02-06-b3...	63	2/6/2024
4.4.0-nightly-2024-02-05-16...	65	2/5/2024
4.4.0-nightly-2024-02-04-c6...	66	2/4/2024
4.4.0-nightly-2024-02-03-c6...	64	2/3/2024
4.4.0-nightly-2024-02-02-70...	62	2/2/2024
4.4.0-nightly-2024-02-01-8b...	65	2/1/2024
4.4.0-nightly-2024-01-31-8b...	65	1/31/2024
4.4.0-nightly-2024-01-30-90...	67	1/30/2024
4.4.0-nightly-2024-01-26-cf...	67	1/26/2024
4.4.0-nightly-2024-01-25-cf...	67	1/25/2024
4.4.0-nightly-2024-01-24-9d...	64	1/24/2024
4.4.0-nightly-2024-01-23-fe...	76	1/23/2024
4.4.0-nightly-2024-01-22-47...	62	1/22/2024
4.4.0-nightly-2024-01-21-a7...	68	1/21/2024
4.4.0-nightly-2024-01-20-79...	64	1/20/2024
4.4.0-nightly-2024-01-19-99...	71	1/19/2024
4.4.0-nightly-2024-01-19-3b...	65	1/19/2024
4.4.0-nightly-2024-01-18-3b...	69	1/18/2024
4.4.0-nightly-2024-01-17-3b...	67	1/17/2024
4.4.0-nightly-2024-01-03-2c...	84	1/3/2024
4.4.0-nightly-2024-01-01-2c...	86	1/1/2024
4.4.0-nightly-2023-12-31-2c...	91	12/31/2023
4.4.0-nightly-2023-12-30-2c...	96	12/30/2023
4.4.0-nightly-2023-12-29-2c...	98	12/29/2023
4.4.0-nightly-2023-12-28-2c...	80	12/28/2023
4.4.0-nightly-2023-12-27-2c...	85	12/27/2023
4.4.0-nightly-2023-12-26-2c...	79	12/26/2023
4.4.0-nightly-2023-12-25-2c...	90	12/25/2023
4.4.0-nightly-2023-12-24-2c...	95	12/24/2023
4.4.0-nightly-2023-12-23-2c...	93	12/23/2023
4.4.0-nightly-2023-12-22-2c...	88	12/22/2023
4.4.0-nightly-2023-12-21-2c...	89	12/21/2023
4.4.0-nightly-2023-12-20-2c...	91	12/20/2023
4.4.0-nightly-2023-12-19-2c...	98	12/19/2023
4.4.0-nightly-2023-12-18-2c...	109	12/18/2023
4.4.0-nightly-2023-12-17-2c...	111	12/17/2023
4.4.0-nightly-2023-12-16-2c...	102	12/16/2023
4.4.0-nightly-2023-12-15-2c...	113	12/15/2023
4.4.0-nightly-2023-12-14-2c...	84	12/15/2023
4.4.0-nightly-2023-12-13-2c...	89	12/13/2023
4.4.0-nightly-2023-12-12-4f...	106	12/12/2023
4.4.0-nightly-2023-12-11-4f...	104	12/11/2023
4.4.0-nightly-2023-12-10-4f...	104	12/10/2023
4.4.0-nightly-2023-12-09-4f...	97	12/9/2023
4.3.0	237	9/28/2023
4.3.0-nightly-2023-12-08-7e...	89	12/8/2023
4.3.0-nightly-2023-12-07-c9...	95	12/7/2023
4.3.0-nightly-2023-12-06-6a...	97	12/6/2023
4.3.0-nightly-2023-12-05-cc...	73	12/5/2023
4.3.0-nightly-2023-12-04-fd...	78	12/4/2023
4.3.0-nightly-2023-12-03-23...	93	12/3/2023
4.3.0-nightly-2023-12-02-23...	82	12/2/2023
4.3.0-nightly-2023-12-01-05...	81	12/1/2023
4.3.0-nightly-2023-11-30-8e...	81	11/30/2023
4.3.0-nightly-2023-11-29-f7...	85	11/29/2023
4.3.0-nightly-2023-11-28-c5...	78	11/28/2023
4.3.0-nightly-2023-11-27-98...	80	11/27/2023
4.3.0-nightly-2023-11-25-b1...	69	11/25/2023
4.3.0-nightly-2023-11-24-b1...	83	11/24/2023
4.3.0-nightly-2023-11-23-ec...	90	11/23/2023
4.3.0-nightly-2023-11-22-ec...	93	11/22/2023
4.3.0-nightly-2023-11-21-fd...	71	11/21/2023
4.3.0-nightly-2023-11-21-4f...	89	11/21/2023
4.3.0-nightly-2023-11-19-dd...	83	11/19/2023
4.3.0-nightly-2023-11-18-dd...	60	11/18/2023
4.3.0-nightly-2023-11-17-06...	85	11/17/2023
4.3.0-nightly-2023-11-16-f8...	89	11/16/2023
4.3.0-nightly-2023-11-15-c6...	83	11/15/2023
4.3.0-nightly-2023-11-14-84...	87	11/14/2023
4.3.0-nightly-2023-11-13-5e...	76	11/13/2023
4.3.0-nightly-2023-11-12-90...	80	11/12/2023
4.3.0-nightly-2023-11-11-90...	71	11/11/2023
4.3.0-nightly-2023-11-10-4d...	83	11/10/2023
4.3.0-nightly-2023-11-09-ee...	77	11/9/2023
4.3.0-nightly-2023-11-08-48...	75	11/8/2023
4.3.0-nightly-2023-11-07-48...	83	11/7/2023
4.3.0-nightly-2023-11-06-d4...	98	11/6/2023
4.3.0-nightly-2023-11-05-d4...	109	11/5/2023
4.3.0-nightly-2023-11-02-53...	108	11/2/2023
4.3.0-nightly-2023-11-01-45...	106	11/1/2023
4.3.0-nightly-2023-10-31-af...	99	10/31/2023
4.3.0-nightly-2023-10-30-bf...	108	10/30/2023
4.3.0-nightly-2023-10-29-17...	106	10/29/2023
4.3.0-nightly-2023-10-28-17...	107	10/28/2023
4.3.0-nightly-2023-10-27-c6...	108	10/27/2023
4.3.0-nightly-2023-10-26-c6...	119	10/26/2023
4.3.0-nightly-2023-10-25-5d...	125	10/25/2023
4.3.0-nightly-2023-10-24-cd...	127	10/24/2023
4.3.0-nightly-2023-10-23-7b...	113	10/23/2023
4.3.0-nightly-2023-10-23-3e...	119	10/24/2023
4.3.0-nightly-2023-10-20-81...	121	10/20/2023
4.3.0-nightly-2023-10-19-9e...	100	10/19/2023
4.3.0-nightly-2023-10-18-32...	111	10/18/2023
4.3.0-nightly-2023-10-17-ad...	111	10/17/2023
4.3.0-nightly-2023-10-16-41...	104	10/16/2023
4.3.0-nightly-2023-10-15-fc...	104	10/15/2023
4.3.0-nightly-2023-10-14-fc...	102	10/14/2023
4.3.0-nightly-2023-10-13-0e...	109	10/13/2023
4.3.0-nightly-2023-09-27-35...	124	9/27/2023
4.2.0	282	7/20/2023
4.2.0-nightly-2023-10-12-fd...	109	10/12/2023
4.2.0-nightly-2023-10-11-fd...	100	10/11/2023
4.2.0-nightly-2023-10-10-fd...	108	10/10/2023
4.2.0-nightly-2023-10-09-fd...	105	10/9/2023
4.2.0-nightly-2023-10-08-fd...	105	10/8/2023
4.2.0-nightly-2023-10-07-fd...	118	10/7/2023
4.2.0-nightly-2023-10-06-fd...	113	10/6/2023
4.2.0-nightly-2023-10-05-fd...	105	10/5/2023
4.2.0-nightly-2023-10-04-fd...	111	10/4/2023
4.2.0-nightly-2023-10-02-fd...	105	10/2/2023
4.2.0-nightly-2023-09-30-fd...	114	9/30/2023
4.2.0-nightly-2023-09-29-fd...	123	9/29/2023
4.2.0-nightly-2023-09-28-fd...	107	9/28/2023
4.2.0-nightly-2023-09-27-fd...	119	9/27/2023
4.2.0-nightly-2023-09-27-4d...	125	9/27/2023
4.2.0-nightly-2023-09-26-a0...	109	9/26/2023
4.2.0-nightly-2023-09-25-67...	113	9/25/2023
4.2.0-nightly-2023-09-24-67...	110	9/24/2023
4.2.0-nightly-2023-09-23-67...	113	9/23/2023
4.2.0-nightly-2023-09-22-67...	113	9/22/2023
4.2.0-nightly-2023-09-21-75...	102	9/21/2023
4.2.0-nightly-2023-09-20-c6...	108	9/20/2023
4.2.0-nightly-2023-09-19-ae...	101	9/19/2023
4.2.0-nightly-2023-09-18-45...	105	9/18/2023
4.2.0-nightly-2023-09-17-45...	105	9/18/2023
4.2.0-nightly-2023-09-16-04...	111	9/16/2023
4.2.0-nightly-2023-09-15-e7...	114	9/15/2023
4.2.0-nightly-2023-09-14-e5...	119	9/14/2023
4.2.0-nightly-2023-09-13-45...	105	9/13/2023
4.2.0-nightly-2023-09-12-27...	120	9/12/2023
4.2.0-nightly-2023-09-11-d2...	134	9/11/2023
4.2.0-nightly-2023-09-10-c5...	109	9/10/2023
4.2.0-nightly-2023-09-09-ed...	121	9/9/2023
4.2.0-nightly-2023-09-08-37...	125	9/8/2023
4.2.0-nightly-2023-09-07-b6...	136	9/7/2023
4.2.0-nightly-2023-09-06-8d...	109	9/6/2023
4.2.0-nightly-2023-09-05-e1...	127	9/5/2023
4.2.0-nightly-2023-09-04-1e...	91	9/4/2023
4.2.0-nightly-2023-09-03-4a...	121	9/4/2023
4.2.0-nightly-2023-09-02-a8...	118	9/2/2023
4.2.0-nightly-2023-09-01-e9...	136	9/1/2023
4.2.0-nightly-2023-08-31-e9...	113	8/31/2023
4.2.0-nightly-2023-08-30-05...	127	8/30/2023
4.2.0-nightly-2023-08-29-a8...	128	8/29/2023
4.2.0-nightly-2023-08-28-52...	130	8/28/2023
4.2.0-nightly-2023-08-27-95...	136	8/27/2023
4.2.0-nightly-2023-08-26-95...	124	8/26/2023
4.2.0-nightly-2023-08-25-fe...	141	8/25/2023
4.2.0-nightly-2023-08-24-c5...	148	8/24/2023
4.2.0-nightly-2023-08-24-06...	120	8/24/2023
4.2.0-nightly-2023-08-23-b9...	121	8/23/2023
4.2.0-nightly-2023-08-22-84...	121	8/22/2023
4.2.0-nightly-2023-08-21-83...	121	8/21/2023
4.2.0-nightly-2023-08-20-83...	126	8/20/2023
4.2.0-nightly-2023-08-19-83...	138	8/19/2023
4.2.0-nightly-2023-08-18-2a...	124	8/18/2023
4.2.0-nightly-2023-08-17-9e...	123	8/17/2023
4.2.0-nightly-2023-08-16-d9...	135	8/16/2023
4.2.0-nightly-2023-08-15-cd...	147	8/15/2023
4.2.0-nightly-2023-08-14-0c...	156	8/14/2023
4.2.0-nightly-2023-08-13-06...	151	8/13/2023
4.2.0-nightly-2023-08-12-06...	143	8/12/2023
4.2.0-nightly-2023-08-11-e2...	156	8/11/2023
4.2.0-nightly-2023-08-10-44...	292	8/10/2023
4.2.0-nightly-2023-08-09-20...	134	8/9/2023
4.2.0-nightly-2023-08-08-ea...	152	8/9/2023
4.2.0-nightly-2023-08-07-c3...	110	8/7/2023
4.2.0-nightly-2023-08-06-24...	138	8/6/2023
4.2.0-nightly-2023-08-05-38...	152	8/5/2023
4.2.0-nightly-2023-08-04-df...	128	8/4/2023
4.2.0-nightly-2023-08-04-65...	146	8/4/2023
4.2.0-nightly-2023-08-02-a9...	136	8/2/2023
4.2.0-nightly-2023-08-01-52...	135	8/1/2023
4.2.0-nightly-2023-07-31-3b...	154	7/31/2023
4.2.0-nightly-2023-07-30-3b...	161	7/30/2023
4.2.0-nightly-2023-07-29-3b...	136	7/29/2023
4.2.0-nightly-2023-07-28-65...	133	7/28/2023
4.2.0-nightly-2023-07-27-02...	130	7/27/2023
4.2.0-nightly-2023-07-26-59...	138	7/26/2023
4.2.0-nightly-2023-07-25-c5...	138	7/25/2023
4.2.0-nightly-2023-07-24-4d...	143	7/24/2023
4.2.0-nightly-2023-07-23-4d...	139	7/23/2023
4.2.0-nightly-2023-07-22-4d...	147	7/22/2023
4.2.0-nightly-2023-07-21-ab...	152	7/21/2023
4.1.0.50522	279	5/22/2023
4.1.0	267	5/10/2023
4.1.0-nightly-2023-07-20-35...	120	7/20/2023
4.1.0-nightly-2023-07-18-ce...	141	7/18/2023
4.1.0-nightly-2023-07-18-86...	139	7/18/2023
4.1.0-nightly-2023-07-17-ec...	113	7/17/2023
4.1.0-nightly-2023-07-17-e9...	134	7/17/2023
4.1.0-nightly-2023-07-16-e9...	136	7/16/2023
4.1.0-nightly-2023-07-15-e9...	151	7/15/2023
4.1.0-nightly-2023-07-14-12...	138	7/14/2023
4.1.0-nightly-2023-07-13-0d...	145	7/13/2023
4.1.0-nightly-2023-07-12-d4...	133	7/12/2023
4.1.0-nightly-2023-07-11-0f...	150	7/11/2023
4.1.0-nightly-2023-07-10-f4...	128	7/10/2023
4.1.0-nightly-2023-07-09-5c...	147	7/9/2023
4.1.0-nightly-2023-07-08-8b...	150	7/8/2023
4.1.0-nightly-2023-07-07-2d...	140	7/7/2023
4.1.0-nightly-2023-07-06-c5...	139	7/6/2023
4.1.0-nightly-2023-07-05-e4...	137	7/5/2023
4.1.0-nightly-2023-07-04-51...	141	7/4/2023
4.1.0-nightly-2023-07-03-65...	148	7/3/2023
4.1.0-nightly-2023-07-02-e4...	135	7/2/2023
4.1.0-nightly-2023-07-01-e4...	136	7/1/2023
4.1.0-nightly-2023-06-30-86...	145	6/30/2023
4.1.0-nightly-2023-06-29-2b...	149	6/29/2023
4.1.0-nightly-2023-06-28-2b...	141	6/28/2023
4.1.0-nightly-2023-06-27-d7...	128	6/27/2023
4.1.0-nightly-2023-06-26-d7...	115	6/26/2023
4.1.0-nightly-2023-06-25-d7...	122	6/25/2023
4.1.0-nightly-2023-06-24-d7...	136	6/24/2023
4.1.0-nightly-2023-06-23-30...	143	6/23/2023
4.1.0-nightly-2023-06-22-bd...	142	6/22/2023
4.1.0-nightly-2023-06-21-bd...	138	6/21/2023
4.1.0-nightly-2023-06-20-21...	140	6/20/2023
4.1.0-nightly-2023-06-19-9a...	115	6/19/2023
4.1.0-nightly-2023-06-18-9a...	129	6/18/2023
4.1.0-nightly-2023-06-17-9a...	141	6/17/2023
4.1.0-nightly-2023-06-16-b2...	115	6/16/2023
4.1.0-nightly-2023-06-16-18...	131	6/16/2023
4.1.0-nightly-2023-06-15-eb...	129	6/15/2023
4.1.0-nightly-2023-06-15-8f...	141	6/15/2023
4.1.0-nightly-2023-06-13-1c...	127	6/13/2023
4.1.0-nightly-2023-06-12-4e...	132	6/12/2023
4.1.0-nightly-2023-06-11-a8...	129	6/11/2023
4.1.0-nightly-2023-06-10-a8...	132	6/10/2023
4.1.0-nightly-2023-06-09-a8...	121	6/9/2023
4.1.0-nightly-2023-06-08-16...	149	6/8/2023
4.1.0-nightly-2023-06-07-28...	123	6/7/2023
4.1.0-nightly-2023-06-06-59...	138	6/6/2023
4.1.0-nightly-2023-06-05-59...	133	6/5/2023
4.1.0-nightly-2023-06-04-59...	114	6/4/2023
4.1.0-nightly-2023-06-03-59...	129	6/3/2023
4.1.0-nightly-2023-06-02-59...	149	6/2/2023
4.1.0-nightly-2023-06-01-68...	142	6/1/2023
4.1.0-nightly-2023-05-31-b6...	144	5/31/2023
4.1.0-nightly-2023-05-31-81...	128	5/31/2023
4.1.0-nightly-2023-05-30-2f...	139	5/30/2023
4.1.0-nightly-2023-05-29-de...	135	5/29/2023
4.1.0-nightly-2023-05-28-80...	142	5/28/2023
4.1.0-nightly-2023-05-27-80...	141	5/27/2023
4.1.0-nightly-2023-05-26-40...	123	5/26/2023
4.1.0-nightly-2023-05-25-b3...	129	5/25/2023
4.1.0-nightly-2023-05-24-38...	118	5/24/2023
4.1.0-nightly-2023-05-23-16...	134	5/23/2023
4.1.0-nightly-2023-05-22-c8...	131	5/22/2023
4.1.0-nightly-2023-05-21-9b...	145	5/21/2023
4.1.0-nightly-2023-05-20-9b...	138	5/20/2023
4.1.0-nightly-2023-05-19-33...	145	5/19/2023
4.1.0-nightly-2023-05-18-8c...	149	5/18/2023
4.1.0-nightly-2023-05-17-49...	147	5/17/2023
4.1.0-nightly-2023-05-17-05...	134	5/17/2023
4.1.0-nightly-2023-05-15-35...	127	5/15/2023
4.1.0-nightly-2023-05-14-35...	142	5/14/2023
4.1.0-nightly-2023-05-12-30...	137	5/12/2023
4.1.0-nightly-2023-05-11-87...	141	5/11/2023
4.1.0-nightly-2023-05-09-26...	157	5/10/2023
4.1.0-nightly-2023-05-08-d9...	240	5/8/2023
4.1.0-nightly-2023-05-07-a2...	142	5/8/2023
4.1.0-nightly-2023-05-06-a2...	137	5/6/2023
4.1.0-nightly-2023-05-05-81...	137	5/5/2023
4.1.0-nightly-2023-05-04-56...	149	5/4/2023
4.1.0-nightly-2023-05-03-aa...	139	5/3/2023
4.1.0-nightly-2023-05-02-bb...	143	5/2/2023
4.1.0-nightly-2023-05-01-38...	143	5/1/2023
4.1.0-nightly-2023-04-30-38...	129	4/30/2023
4.1.0-nightly-2023-04-29-f0...	141	4/29/2023
4.1.0-nightly-2023-04-29-20...	149	4/29/2023
4.1.0-nightly-2023-04-28-41...	152	4/28/2023
4.1.0-nightly-2023-04-27-d7...	156	4/27/2023
4.1.0-nightly-2023-04-26-21...	147	4/26/2023
4.1.0-nightly-2023-04-25-38...	168	4/25/2023
4.1.0-nightly-2023-04-24-f1...	143	4/24/2023
4.1.0-nightly-2023-04-23-f1...	165	4/23/2023
4.1.0-nightly-2023-04-22-f1...	146	4/22/2023
4.1.0-nightly-2023-04-21-1d...	154	4/21/2023
4.1.0-nightly-2023-04-20-1d...	133	4/20/2023
4.1.0-nightly-2023-04-19-1d...	155	4/19/2023
4.0.0.50303	687	3/3/2023
4.0.0.50303-nightly-2023-04...	131	4/18/2023
4.0.0.50303-nightly-2023-04...	138	4/17/2023
4.0.0.50303-nightly-2023-04...	163	4/16/2023
4.0.0.50303-nightly-2023-04...	136	4/15/2023
4.0.0.50303-nightly-2023-04...	130	4/14/2023
4.0.0.50303-nightly-2023-04...	135	4/13/2023
4.0.0.50303-nightly-2023-04...	148	4/12/2023
4.0.0.50303-nightly-2023-04...	145	4/11/2023
4.0.0.50303-nightly-2023-04...	143	4/10/2023
4.0.0.50303-nightly-2023-04...	127	4/9/2023
4.0.0.50303-nightly-2023-04...	122	4/8/2023
4.0.0.50303-nightly-2023-04...	156	4/7/2023
4.0.0.50303-nightly-2023-04...	158	4/6/2023
4.0.0.50303-nightly-2023-04...	134	4/5/2023
4.0.0.50303-nightly-2023-04...	149	4/4/2023
4.0.0.50303-nightly-2023-04...	153	4/5/2023
4.0.0.50303-nightly-2023-04...	147	4/3/2023
4.0.0.50303-nightly-2023-04...	155	4/2/2023
4.0.0.50303-nightly-2023-04...	157	4/1/2023
4.0.0.50303-nightly-2023-03...	142	3/31/2023
4.0.0.50303-nightly-2023-03...	147	3/30/2023
4.0.0.50303-nightly-2023-03...	172	3/29/2023
4.0.0.50303-nightly-2023-03...	146	3/28/2023
4.0.0.50303-nightly-2023-03...	160	3/27/2023
4.0.0.50303-nightly-2023-03...	161	3/25/2023
4.0.0.50303-nightly-2023-03...	164	3/24/2023
4.0.0.50303-nightly-2023-03...	151	3/23/2023
4.0.0.50303-nightly-2023-03...	146	3/22/2023
4.0.0.50303-nightly-2023-03...	142	3/22/2023
4.0.0.50303-nightly-2023-03...	157	3/21/2023
4.0.0.50303-nightly-2023-03...	150	3/21/2023
4.0.0.50303-nightly-2023-03...	157	3/21/2023
4.0.0.50303-nightly-2023-03...	174	3/20/2023
4.0.0.50303-nightly-2023-03...	150	3/19/2023
4.0.0.50303-nightly-2023-03...	159	3/18/2023
4.0.0.50303-nightly-2023-03...	170	3/17/2023
4.0.0.50303-nightly-2023-03...	161	3/16/2023
4.0.0.50303-nightly-2023-03...	145	3/15/2023
4.0.0.50303-nightly-2023-03...	166	3/13/2023
4.0.0.50303-nightly-2023-03...	160	3/12/2023
4.0.0.50303-nightly-2023-03...	160	3/11/2023
4.0.0.50303-nightly-2023-03...	159	3/10/2023
4.0.0.50303-nightly-2023-03...	154	3/9/2023
4.0.0.50303-nightly-2023-03...	156	3/8/2023
4.0.0.50303-nightly-2023-03...	156	3/3/2023
4.0.0.50302	444	3/3/2023
4.0.0.50302-nightly-2023-03...	128	3/2/2023
3.13.1.50302	681	3/2/2023
3.13.1.50302-nightly-2023-0...	710	3/2/2023
3.10.0.41215	1,011	12/15/2022
3.10.0.41215-nightly-2022-1...	160	12/28/2022
3.10.0.41215-nightly-2022-1...	160	12/27/2022
3.10.0.41215-nightly-2022-1...	160	12/26/2022
3.10.0.41215-nightly-2022-1...	150	12/25/2022
3.10.0.41215-nightly-2022-1...	141	12/24/2022
3.10.0.41215-nightly-2022-1...	152	12/23/2022
3.10.0.41215-nightly-2022-1...	142	12/22/2022
3.10.0.41215-nightly-2022-1...	150	12/21/2022
3.10.0.41215-nightly-2022-1...	154	12/20/2022
3.10.0.41215-nightly-2022-1...	132	12/19/2022
3.10.0.41215-nightly-2022-1...	155	12/18/2022
3.10.0.41215-nightly-2022-1...	130	12/17/2022
3.10.0.41215-nightly-2022-1...	127	12/15/2022
3.10.0.41129-nightly-2022-1...	163	11/29/2022
3.10.0-nightly-2022-12-16-7...	145	12/16/2022
3.10.0-nightly-2022-12-15-5...	130	12/15/2022
3.10.0-nightly-2022-12-14-3...	165	12/14/2022
3.10.0-nightly-2022-12-13-1...	130	12/13/2022
3.10.0-nightly-2022-12-12-f...	149	12/12/2022
3.10.0-nightly-2022-12-12-1...	121	12/12/2022
3.10.0-nightly-2022-12-11-f...	118	12/11/2022
3.10.0-nightly-2022-12-10-f...	132	12/10/2022
3.10.0-nightly-2022-12-09-f...	141	12/9/2022
3.10.0-nightly-2022-12-08-b...	156	12/8/2022
3.10.0-nightly-2022-12-07-3...	134	12/7/2022
3.10.0-nightly-2022-12-06-3...	118	12/6/2022
3.10.0-nightly-2022-12-05-3...	148	12/5/2022
3.10.0-nightly-2022-12-04-3...	132	12/4/2022
3.10.0-nightly-2022-12-03-3...	155	12/3/2022
3.10.0-nightly-2022-12-02-e...	141	12/2/2022
3.9.1.41027	743	10/27/2022
3.9.1.41027-nightly-2022-12...	141	12/1/2022
3.9.1.41027-nightly-2022-11...	142	11/30/2022
3.9.1.41027-nightly-2022-11...	150	11/29/2022
3.9.1.41027-nightly-2022-11...	142	11/29/2022
3.9.1.41027-nightly-2022-11...	138	11/28/2022
3.9.1.41027-nightly-2022-11...	136	11/27/2022
3.9.1.41027-nightly-2022-11...	158	11/26/2022
3.9.1.41027-nightly-2022-11...	126	11/25/2022
3.9.1.41027-nightly-2022-11...	157	11/24/2022
3.9.1.41027-nightly-2022-11...	156	11/23/2022
3.9.1.41027-nightly-2022-11...	167	11/22/2022
3.9.1.41027-nightly-2022-11...	134	11/21/2022
3.9.1.41027-nightly-2022-11...	150	11/20/2022
3.9.1.41027-nightly-2022-11...	146	11/19/2022
3.9.1.41027-nightly-2022-11...	138	11/18/2022
3.9.1.41027-nightly-2022-11...	134	11/17/2022
3.9.1.41027-nightly-2022-11...	139	11/16/2022
3.9.1.41027-nightly-2022-11...	166	11/15/2022
3.9.1.41027-nightly-2022-11...	152	11/14/2022
3.9.1.41027-nightly-2022-11...	155	11/13/2022
3.9.1.41027-nightly-2022-11...	152	11/12/2022
3.9.1.41027-nightly-2022-11...	169	11/11/2022
3.9.1.41027-nightly-2022-11...	138	11/10/2022
3.9.1.41027-nightly-2022-11...	140	11/9/2022
3.9.1.41027-nightly-2022-11...	137	11/8/2022
3.9.1.41027-nightly-2022-11...	149	11/7/2022
3.9.1.41027-nightly-2022-11...	157	11/6/2022
3.9.1.41027-nightly-2022-11...	166	11/5/2022
3.9.1.41027-nightly-2022-11...	132	11/4/2022
3.9.1.41027-nightly-2022-11...	219	11/3/2022
3.9.1.41027-nightly-2022-11...	223	11/2/2022
3.9.1.41027-nightly-2022-11...	224	11/2/2022
3.9.1.41027-nightly-2022-10...	225	10/31/2022
3.9.1.41027-nightly-2022-10...	203	10/29/2022
3.9.1.41027-nightly-2022-10...	223	10/28/2022
3.9.1.41027-nightly-2022-10...	224	10/27/2022
3.9.0.41003	822	10/3/2022
3.9.0.41003-nightly-2022-10...	257	10/27/2022
3.9.0.41003-nightly-2022-10...	215	10/26/2022
3.9.0.41003-nightly-2022-10...	198	10/25/2022
3.9.0.41003-nightly-2022-10...	227	10/24/2022
3.9.0.41003-nightly-2022-10...	231	10/23/2022
3.9.0.41003-nightly-2022-10...	229	10/22/2022
3.9.0.41003-nightly-2022-10...	240	10/21/2022
3.9.0.41003-nightly-2022-10...	255	10/20/2022
3.9.0.41003-nightly-2022-10...	248	10/19/2022
3.9.0.41003-nightly-2022-10...	229	10/18/2022
3.9.0.41003-nightly-2022-10...	219	10/16/2022
3.9.0.41003-nightly-2022-10...	250	10/15/2022
3.9.0.41003-nightly-2022-10...	249	10/14/2022
3.9.0.41003-nightly-2022-10...	239	10/13/2022
3.9.0.41003-nightly-2022-10...	231	10/12/2022
3.9.0.41003-nightly-2022-10...	208	10/11/2022
3.9.0.41003-nightly-2022-10...	267	10/10/2022
3.9.0.41003-nightly-2022-10...	245	10/9/2022
3.9.0.41003-nightly-2022-10...	226	10/8/2022
3.9.0.41003-nightly-2022-10...	233	10/7/2022
3.9.0.41003-nightly-2022-10...	217	10/6/2022
3.9.0.41003-nightly-2022-10...	223	10/5/2022
3.9.0.41003-nightly-2022-10...	214	10/4/2022
3.9.0.41003-nightly-2022-10...	221	10/3/2022
3.9.0.40930	784	10/3/2022
3.9.0.40930-nightly-2022-09...	236	9/30/2022
3.8.1.40901	569	9/1/2022
3.8.1.40901-nightly-2022-10...	235	10/3/2022
3.8.1.40901-nightly-2022-10...	246	10/2/2022
3.8.1.40901-nightly-2022-10...	253	10/1/2022
3.8.1.40901-nightly-2022-09...	218	9/30/2022
3.8.1.40901-nightly-2022-09...	258	9/29/2022
3.8.1.40901-nightly-2022-09...	238	9/28/2022
3.8.1.40901-nightly-2022-09...	227	9/27/2022
3.8.1.40901-nightly-2022-09...	220	9/26/2022
3.8.1.40901-nightly-2022-09...	263	9/25/2022
3.8.1.40901-nightly-2022-09...	222	9/24/2022
3.8.1.40901-nightly-2022-09...	235	9/23/2022
3.8.1.40901-nightly-2022-09...	258	9/22/2022
3.8.1.40901-nightly-2022-09...	220	9/21/2022
3.8.1.40901-nightly-2022-09...	218	9/20/2022
3.8.1.40901-nightly-2022-09...	242	9/19/2022
3.8.1.40901-nightly-2022-09...	271	9/18/2022
3.8.1.40901-nightly-2022-09...	244	9/17/2022
3.8.1.40901-nightly-2022-09...	219	9/16/2022
3.8.1.40901-nightly-2022-09...	230	9/15/2022
3.8.1.40901-nightly-2022-09...	278	9/14/2022
3.8.1.40901-nightly-2022-09...	222	9/13/2022
3.8.1.40901-nightly-2022-09...	214	9/12/2022
3.8.1.40901-nightly-2022-09...	231	9/11/2022
3.8.1.40901-nightly-2022-09...	218	9/10/2022
3.8.1.40901-nightly-2022-09...	221	9/9/2022
3.8.1.40901-nightly-2022-09...	234	9/8/2022
3.8.1.40901-nightly-2022-09...	244	9/8/2022
3.8.1.40901-nightly-2022-09...	216	9/7/2022
3.8.1.40901-nightly-2022-09...	216	9/7/2022
3.8.1.40901-nightly-2022-09...	215	9/7/2022
3.8.1.40901-nightly-2022-09...	224	9/6/2022
3.8.1.40901-nightly-2022-09...	210	9/5/2022
3.8.1.40901-nightly-2022-09...	213	9/2/2022
3.8.1.40901-nightly-2022-09...	219	9/1/2022
3.8.1.40901-nightly-2022-09...	199	9/1/2022
3.8.0.40823	572	8/23/2022
3.8.0.40823-nightly-2022-09...	227	9/1/2022
3.8.0.40823-nightly-2022-08...	215	8/31/2022
3.8.0.40823-nightly-2022-08...	237	8/30/2022
3.8.0.40823-nightly-2022-08...	226	8/29/2022
3.8.0.40823-nightly-2022-08...	209	8/28/2022
3.8.0.40823-nightly-2022-08...	229	8/27/2022
3.8.0.40823-nightly-2022-08...	229	8/26/2022
3.8.0.40823-nightly-2022-08...	225	8/25/2022
3.8.0.40823-nightly-2022-08...	209	8/24/2022
3.8.0.40823-nightly-2022-08...	225	8/23/2022
3.8.0.40823-nightly-2022-08...	218	8/23/2022
3.8.0.40822	584	8/22/2022
3.8.0.40822-nightly-2022-08...	226	8/23/2022
3.8.0.40822-nightly-2022-08...	233	8/22/2022
3.8.0.40729-nightly-2022-08...	239	8/22/2022
3.8.0.40729-nightly-2022-08...	226	8/21/2022
3.8.0.40729-nightly-2022-08...	223	8/20/2022
3.8.0.40729-nightly-2022-08...	245	8/19/2022
3.8.0.40729-nightly-2022-08...	222	8/18/2022

Total 88.6K

Current version 91

Per day average 120