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

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

#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

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)
- 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	93.7K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.6.0	357	3/28/2024
4.6.0-nightly-2024-05-28-dc...	25	5/28/2024
4.6.0-nightly-2024-05-24-6b...	50	5/24/2024
4.6.0-nightly-2024-05-23-41...	52	5/24/2024
4.6.0-nightly-2024-05-22-41...	35	5/23/2024
4.6.0-nightly-2024-05-21-33...	89	5/21/2024
4.6.0-nightly-2024-05-20-7e...	99	5/20/2024
4.6.0-nightly-2024-05-18-2f...	98	5/18/2024
4.6.0-nightly-2024-05-17-80...	99	5/17/2024
4.6.0-nightly-2024-05-16-8d...	104	5/16/2024
4.6.0-nightly-2024-05-15-af...	98	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	188	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	537	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...	67	2/13/2024
4.4.0-nightly-2024-02-12-d7...	74	2/12/2024
4.4.0-nightly-2024-02-11-c8...	67	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...	84	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...	94	12/24/2023
4.4.0-nightly-2023-12-23-2c...	92	12/23/2023
4.4.0-nightly-2023-12-22-2c...	87	12/22/2023
4.4.0-nightly-2023-12-21-2c...	88	12/21/2023
4.4.0-nightly-2023-12-20-2c...	90	12/20/2023
4.4.0-nightly-2023-12-19-2c...	97	12/19/2023
4.4.0-nightly-2023-12-18-2c...	108	12/18/2023
4.4.0-nightly-2023-12-17-2c...	110	12/17/2023
4.4.0-nightly-2023-12-16-2c...	101	12/16/2023
4.4.0-nightly-2023-12-15-2c...	112	12/15/2023
4.4.0-nightly-2023-12-14-2c...	83	12/15/2023
4.4.0-nightly-2023-12-13-2c...	88	12/13/2023
4.4.0-nightly-2023-12-12-4f...	105	12/12/2023
4.4.0-nightly-2023-12-11-4f...	103	12/11/2023
4.4.0-nightly-2023-12-10-4f...	103	12/10/2023
4.4.0-nightly-2023-12-09-4f...	96	12/9/2023
4.3.0	235	9/28/2023
4.3.0-nightly-2023-12-08-7e...	88	12/8/2023
4.3.0-nightly-2023-12-07-c9...	94	12/7/2023
4.3.0-nightly-2023-12-06-6a...	96	12/6/2023
4.3.0-nightly-2023-12-05-cc...	72	12/5/2023
4.3.0-nightly-2023-12-04-fd...	77	12/4/2023
4.3.0-nightly-2023-12-03-23...	92	12/3/2023
4.3.0-nightly-2023-12-02-23...	81	12/2/2023
4.3.0-nightly-2023-12-01-05...	80	12/1/2023
4.3.0-nightly-2023-11-30-8e...	80	11/30/2023
4.3.0-nightly-2023-11-29-f7...	84	11/29/2023
4.3.0-nightly-2023-11-28-c5...	77	11/28/2023
4.3.0-nightly-2023-11-27-98...	79	11/27/2023
4.3.0-nightly-2023-11-25-b1...	68	11/25/2023
4.3.0-nightly-2023-11-24-b1...	82	11/24/2023
4.3.0-nightly-2023-11-23-ec...	89	11/23/2023
4.3.0-nightly-2023-11-22-ec...	92	11/22/2023
4.3.0-nightly-2023-11-21-fd...	70	11/21/2023
4.3.0-nightly-2023-11-21-4f...	88	11/21/2023
4.3.0-nightly-2023-11-19-dd...	82	11/19/2023
4.3.0-nightly-2023-11-18-dd...	59	11/18/2023
4.3.0-nightly-2023-11-17-06...	84	11/17/2023
4.3.0-nightly-2023-11-16-f8...	88	11/16/2023
4.3.0-nightly-2023-11-15-c6...	82	11/15/2023
4.3.0-nightly-2023-11-14-84...	86	11/14/2023
4.3.0-nightly-2023-11-13-5e...	75	11/13/2023
4.3.0-nightly-2023-11-12-90...	79	11/12/2023
4.3.0-nightly-2023-11-11-90...	70	11/11/2023
4.3.0-nightly-2023-11-10-4d...	82	11/10/2023
4.3.0-nightly-2023-11-09-ee...	76	11/9/2023
4.3.0-nightly-2023-11-08-48...	74	11/8/2023
4.3.0-nightly-2023-11-07-48...	82	11/7/2023
4.3.0-nightly-2023-11-06-d4...	97	11/6/2023
4.3.0-nightly-2023-11-05-d4...	108	11/5/2023
4.3.0-nightly-2023-11-02-53...	107	11/2/2023
4.3.0-nightly-2023-11-01-45...	105	11/1/2023
4.3.0-nightly-2023-10-31-af...	98	10/31/2023
4.3.0-nightly-2023-10-30-bf...	107	10/30/2023
4.3.0-nightly-2023-10-29-17...	105	10/29/2023
4.3.0-nightly-2023-10-28-17...	106	10/28/2023
4.3.0-nightly-2023-10-27-c6...	107	10/27/2023
4.3.0-nightly-2023-10-26-c6...	118	10/26/2023
4.3.0-nightly-2023-10-25-5d...	124	10/25/2023
4.3.0-nightly-2023-10-24-cd...	126	10/24/2023
4.3.0-nightly-2023-10-23-7b...	112	10/23/2023
4.3.0-nightly-2023-10-23-3e...	118	10/24/2023
4.3.0-nightly-2023-10-20-81...	120	10/20/2023
4.3.0-nightly-2023-10-19-9e...	99	10/19/2023
4.3.0-nightly-2023-10-18-32...	110	10/18/2023
4.3.0-nightly-2023-10-17-ad...	110	10/17/2023
4.3.0-nightly-2023-10-16-41...	103	10/16/2023
4.3.0-nightly-2023-10-15-fc...	103	10/15/2023
4.3.0-nightly-2023-10-14-fc...	101	10/14/2023
4.3.0-nightly-2023-10-13-0e...	108	10/13/2023
4.3.0-nightly-2023-09-27-35...	123	9/27/2023
4.2.0	280	7/20/2023
4.2.0-nightly-2023-10-12-fd...	108	10/12/2023
4.2.0-nightly-2023-10-11-fd...	99	10/11/2023
4.2.0-nightly-2023-10-10-fd...	107	10/10/2023
4.2.0-nightly-2023-10-09-fd...	104	10/9/2023
4.2.0-nightly-2023-10-08-fd...	104	10/8/2023
4.2.0-nightly-2023-10-07-fd...	117	10/7/2023
4.2.0-nightly-2023-10-06-fd...	112	10/6/2023
4.2.0-nightly-2023-10-05-fd...	104	10/5/2023
4.2.0-nightly-2023-10-04-fd...	110	10/4/2023
4.2.0-nightly-2023-10-02-fd...	104	10/2/2023
4.2.0-nightly-2023-09-30-fd...	113	9/30/2023
4.2.0-nightly-2023-09-29-fd...	122	9/29/2023
4.2.0-nightly-2023-09-28-fd...	106	9/28/2023
4.2.0-nightly-2023-09-27-fd...	118	9/27/2023
4.2.0-nightly-2023-09-27-4d...	124	9/27/2023
4.2.0-nightly-2023-09-26-a0...	108	9/26/2023
4.2.0-nightly-2023-09-25-67...	112	9/25/2023
4.2.0-nightly-2023-09-24-67...	109	9/24/2023
4.2.0-nightly-2023-09-23-67...	112	9/23/2023
4.2.0-nightly-2023-09-22-67...	112	9/22/2023
4.2.0-nightly-2023-09-21-75...	101	9/21/2023
4.2.0-nightly-2023-09-20-c6...	107	9/20/2023
4.2.0-nightly-2023-09-19-ae...	100	9/19/2023
4.2.0-nightly-2023-09-18-45...	104	9/18/2023
4.2.0-nightly-2023-09-17-45...	104	9/18/2023
4.2.0-nightly-2023-09-16-04...	108	9/16/2023
4.2.0-nightly-2023-09-15-e7...	112	9/15/2023
4.2.0-nightly-2023-09-14-e5...	117	9/14/2023
4.2.0-nightly-2023-09-13-45...	103	9/13/2023
4.2.0-nightly-2023-09-12-27...	118	9/12/2023
4.2.0-nightly-2023-09-11-d2...	132	9/11/2023
4.2.0-nightly-2023-09-10-c5...	107	9/10/2023
4.2.0-nightly-2023-09-09-ed...	119	9/9/2023
4.2.0-nightly-2023-09-08-37...	123	9/8/2023
4.2.0-nightly-2023-09-07-b6...	134	9/7/2023
4.2.0-nightly-2023-09-06-8d...	107	9/6/2023
4.2.0-nightly-2023-09-05-e1...	125	9/5/2023
4.2.0-nightly-2023-09-04-1e...	89	9/4/2023
4.2.0-nightly-2023-09-03-4a...	118	9/4/2023
4.2.0-nightly-2023-09-02-a8...	115	9/2/2023
4.2.0-nightly-2023-09-01-e9...	133	9/1/2023
4.2.0-nightly-2023-08-31-e9...	110	8/31/2023
4.2.0-nightly-2023-08-30-05...	125	8/30/2023
4.2.0-nightly-2023-08-29-a8...	126	8/29/2023
4.2.0-nightly-2023-08-28-52...	128	8/28/2023
4.2.0-nightly-2023-08-27-95...	134	8/27/2023
4.2.0-nightly-2023-08-26-95...	122	8/26/2023
4.2.0-nightly-2023-08-25-fe...	139	8/25/2023
4.2.0-nightly-2023-08-24-c5...	146	8/24/2023
4.2.0-nightly-2023-08-24-06...	117	8/24/2023
4.2.0-nightly-2023-08-23-b9...	119	8/23/2023
4.2.0-nightly-2023-08-22-84...	119	8/22/2023
4.2.0-nightly-2023-08-21-83...	119	8/21/2023
4.2.0-nightly-2023-08-20-83...	124	8/20/2023
4.2.0-nightly-2023-08-19-83...	136	8/19/2023
4.2.0-nightly-2023-08-18-2a...	122	8/18/2023
4.2.0-nightly-2023-08-17-9e...	121	8/17/2023
4.2.0-nightly-2023-08-16-d9...	133	8/16/2023
4.2.0-nightly-2023-08-15-cd...	144	8/15/2023
4.2.0-nightly-2023-08-14-0c...	154	8/14/2023
4.2.0-nightly-2023-08-13-06...	148	8/13/2023
4.2.0-nightly-2023-08-12-06...	140	8/12/2023
4.2.0-nightly-2023-08-11-e2...	153	8/11/2023
4.2.0-nightly-2023-08-10-44...	289	8/10/2023
4.2.0-nightly-2023-08-09-20...	130	8/9/2023
4.2.0-nightly-2023-08-08-ea...	150	8/9/2023
4.2.0-nightly-2023-08-07-c3...	107	8/7/2023
4.2.0-nightly-2023-08-06-24...	136	8/6/2023
4.2.0-nightly-2023-08-05-38...	150	8/5/2023
4.2.0-nightly-2023-08-04-df...	126	8/4/2023
4.2.0-nightly-2023-08-04-65...	144	8/4/2023
4.2.0-nightly-2023-08-02-a9...	134	8/2/2023
4.2.0-nightly-2023-08-01-52...	133	8/1/2023
4.2.0-nightly-2023-07-31-3b...	152	7/31/2023
4.2.0-nightly-2023-07-30-3b...	159	7/30/2023
4.2.0-nightly-2023-07-29-3b...	134	7/29/2023
4.2.0-nightly-2023-07-28-65...	131	7/28/2023
4.2.0-nightly-2023-07-27-02...	128	7/27/2023
4.2.0-nightly-2023-07-26-59...	136	7/26/2023
4.2.0-nightly-2023-07-25-c5...	136	7/25/2023
4.2.0-nightly-2023-07-24-4d...	141	7/24/2023
4.2.0-nightly-2023-07-23-4d...	137	7/23/2023
4.2.0-nightly-2023-07-22-4d...	145	7/22/2023
4.2.0-nightly-2023-07-21-ab...	150	7/21/2023
4.1.0.50522	276	5/22/2023
4.1.0	264	5/10/2023
4.1.0-nightly-2023-07-20-35...	118	7/20/2023
4.1.0-nightly-2023-07-18-ce...	139	7/18/2023
4.1.0-nightly-2023-07-18-86...	137	7/18/2023
4.1.0-nightly-2023-07-17-ec...	111	7/17/2023
4.1.0-nightly-2023-07-17-e9...	132	7/17/2023
4.1.0-nightly-2023-07-16-e9...	134	7/16/2023
4.1.0-nightly-2023-07-15-e9...	149	7/15/2023
4.1.0-nightly-2023-07-14-12...	136	7/14/2023
4.1.0-nightly-2023-07-13-0d...	143	7/13/2023
4.1.0-nightly-2023-07-12-d4...	131	7/12/2023
4.1.0-nightly-2023-07-11-0f...	148	7/11/2023
4.1.0-nightly-2023-07-10-f4...	126	7/10/2023
4.1.0-nightly-2023-07-09-5c...	145	7/9/2023
4.1.0-nightly-2023-07-08-8b...	148	7/8/2023
4.1.0-nightly-2023-07-07-2d...	138	7/7/2023
4.1.0-nightly-2023-07-06-c5...	137	7/6/2023
4.1.0-nightly-2023-07-05-e4...	135	7/5/2023
4.1.0-nightly-2023-07-04-51...	139	7/4/2023
4.1.0-nightly-2023-07-03-65...	146	7/3/2023
4.1.0-nightly-2023-07-02-e4...	133	7/2/2023
4.1.0-nightly-2023-07-01-e4...	134	7/1/2023
4.1.0-nightly-2023-06-30-86...	143	6/30/2023
4.1.0-nightly-2023-06-29-2b...	147	6/29/2023
4.1.0-nightly-2023-06-28-2b...	139	6/28/2023
4.1.0-nightly-2023-06-27-d7...	126	6/27/2023
4.1.0-nightly-2023-06-26-d7...	113	6/26/2023
4.1.0-nightly-2023-06-25-d7...	120	6/25/2023
4.1.0-nightly-2023-06-24-d7...	134	6/24/2023
4.1.0-nightly-2023-06-23-30...	141	6/23/2023
4.1.0-nightly-2023-06-22-bd...	141	6/22/2023
4.1.0-nightly-2023-06-21-bd...	137	6/21/2023
4.1.0-nightly-2023-06-20-21...	139	6/20/2023
4.1.0-nightly-2023-06-19-9a...	114	6/19/2023
4.1.0-nightly-2023-06-18-9a...	128	6/18/2023
4.1.0-nightly-2023-06-17-9a...	140	6/17/2023
4.1.0-nightly-2023-06-16-b2...	114	6/16/2023
4.1.0-nightly-2023-06-16-18...	130	6/16/2023
4.1.0-nightly-2023-06-15-eb...	128	6/15/2023
4.1.0-nightly-2023-06-15-8f...	140	6/15/2023
4.1.0-nightly-2023-06-13-1c...	126	6/13/2023
4.1.0-nightly-2023-06-12-4e...	131	6/12/2023
4.1.0-nightly-2023-06-11-a8...	128	6/11/2023
4.1.0-nightly-2023-06-10-a8...	131	6/10/2023
4.1.0-nightly-2023-06-09-a8...	120	6/9/2023
4.1.0-nightly-2023-06-08-16...	148	6/8/2023
4.1.0-nightly-2023-06-07-28...	122	6/7/2023
4.1.0-nightly-2023-06-06-59...	137	6/6/2023
4.1.0-nightly-2023-06-05-59...	132	6/5/2023
4.1.0-nightly-2023-06-04-59...	113	6/4/2023
4.1.0-nightly-2023-06-03-59...	128	6/3/2023
4.1.0-nightly-2023-06-02-59...	148	6/2/2023
4.1.0-nightly-2023-06-01-68...	141	6/1/2023
4.1.0-nightly-2023-05-31-b6...	143	5/31/2023
4.1.0-nightly-2023-05-31-81...	127	5/31/2023
4.1.0-nightly-2023-05-30-2f...	138	5/30/2023
4.1.0-nightly-2023-05-29-de...	134	5/29/2023
4.1.0-nightly-2023-05-28-80...	141	5/28/2023
4.1.0-nightly-2023-05-27-80...	140	5/27/2023
4.1.0-nightly-2023-05-26-40...	122	5/26/2023
4.1.0-nightly-2023-05-25-b3...	128	5/25/2023
4.1.0-nightly-2023-05-24-38...	117	5/24/2023
4.1.0-nightly-2023-05-23-16...	133	5/23/2023
4.1.0-nightly-2023-05-22-c8...	130	5/22/2023
4.1.0-nightly-2023-05-21-9b...	144	5/21/2023
4.1.0-nightly-2023-05-20-9b...	137	5/20/2023
4.1.0-nightly-2023-05-19-33...	144	5/19/2023
4.1.0-nightly-2023-05-18-8c...	148	5/18/2023
4.1.0-nightly-2023-05-17-49...	146	5/17/2023
4.1.0-nightly-2023-05-17-05...	133	5/17/2023
4.1.0-nightly-2023-05-15-35...	126	5/15/2023
4.1.0-nightly-2023-05-14-35...	141	5/14/2023
4.1.0-nightly-2023-05-12-30...	136	5/12/2023
4.1.0-nightly-2023-05-11-87...	140	5/11/2023
4.1.0-nightly-2023-05-09-26...	156	5/10/2023
4.1.0-nightly-2023-05-08-d9...	239	5/8/2023
4.1.0-nightly-2023-05-07-a2...	141	5/8/2023
4.1.0-nightly-2023-05-06-a2...	136	5/6/2023
4.1.0-nightly-2023-05-05-81...	136	5/5/2023
4.1.0-nightly-2023-05-04-56...	148	5/4/2023
4.1.0-nightly-2023-05-03-aa...	138	5/3/2023
4.1.0-nightly-2023-05-02-bb...	142	5/2/2023
4.1.0-nightly-2023-05-01-38...	142	5/1/2023
4.1.0-nightly-2023-04-30-38...	128	4/30/2023
4.1.0-nightly-2023-04-29-f0...	140	4/29/2023
4.1.0-nightly-2023-04-29-20...	148	4/29/2023
4.1.0-nightly-2023-04-28-41...	151	4/28/2023
4.1.0-nightly-2023-04-27-d7...	155	4/27/2023
4.1.0-nightly-2023-04-26-21...	146	4/26/2023
4.1.0-nightly-2023-04-25-38...	167	4/25/2023
4.1.0-nightly-2023-04-24-f1...	142	4/24/2023
4.1.0-nightly-2023-04-23-f1...	164	4/23/2023
4.1.0-nightly-2023-04-22-f1...	145	4/22/2023
4.1.0-nightly-2023-04-21-1d...	153	4/21/2023
4.1.0-nightly-2023-04-20-1d...	132	4/20/2023
4.1.0-nightly-2023-04-19-1d...	154	4/19/2023
4.0.0.50303	683	3/3/2023
4.0.0.50303-nightly-2023-04...	130	4/18/2023
4.0.0.50303-nightly-2023-04...	137	4/17/2023
4.0.0.50303-nightly-2023-04...	162	4/16/2023
4.0.0.50303-nightly-2023-04...	135	4/15/2023
4.0.0.50303-nightly-2023-04...	129	4/14/2023
4.0.0.50303-nightly-2023-04...	134	4/13/2023
4.0.0.50303-nightly-2023-04...	147	4/12/2023
4.0.0.50303-nightly-2023-04...	144	4/11/2023
4.0.0.50303-nightly-2023-04...	142	4/10/2023
4.0.0.50303-nightly-2023-04...	126	4/9/2023
4.0.0.50303-nightly-2023-04...	121	4/8/2023
4.0.0.50303-nightly-2023-04...	155	4/7/2023
4.0.0.50303-nightly-2023-04...	157	4/6/2023
4.0.0.50303-nightly-2023-04...	133	4/5/2023
4.0.0.50303-nightly-2023-04...	148	4/4/2023
4.0.0.50303-nightly-2023-04...	152	4/5/2023
4.0.0.50303-nightly-2023-04...	146	4/3/2023
4.0.0.50303-nightly-2023-04...	154	4/2/2023
4.0.0.50303-nightly-2023-04...	156	4/1/2023
4.0.0.50303-nightly-2023-03...	141	3/31/2023
4.0.0.50303-nightly-2023-03...	146	3/30/2023
4.0.0.50303-nightly-2023-03...	171	3/29/2023
4.0.0.50303-nightly-2023-03...	145	3/28/2023
4.0.0.50303-nightly-2023-03...	159	3/27/2023
4.0.0.50303-nightly-2023-03...	160	3/25/2023
4.0.0.50303-nightly-2023-03...	163	3/24/2023
4.0.0.50303-nightly-2023-03...	150	3/23/2023
4.0.0.50303-nightly-2023-03...	145	3/22/2023
4.0.0.50303-nightly-2023-03...	141	3/22/2023
4.0.0.50303-nightly-2023-03...	156	3/21/2023
4.0.0.50303-nightly-2023-03...	149	3/21/2023
4.0.0.50303-nightly-2023-03...	156	3/21/2023
4.0.0.50303-nightly-2023-03...	173	3/20/2023
4.0.0.50303-nightly-2023-03...	149	3/19/2023
4.0.0.50303-nightly-2023-03...	158	3/18/2023
4.0.0.50303-nightly-2023-03...	169	3/17/2023
4.0.0.50303-nightly-2023-03...	160	3/16/2023
4.0.0.50303-nightly-2023-03...	144	3/15/2023
4.0.0.50303-nightly-2023-03...	165	3/13/2023
4.0.0.50303-nightly-2023-03...	159	3/12/2023
4.0.0.50303-nightly-2023-03...	159	3/11/2023
4.0.0.50303-nightly-2023-03...	158	3/10/2023
4.0.0.50303-nightly-2023-03...	153	3/9/2023
4.0.0.50303-nightly-2023-03...	155	3/8/2023
4.0.0.50303-nightly-2023-03...	155	3/3/2023
4.0.0.50302	442	3/3/2023
4.0.0.50302-nightly-2023-03...	127	3/2/2023
3.13.1.50302	679	3/2/2023
3.13.1.50302-nightly-2023-0...	709	3/2/2023
3.10.0.41215	1,007	12/15/2022
3.10.0.41215-nightly-2022-1...	159	12/28/2022
3.10.0.41215-nightly-2022-1...	159	12/27/2022
3.10.0.41215-nightly-2022-1...	159	12/26/2022
3.10.0.41215-nightly-2022-1...	149	12/25/2022
3.10.0.41215-nightly-2022-1...	140	12/24/2022
3.10.0.41215-nightly-2022-1...	151	12/23/2022
3.10.0.41215-nightly-2022-1...	141	12/22/2022
3.10.0.41215-nightly-2022-1...	149	12/21/2022
3.10.0.41215-nightly-2022-1...	153	12/20/2022
3.10.0.41215-nightly-2022-1...	131	12/19/2022
3.10.0.41215-nightly-2022-1...	154	12/18/2022
3.10.0.41215-nightly-2022-1...	129	12/17/2022
3.10.0.41215-nightly-2022-1...	126	12/15/2022
3.10.0.41129-nightly-2022-1...	162	11/29/2022
3.10.0-nightly-2022-12-16-7...	144	12/16/2022
3.10.0-nightly-2022-12-15-5...	129	12/15/2022
3.10.0-nightly-2022-12-14-3...	164	12/14/2022
3.10.0-nightly-2022-12-13-1...	129	12/13/2022
3.10.0-nightly-2022-12-12-f...	148	12/12/2022
3.10.0-nightly-2022-12-12-1...	120	12/12/2022
3.10.0-nightly-2022-12-11-f...	117	12/11/2022
3.10.0-nightly-2022-12-10-f...	131	12/10/2022
3.10.0-nightly-2022-12-09-f...	140	12/9/2022
3.10.0-nightly-2022-12-08-b...	155	12/8/2022
3.10.0-nightly-2022-12-07-3...	133	12/7/2022
3.10.0-nightly-2022-12-06-3...	117	12/6/2022
3.10.0-nightly-2022-12-05-3...	147	12/5/2022
3.10.0-nightly-2022-12-04-3...	131	12/4/2022
3.10.0-nightly-2022-12-03-3...	154	12/3/2022
3.10.0-nightly-2022-12-02-e...	140	12/2/2022
3.9.1.41027	741	10/27/2022
3.9.1.41027-nightly-2022-12...	140	12/1/2022
3.9.1.41027-nightly-2022-11...	141	11/30/2022
3.9.1.41027-nightly-2022-11...	149	11/29/2022
3.9.1.41027-nightly-2022-11...	141	11/29/2022
3.9.1.41027-nightly-2022-11...	137	11/28/2022
3.9.1.41027-nightly-2022-11...	135	11/27/2022
3.9.1.41027-nightly-2022-11...	157	11/26/2022
3.9.1.41027-nightly-2022-11...	125	11/25/2022
3.9.1.41027-nightly-2022-11...	156	11/24/2022
3.9.1.41027-nightly-2022-11...	155	11/23/2022
3.9.1.41027-nightly-2022-11...	166	11/22/2022
3.9.1.41027-nightly-2022-11...	133	11/21/2022
3.9.1.41027-nightly-2022-11...	149	11/20/2022
3.9.1.41027-nightly-2022-11...	145	11/19/2022
3.9.1.41027-nightly-2022-11...	137	11/18/2022
3.9.1.41027-nightly-2022-11...	133	11/17/2022
3.9.1.41027-nightly-2022-11...	138	11/16/2022
3.9.1.41027-nightly-2022-11...	165	11/15/2022
3.9.1.41027-nightly-2022-11...	151	11/14/2022
3.9.1.41027-nightly-2022-11...	154	11/13/2022
3.9.1.41027-nightly-2022-11...	151	11/12/2022
3.9.1.41027-nightly-2022-11...	168	11/11/2022
3.9.1.41027-nightly-2022-11...	137	11/10/2022
3.9.1.41027-nightly-2022-11...	139	11/9/2022
3.9.1.41027-nightly-2022-11...	136	11/8/2022
3.9.1.41027-nightly-2022-11...	148	11/7/2022
3.9.1.41027-nightly-2022-11...	156	11/6/2022
3.9.1.41027-nightly-2022-11...	165	11/5/2022
3.9.1.41027-nightly-2022-11...	131	11/4/2022
3.9.1.41027-nightly-2022-11...	218	11/3/2022
3.9.1.41027-nightly-2022-11...	222	11/2/2022
3.9.1.41027-nightly-2022-11...	223	11/2/2022
3.9.1.41027-nightly-2022-10...	222	10/31/2022
3.9.1.41027-nightly-2022-10...	200	10/29/2022
3.9.1.41027-nightly-2022-10...	222	10/28/2022
3.9.1.41027-nightly-2022-10...	221	10/27/2022
3.9.0.41003	816	10/3/2022
3.9.0.41003-nightly-2022-10...	254	10/27/2022
3.9.0.41003-nightly-2022-10...	212	10/26/2022
3.9.0.41003-nightly-2022-10...	195	10/25/2022
3.9.0.41003-nightly-2022-10...	224	10/24/2022
3.9.0.41003-nightly-2022-10...	228	10/23/2022
3.9.0.41003-nightly-2022-10...	228	10/22/2022
3.9.0.41003-nightly-2022-10...	237	10/21/2022
3.9.0.41003-nightly-2022-10...	252	10/20/2022
3.9.0.41003-nightly-2022-10...	247	10/19/2022
3.9.0.41003-nightly-2022-10...	228	10/18/2022
3.9.0.41003-nightly-2022-10...	216	10/16/2022
3.9.0.41003-nightly-2022-10...	247	10/15/2022
3.9.0.41003-nightly-2022-10...	246	10/14/2022
3.9.0.41003-nightly-2022-10...	236	10/13/2022
3.9.0.41003-nightly-2022-10...	230	10/12/2022
3.9.0.41003-nightly-2022-10...	207	10/11/2022
3.9.0.41003-nightly-2022-10...	266	10/10/2022
3.9.0.41003-nightly-2022-10...	242	10/9/2022
3.9.0.41003-nightly-2022-10...	225	10/8/2022
3.9.0.41003-nightly-2022-10...	230	10/7/2022
3.9.0.41003-nightly-2022-10...	214	10/6/2022
3.9.0.41003-nightly-2022-10...	222	10/5/2022
3.9.0.41003-nightly-2022-10...	213	10/4/2022
3.9.0.41003-nightly-2022-10...	218	10/3/2022
3.9.0.40930	780	10/3/2022
3.9.0.40930-nightly-2022-09...	235	9/30/2022
3.8.1.40901	567	9/1/2022
3.8.1.40901-nightly-2022-10...	232	10/3/2022
3.8.1.40901-nightly-2022-10...	243	10/2/2022
3.8.1.40901-nightly-2022-10...	250	10/1/2022
3.8.1.40901-nightly-2022-09...	215	9/30/2022
3.8.1.40901-nightly-2022-09...	255	9/29/2022
3.8.1.40901-nightly-2022-09...	235	9/28/2022
3.8.1.40901-nightly-2022-09...	226	9/27/2022
3.8.1.40901-nightly-2022-09...	219	9/26/2022
3.8.1.40901-nightly-2022-09...	262	9/25/2022
3.8.1.40901-nightly-2022-09...	221	9/24/2022
3.8.1.40901-nightly-2022-09...	234	9/23/2022
3.8.1.40901-nightly-2022-09...	257	9/22/2022
3.8.1.40901-nightly-2022-09...	219	9/21/2022
3.8.1.40901-nightly-2022-09...	217	9/20/2022
3.8.1.40901-nightly-2022-09...	241	9/19/2022
3.8.1.40901-nightly-2022-09...	270	9/18/2022
3.8.1.40901-nightly-2022-09...	243	9/17/2022
3.8.1.40901-nightly-2022-09...	218	9/16/2022
3.8.1.40901-nightly-2022-09...	229	9/15/2022
3.8.1.40901-nightly-2022-09...	275	9/14/2022
3.8.1.40901-nightly-2022-09...	221	9/13/2022
3.8.1.40901-nightly-2022-09...	213	9/12/2022
3.8.1.40901-nightly-2022-09...	230	9/11/2022
3.8.1.40901-nightly-2022-09...	217	9/10/2022
3.8.1.40901-nightly-2022-09...	220	9/9/2022
3.8.1.40901-nightly-2022-09...	233	9/8/2022
3.8.1.40901-nightly-2022-09...	243	9/8/2022
3.8.1.40901-nightly-2022-09...	215	9/7/2022
3.8.1.40901-nightly-2022-09...	215	9/7/2022
3.8.1.40901-nightly-2022-09...	214	9/7/2022
3.8.1.40901-nightly-2022-09...	223	9/6/2022
3.8.1.40901-nightly-2022-09...	209	9/5/2022
3.8.1.40901-nightly-2022-09...	212	9/2/2022
3.8.1.40901-nightly-2022-09...	218	9/1/2022
3.8.1.40901-nightly-2022-09...	198	9/1/2022
3.8.0.40823	570	8/23/2022
3.8.0.40823-nightly-2022-09...	226	9/1/2022
3.8.0.40823-nightly-2022-08...	214	8/31/2022
3.8.0.40823-nightly-2022-08...	236	8/30/2022
3.8.0.40823-nightly-2022-08...	225	8/29/2022
3.8.0.40823-nightly-2022-08...	208	8/28/2022
3.8.0.40823-nightly-2022-08...	228	8/27/2022
3.8.0.40823-nightly-2022-08...	228	8/26/2022
3.8.0.40823-nightly-2022-08...	224	8/25/2022
3.8.0.40823-nightly-2022-08...	208	8/24/2022
3.8.0.40823-nightly-2022-08...	224	8/23/2022
3.8.0.40823-nightly-2022-08...	217	8/23/2022
3.8.0.40822	582	8/22/2022
3.8.0.40822-nightly-2022-08...	225	8/23/2022
3.8.0.40822-nightly-2022-08...	232	8/22/2022
3.8.0.40729-nightly-2022-08...	238	8/22/2022
3.8.0.40729-nightly-2022-08...	225	8/21/2022
3.8.0.40729-nightly-2022-08...	222	8/20/2022
3.8.0.40729-nightly-2022-08...	244	8/19/2022
3.8.0.40729-nightly-2022-08...	221	8/18/2022

Total 86.0K

Current version 357

Per day average 121