DafnyBenchmarkingPlugin 4.9.1

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
There is a newer prerelease version of this package available.
See the version list below for details. 
dotnet add package DafnyBenchmarkingPlugin --version 4.9.1                

                    
                

            
NuGet\Install-Package DafnyBenchmarkingPlugin -Version 4.9.1
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="DafnyBenchmarkingPlugin" Version="4.9.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add DafnyBenchmarkingPlugin --version 4.9.1                

                    
                

            
#r "nuget: DafnyBenchmarkingPlugin, 4.9.1"
#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 DafnyBenchmarkingPlugin as a Cake Addin
#addin nuget:?package=DafnyBenchmarkingPlugin&version=4.9.1

// Install DafnyBenchmarkingPlugin as a Cake Tool
#tool nuget:?package=DafnyBenchmarkingPlugin&version=4.9.1

DafnyBenchmarkingPlugin

This compiler plugin adds support for a class-level {:benchmarks} attribute, for defining harnesses to measure the performance of Dafny code. It can also be used to check for concurrent execution bugs just by verifying the benchmarking process doesn't crash.

For now this plugin only supports the Java backend, but support for the other languages will be added in the future.

Example

See this regression test for a race condition in the Dafny runtime.

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.9.2-nightly-2025-01-02-a8... 27 1/2/2025
4.9.2-nightly-2025-01-01-a8... 69 1/1/2025
4.9.2-nightly-2024-12-31-a8... 60 12/31/2024
4.9.2-nightly-2024-12-30-61... 75 12/30/2024
4.9.2-nightly-2024-12-29-61... 73 12/29/2024
4.9.2-nightly-2024-12-28-61... 74 12/28/2024
4.9.2-nightly-2024-12-27-06... 72 12/27/2024
4.9.2-nightly-2024-12-26-44... 74 12/26/2024
4.9.2-nightly-2024-12-25-4c... 61 12/25/2024
4.9.2-nightly-2024-12-24-4c... 66 12/24/2024
4.9.1 84 12/20/2024
4.9.1-nightly-2024-12-23-2a... 59 12/23/2024
4.9.1-nightly-2024-12-22-7d... 69 12/22/2024
4.9.1-nightly-2024-12-21-7d... 68 12/21/2024
4.9.1-nightly-2024-12-20-7d... 65 12/20/2024
4.9.1-nightly-2024-12-20-63... 65 12/20/2024
4.9.1-nightly-2024-12-19-7d... 62 12/19/2024
4.9.1-nightly-2024-12-18-64... 58 12/18/2024
4.9.1-nightly-2024-12-17-5e... 78 12/17/2024
4.9.1-nightly-2024-12-16-70... 73 12/16/2024
4.9.1-nightly-2024-12-15-70... 82 12/15/2024
4.9.1-nightly-2024-12-14-70... 83 12/14/2024
4.9.1-nightly-2024-12-13-6b... 70 12/13/2024
4.9.1-nightly-2024-12-12-1d... 80 12/12/2024
4.9.1-nightly-2024-12-11-48... 59 12/11/2024
4.9.1-nightly-2024-12-10-48... 59 12/10/2024
4.9.1-nightly-2024-12-09-db... 64 12/9/2024
4.9.1-nightly-2024-12-08-32... 72 12/8/2024
4.9.1-nightly-2024-12-07-32... 61 12/7/2024
4.9.1-nightly-2024-12-06-32... 71 12/6/2024
4.9.1-nightly-2024-12-05-56... 75 12/5/2024
4.9.1-nightly-2024-12-04-bf... 64 12/4/2024
4.9.1-nightly-2024-12-03-49... 73 12/3/2024
4.9.1-nightly-2024-12-02-f9... 56 12/2/2024
4.9.1-nightly-2024-12-01-e3... 74 12/1/2024
4.9.1-nightly-2024-11-30-1c... 68 11/30/2024
4.9.1-nightly-2024-11-29-1c... 68 11/29/2024
4.9.1-nightly-2024-11-28-00... 67 11/28/2024
4.9.1-nightly-2024-11-25-7c... 65 11/25/2024
4.9.1-nightly-2024-11-24-7c... 72 11/24/2024
4.9.1-nightly-2024-11-23-7c... 75 11/23/2024
4.9.1-nightly-2024-11-22-0b... 68 11/22/2024
4.9.1-nightly-2024-11-21-ac... 68 11/21/2024
4.9.1-nightly-2024-11-20-b9... 68 11/20/2024
4.9.1-nightly-2024-11-19-b9... 71 11/19/2024
4.9.1-nightly-2024-11-18-b9... 74 11/18/2024
4.9.1-nightly-2024-11-17-b9... 75 11/17/2024
4.9.1-nightly-2024-11-16-f9... 75 11/16/2024
4.9.1-nightly-2024-11-15-91... 70 11/15/2024
4.9.1-nightly-2024-11-14-7d... 80 11/14/2024
4.9.1-nightly-2024-11-13-5f... 60 11/13/2024
4.9.1-nightly-2024-11-12-e7... 71 11/12/2024
4.9.1-nightly-2024-11-11-e7... 74 11/11/2024
4.9.1-nightly-2024-11-10-e7... 72 11/10/2024
4.9.1-nightly-2024-11-09-e7... 70 11/9/2024
4.9.1-nightly-2024-11-08-94... 72 11/8/2024
4.9.1-nightly-2024-11-07-a0... 69 11/7/2024
4.9.1-nightly-2024-11-06-3e... 72 11/6/2024
4.9.1-nightly-2024-11-05-f9... 68 11/5/2024
4.9.1-nightly-2024-11-04-f9... 77 11/4/2024
4.9.1-nightly-2024-11-03-5b... 74 11/3/2024
4.9.1-nightly-2024-11-02-5b... 66 11/2/2024
4.9.1-nightly-2024-11-01-ea... 63 11/1/2024
4.9.0 78 10/31/2024
4.8.1 124 9/16/2024
4.8.1-nightly-2024-10-31-c5... 71 10/31/2024
4.8.1-nightly-2024-10-30-c5... 65 10/30/2024
4.8.1-nightly-2024-10-29-7a... 62 10/29/2024
4.8.1-nightly-2024-10-29-72... 67 10/29/2024
4.8.1-nightly-2024-10-24-77... 67 10/24/2024
4.8.1-nightly-2024-10-23-77... 58 10/23/2024
4.8.1-nightly-2024-10-22-77... 59 10/22/2024
4.8.1-nightly-2024-10-21-a0... 67 10/21/2024
4.8.1-nightly-2024-10-20-a0... 83 10/20/2024
4.8.1-nightly-2024-10-19-a0... 113 10/19/2024
4.8.1-nightly-2024-10-18-2d... 117 10/18/2024
4.8.1-nightly-2024-10-17-59... 69 10/17/2024
4.8.1-nightly-2024-10-16-7f... 70 10/16/2024
4.8.1-nightly-2024-10-15-60... 72 10/15/2024
4.8.1-nightly-2024-10-14-c4... 63 10/14/2024
4.8.1-nightly-2024-10-13-c4... 67 10/13/2024
4.8.1-nightly-2024-10-12-c4... 75 10/12/2024
4.8.1-nightly-2024-10-11-8f... 77 10/11/2024
4.8.1-nightly-2024-10-10-8f... 76 10/10/2024
4.8.1-nightly-2024-10-09-37... 78 10/9/2024
4.8.1-nightly-2024-10-06-b5... 67 10/6/2024
4.8.1-nightly-2024-10-05-b5... 69 10/5/2024
4.8.1-nightly-2024-10-04-b5... 75 10/4/2024
4.8.0 104 8/29/2024
4.8.0-nightly-2024-10-03-d9... 82 10/3/2024
4.8.0-nightly-2024-10-02-d9... 83 10/2/2024
4.8.0-nightly-2024-10-01-08... 79 10/1/2024
4.8.0-nightly-2024-09-30-38... 68 9/30/2024
4.8.0-nightly-2024-09-29-38... 66 9/29/2024
4.8.0-nightly-2024-09-27-66... 65 9/27/2024
4.8.0-nightly-2024-09-26-cb... 75 9/26/2024
4.8.0-nightly-2024-09-25-8a... 70 9/25/2024
4.8.0-nightly-2024-09-24-ef... 78 9/24/2024
4.8.0-nightly-2024-09-23-05... 69 9/23/2024
4.8.0-nightly-2024-09-22-05... 69 9/22/2024
4.8.0-nightly-2024-09-21-05... 71 9/21/2024
4.8.0-nightly-2024-09-20-05... 65 9/20/2024
4.8.0-nightly-2024-09-19-17... 71 9/19/2024
4.8.0-nightly-2024-09-18-fc... 65 9/18/2024
4.8.0-nightly-2024-09-17-8f... 72 9/17/2024
4.8.0-nightly-2024-09-16-e9... 76 9/16/2024
4.8.0-nightly-2024-09-16-d3... 77 9/16/2024
4.8.0-nightly-2024-09-15-e9... 75 9/15/2024
4.8.0-nightly-2024-09-14-e9... 78 9/14/2024
4.8.0-nightly-2024-09-13-e9... 75 9/13/2024
4.8.0-nightly-2024-09-12-3a... 77 9/12/2024
4.8.0-nightly-2024-09-10-83... 108 9/10/2024
4.8.0-nightly-2024-09-09-db... 98 9/9/2024
4.8.0-nightly-2024-09-08-79... 83 9/8/2024
4.8.0-nightly-2024-09-07-79... 105 9/7/2024
4.8.0-nightly-2024-09-06-ad... 89 9/6/2024
4.8.0-nightly-2024-09-05-0f... 102 9/5/2024
4.8.0-nightly-2024-09-04-24... 82 9/4/2024
4.7.0 103 6/26/2024
4.7.0-nightly-2024-09-03-b3... 84 9/3/2024
4.7.0-nightly-2024-09-02-b3... 94 9/2/2024
4.7.0-nightly-2024-09-01-b3... 79 9/1/2024
4.7.0-nightly-2024-08-31-b3... 88 8/31/2024
4.7.0-nightly-2024-08-30-d8... 92 8/30/2024
4.7.0-nightly-2024-08-29-d8... 84 8/29/2024
4.7.0-nightly-2024-08-28-a4... 72 8/28/2024
4.7.0-nightly-2024-08-27-a4... 76 8/27/2024
4.7.0-nightly-2024-08-26-a4... 75 8/26/2024
4.7.0-nightly-2024-08-25-a4... 95 8/25/2024
4.7.0-nightly-2024-08-24-a4... 95 8/24/2024
4.7.0-nightly-2024-08-23-a4... 103 8/23/2024
4.7.0-nightly-2024-08-22-eb... 97 8/22/2024
4.7.0-nightly-2024-08-21-eb... 99 8/21/2024
4.7.0-nightly-2024-08-20-eb... 106 8/20/2024
4.7.0-nightly-2024-08-19-4e... 100 8/19/2024
4.7.0-nightly-2024-08-18-7e... 109 8/18/2024
4.7.0-nightly-2024-08-17-7e... 100 8/17/2024
4.7.0-nightly-2024-08-16-7e... 109 8/16/2024
4.7.0-nightly-2024-08-15-8d... 97 8/15/2024
4.7.0-nightly-2024-08-14-6d... 95 8/14/2024
4.7.0-nightly-2024-08-13-64... 100 8/13/2024
4.7.0-nightly-2024-08-12-f5... 87 8/12/2024
4.7.0-nightly-2024-08-11-c9... 99 8/11/2024
4.7.0-nightly-2024-08-10-c9... 94 8/10/2024
4.7.0-nightly-2024-08-09-c9... 88 8/9/2024
4.7.0-nightly-2024-08-08-bc... 77 8/8/2024
4.7.0-nightly-2024-08-07-b1... 64 8/7/2024
4.7.0-nightly-2024-08-06-b1... 64 8/6/2024
4.7.0-nightly-2024-08-05-b1... 67 8/5/2024
4.7.0-nightly-2024-08-03-b1... 65 8/3/2024
4.7.0-nightly-2024-08-02-b1... 71 8/2/2024
4.7.0-nightly-2024-08-01-86... 73 8/1/2024
4.7.0-nightly-2024-07-31-86... 57 7/31/2024
4.7.0-nightly-2024-07-30-36... 72 7/30/2024
4.7.0-nightly-2024-07-29-d8... 62 7/29/2024
4.7.0-nightly-2024-07-29-70... 67 7/29/2024
4.7.0-nightly-2024-07-28-70... 66 7/28/2024
4.7.0-nightly-2024-07-27-70... 69 7/27/2024
4.7.0-nightly-2024-07-26-70... 67 7/26/2024
4.7.0-nightly-2024-07-25-70... 73 7/25/2024
4.7.0-nightly-2024-07-24-f1... 79 7/24/2024
4.7.0-nightly-2024-07-23-f1... 91 7/23/2024
4.7.0-nightly-2024-07-22-91... 92 7/22/2024
4.7.0-nightly-2024-07-21-91... 95 7/21/2024
4.7.0-nightly-2024-07-20-91... 88 7/20/2024
4.7.0-nightly-2024-07-19-91... 79 7/19/2024
4.7.0-nightly-2024-07-18-91... 83 7/19/2024
4.7.0-nightly-2024-07-17-91... 69 7/17/2024
4.7.0-nightly-2024-07-16-91... 67 7/17/2024
4.7.0-nightly-2024-07-15-91... 82 7/15/2024
4.7.0-nightly-2024-07-14-91... 85 7/14/2024
4.7.0-nightly-2024-07-13-91... 81 7/13/2024
4.7.0-nightly-2024-07-12-91... 82 7/12/2024
4.7.0-nightly-2024-07-11-04... 70 7/11/2024
4.7.0-nightly-2024-07-10-52... 91 7/10/2024
4.7.0-nightly-2024-07-09-7e... 77 7/9/2024
4.7.0-nightly-2024-07-08-20... 81 7/8/2024
4.7.0-nightly-2024-07-07-9a... 89 7/8/2024
4.7.0-nightly-2024-07-05-04... 75 7/5/2024
4.7.0-nightly-2024-07-04-04... 79 7/4/2024
4.7.0-nightly-2024-07-03-14... 83 7/3/2024
4.7.0-nightly-2024-07-02-14... 79 7/3/2024
4.7.0-nightly-2024-07-01-14... 90 7/2/2024
4.7.0-nightly-2024-06-30-14... 89 6/30/2024
4.7.0-nightly-2024-06-29-14... 97 6/29/2024
4.7.0-nightly-2024-06-28-14... 90 6/28/2024
4.7.0-nightly-2024-06-27-14... 91 6/27/2024
4.6.0 134 3/28/2024
4.6.0-nightly-2024-06-26-eb... 78 6/26/2024
4.6.0-nightly-2024-06-25-2e... 74 6/25/2024
4.6.0-nightly-2024-06-24-08... 81 6/24/2024
4.6.0-nightly-2024-06-23-08... 88 6/23/2024
4.6.0-nightly-2024-06-22-08... 73 6/22/2024
4.6.0-nightly-2024-06-21-e3... 82 6/21/2024
4.6.0-nightly-2024-06-20-94... 81 6/20/2024
4.6.0-nightly-2024-06-19-94... 90 6/19/2024
4.6.0-nightly-2024-06-15-5f... 96 6/15/2024
4.6.0-nightly-2024-06-14-70... 93 6/14/2024
4.6.0-nightly-2024-06-13-70... 82 6/14/2024
4.6.0-nightly-2024-06-12-f1... 68 6/12/2024
4.6.0-nightly-2024-06-11-64... 76 6/11/2024
4.6.0-nightly-2024-06-10-f0... 69 6/10/2024
4.6.0-nightly-2024-06-09-f0... 79 6/9/2024
4.6.0-nightly-2024-06-08-9f... 73 6/8/2024
4.6.0-nightly-2024-06-07-43... 83 6/7/2024
4.6.0-nightly-2024-06-06-66... 89 6/6/2024
4.6.0-nightly-2024-06-04-da... 81 6/4/2024
4.6.0-nightly-2024-06-04-75... 79 6/4/2024
4.6.0-nightly-2024-06-04-52... 81 6/4/2024
4.6.0-nightly-2024-05-29-b5... 82 5/29/2024
4.6.0-nightly-2024-05-28-dc... 86 5/28/2024
4.6.0-nightly-2024-05-24-6b... 93 5/24/2024
4.6.0-nightly-2024-05-23-41... 93 5/24/2024
4.6.0-nightly-2024-05-22-41... 84 5/23/2024
4.6.0-nightly-2024-05-21-33... 92 5/21/2024
4.6.0-nightly-2024-05-20-7e... 86 5/20/2024
4.6.0-nightly-2024-05-18-2f... 84 5/18/2024
4.6.0-nightly-2024-05-17-80... 90 5/17/2024
4.6.0-nightly-2024-05-16-8d... 98 5/16/2024
4.6.0-nightly-2024-05-15-af... 96 5/15/2024
4.6.0-nightly-2024-05-14-8d... 95 5/14/2024
4.6.0-nightly-2024-05-13-70... 80 5/13/2024
4.6.0-nightly-2024-05-12-70... 92 5/12/2024
4.6.0-nightly-2024-05-11-70... 92 5/11/2024
4.6.0-nightly-2024-05-10-cc... 87 5/10/2024
4.6.0-nightly-2024-05-09-84... 101 5/9/2024
4.6.0-nightly-2024-05-08-1c... 100 5/8/2024
4.6.0-nightly-2024-05-07-55... 97 5/7/2024
4.6.0-nightly-2024-05-06-55... 95 5/6/2024
4.6.0-nightly-2024-05-05-55... 106 5/5/2024
4.6.0-nightly-2024-05-04-55... 101 5/4/2024
4.6.0-nightly-2024-05-03-55... 51 5/3/2024
4.6.0-nightly-2024-05-02-07... 61 5/3/2024
4.6.0-nightly-2024-05-01-8e... 63 5/1/2024
4.6.0-nightly-2024-05-01-88... 59 5/1/2024
4.6.0-nightly-2024-04-29-ea... 87 4/29/2024
4.6.0-nightly-2024-04-26-bc... 76 4/26/2024
4.6.0-nightly-2024-04-25-b4... 85 4/25/2024
4.6.0-nightly-2024-04-24-06... 92 4/24/2024
4.6.0-nightly-2024-04-22-00... 97 4/22/2024
4.6.0-nightly-2024-04-21-2e... 75 4/21/2024
4.6.0-nightly-2024-04-20-2e... 86 4/21/2024
4.6.0-nightly-2024-04-19-0c... 92 4/19/2024
4.6.0-nightly-2024-04-18-0c... 87 4/18/2024
4.6.0-nightly-2024-04-17-b3... 91 4/17/2024
4.6.0-nightly-2024-04-16-1c... 89 4/16/2024
4.6.0-nightly-2024-04-15-13... 84 4/15/2024
4.6.0-nightly-2024-04-14-13... 86 4/15/2024
4.6.0-nightly-2024-04-13-13... 99 4/13/2024
4.6.0-nightly-2024-04-12-4e... 89 4/12/2024
4.6.0-nightly-2024-04-11-62... 82 4/11/2024
4.6.0-nightly-2024-04-10-d8... 86 4/10/2024
4.6.0-nightly-2024-04-09-65... 92 4/9/2024
4.6.0-nightly-2024-04-08-be... 94 4/8/2024
4.6.0-nightly-2024-04-07-be... 96 4/7/2024
4.6.0-nightly-2024-04-05-56... 88 4/5/2024
4.6.0-nightly-2024-04-04-5c... 79 4/4/2024
4.6.0-nightly-2024-04-03-91... 88 4/3/2024
4.6.0-nightly-2024-04-02-5b... 98 4/2/2024
4.6.0-nightly-2024-04-01-69... 84 4/1/2024
4.6.0-nightly-2024-03-31-4a... 92 3/31/2024
4.6.0-nightly-2024-03-29-8f... 90 3/29/2024
4.6.0-nightly-2024-03-29-71... 78 3/29/2024
4.5.0 137 3/15/2024
4.5.0-nightly-2024-03-27-ca... 85 3/27/2024
4.5.0-nightly-2024-03-26-0c... 97 3/27/2024
4.5.0-nightly-2024-03-25-f4... 106 3/25/2024
4.5.0-nightly-2024-03-24-f4... 85 3/25/2024
4.5.0-nightly-2024-03-23-f4... 107 3/23/2024
4.5.0-nightly-2024-03-22-ec... 99 3/22/2024
4.5.0-nightly-2024-03-21-7c... 84 3/21/2024
4.5.0-nightly-2024-03-20-99... 97 3/20/2024
4.5.0-nightly-2024-03-19-39... 109 3/20/2024
4.5.0-nightly-2024-03-18-39... 84 3/18/2024
4.5.0-nightly-2024-03-17-39... 87 3/17/2024
4.5.0-nightly-2024-03-16-39... 91 3/16/2024
4.5.0-nightly-2024-03-15-02... 90 3/15/2024
4.4.0 205 12/12/2023
4.4.0-nightly-2024-03-15-87... 107 3/15/2024
4.4.0-nightly-2024-03-14-28... 82 3/14/2024
4.4.0-nightly-2024-03-13-f1... 90 3/13/2024
4.4.0-nightly-2024-03-12-69... 92 3/12/2024
4.4.0-nightly-2024-03-11-a8... 89 3/11/2024
4.4.0-nightly-2024-03-10-a2... 98 3/11/2024
4.4.0-nightly-2024-03-09-a2... 96 3/9/2024
4.4.0-nightly-2024-03-08-1d... 87 3/8/2024
4.4.0-nightly-2024-03-06-35... 101 3/6/2024
4.4.0-nightly-2024-03-05-35... 104 3/5/2024
4.4.0-nightly-2024-03-04-54... 112 3/4/2024
4.4.0-nightly-2024-03-03-4e... 95 3/3/2024
4.4.0-nightly-2024-03-01-26... 101 3/1/2024
4.4.0-nightly-2024-02-29-2a... 108 2/29/2024
4.4.0-nightly-2024-02-28-2a... 99 2/28/2024
4.4.0-nightly-2024-02-27-2a... 89 2/27/2024
4.4.0-nightly-2024-02-26-1c... 78 2/26/2024
4.4.0-nightly-2024-02-25-d6... 98 2/26/2024
4.4.0-nightly-2024-02-24-d6... 102 2/24/2024
4.4.0-nightly-2024-02-23-d6... 103 2/23/2024
4.4.0-nightly-2024-02-22-e2... 99 2/22/2024
4.4.0-nightly-2024-02-21-22... 90 2/21/2024
4.4.0-nightly-2024-02-20-ce... 97 2/20/2024
4.4.0-nightly-2024-02-19-be... 105 2/19/2024
4.4.0-nightly-2024-02-18-be... 94 2/18/2024
4.4.0-nightly-2024-02-17-be... 105 2/17/2024
4.4.0-nightly-2024-02-16-af... 103 2/16/2024
4.4.0-nightly-2024-02-15-73... 108 2/15/2024
4.4.0-nightly-2024-02-14-5c... 106 2/14/2024
4.4.0-nightly-2024-02-13-9d... 105 2/13/2024
4.4.0-nightly-2024-02-12-d7... 92 2/12/2024
4.4.0-nightly-2024-02-11-c8... 108 2/11/2024
4.4.0-nightly-2024-02-10-c8... 99 2/10/2024
4.4.0-nightly-2024-02-09-29... 119 2/9/2024
4.4.0-nightly-2024-02-08-fc... 105 2/8/2024
4.4.0-nightly-2024-02-07-59... 101 2/7/2024
4.4.0-nightly-2024-02-06-b3... 89 2/6/2024
4.4.0-nightly-2024-02-05-16... 100 2/5/2024
4.4.0-nightly-2024-02-04-c6... 97 2/4/2024
4.4.0-nightly-2024-02-03-c6... 99 2/3/2024
4.4.0-nightly-2024-02-02-70... 97 2/2/2024
4.4.0-nightly-2024-02-01-8b... 102 2/1/2024
4.4.0-nightly-2024-01-31-8b... 100 1/31/2024
4.4.0-nightly-2024-01-30-90... 97 1/30/2024
4.4.0-nightly-2024-01-26-cf... 85 1/26/2024
4.4.0-nightly-2024-01-25-cf... 96 1/25/2024
4.4.0-nightly-2024-01-24-9d... 87 1/24/2024
4.4.0-nightly-2024-01-23-fe... 96 1/23/2024
4.4.0-nightly-2024-01-22-47... 98 1/22/2024
4.4.0-nightly-2024-01-21-a7... 82 1/21/2024
4.4.0-nightly-2024-01-20-79... 92 1/20/2024
4.4.0-nightly-2024-01-19-99... 95 1/19/2024
4.4.0-nightly-2024-01-19-3b... 95 1/19/2024
4.4.0-nightly-2024-01-18-3b... 98 1/18/2024
4.4.0-nightly-2024-01-17-3b... 91 1/17/2024
4.4.0-nightly-2024-01-03-2c... 99 1/3/2024
4.4.0-nightly-2024-01-01-2c... 113 1/1/2024
4.4.0-nightly-2023-12-31-2c... 118 12/31/2023
4.4.0-nightly-2023-12-30-2c... 110 12/30/2023
4.4.0-nightly-2023-12-29-2c... 121 12/29/2023
4.4.0-nightly-2023-12-28-2c... 109 12/28/2023
4.4.0-nightly-2023-12-27-2c... 122 12/27/2023
4.4.0-nightly-2023-12-26-2c... 114 12/26/2023
4.4.0-nightly-2023-12-25-2c... 97 12/25/2023
4.4.0-nightly-2023-12-24-2c... 92 12/24/2023
4.4.0-nightly-2023-12-23-2c... 96 12/23/2023
4.4.0-nightly-2023-12-22-2c... 92 12/22/2023
4.4.0-nightly-2023-12-21-2c... 102 12/21/2023
4.4.0-nightly-2023-12-20-2c... 88 12/20/2023
4.4.0-nightly-2023-12-19-2c... 96 12/19/2023
4.4.0-nightly-2023-12-18-2c... 102 12/18/2023
4.4.0-nightly-2023-12-17-2c... 99 12/17/2023
4.4.0-nightly-2023-12-16-2c... 95 12/16/2023
4.4.0-nightly-2023-12-15-2c... 91 12/15/2023
4.4.0-nightly-2023-12-14-2c... 109 12/15/2023
4.4.0-nightly-2023-12-13-2c... 99 12/13/2023
4.4.0-nightly-2023-12-12-4f... 97 12/12/2023
4.4.0-nightly-2023-12-11-4f... 89 12/11/2023
4.4.0-nightly-2023-12-10-4f... 92 12/10/2023
4.4.0-nightly-2023-12-09-4f... 99 12/9/2023
4.3.0 175 9/28/2023
4.3.0-nightly-2023-12-08-7e... 93 12/8/2023
4.3.0-nightly-2023-12-07-c9... 102 12/7/2023
4.3.0-nightly-2023-12-06-6a... 106 12/6/2023
4.3.0-nightly-2023-12-05-cc... 74 12/5/2023
4.3.0-nightly-2023-12-04-fd... 78 12/4/2023
4.3.0-nightly-2023-12-03-23... 104 12/3/2023
4.3.0-nightly-2023-12-02-23... 101 12/2/2023
4.3.0-nightly-2023-12-01-05... 109 12/1/2023
4.3.0-nightly-2023-11-30-8e... 97 11/30/2023
4.3.0-nightly-2023-11-29-f7... 92 11/29/2023
4.3.0-nightly-2023-11-28-c5... 90 11/28/2023
4.3.0-nightly-2023-11-27-98... 94 11/27/2023
4.3.0-nightly-2023-11-25-b1... 100 11/25/2023
4.3.0-nightly-2023-11-24-b1... 95 11/24/2023
4.3.0-nightly-2023-11-23-ec... 101 11/23/2023
4.3.0-nightly-2023-11-22-ec... 99 11/22/2023
4.3.0-nightly-2023-11-21-fd... 96 11/21/2023
4.3.0-nightly-2023-11-21-4f... 95 11/21/2023
4.3.0-nightly-2023-11-19-dd... 92 11/19/2023
4.3.0-nightly-2023-11-18-dd... 102 11/18/2023
4.3.0-nightly-2023-11-17-06... 94 11/17/2023
4.3.0-nightly-2023-11-16-f8... 94 11/16/2023
4.3.0-nightly-2023-11-15-c6... 87 11/15/2023
4.3.0-nightly-2023-11-14-84... 95 11/14/2023
4.3.0-nightly-2023-11-13-5e... 99 11/13/2023
4.3.0-nightly-2023-11-12-90... 99 11/12/2023
4.3.0-nightly-2023-11-11-90... 89 11/11/2023
4.3.0-nightly-2023-11-10-4d... 93 11/10/2023
4.3.0-nightly-2023-11-09-ee... 96 11/9/2023
4.3.0-nightly-2023-11-08-48... 97 11/8/2023
4.3.0-nightly-2023-11-07-48... 90 11/7/2023
4.3.0-nightly-2023-11-06-d4... 93 11/6/2023
4.3.0-nightly-2023-11-05-d4... 95 11/5/2023
4.3.0-nightly-2023-11-02-53... 90 11/2/2023
4.3.0-nightly-2023-11-01-45... 99 11/1/2023
4.3.0-nightly-2023-10-31-af... 84 10/31/2023
4.3.0-nightly-2023-10-30-bf... 101 10/30/2023
4.3.0-nightly-2023-10-29-17... 99 10/29/2023
4.3.0-nightly-2023-10-28-17... 110 10/28/2023
4.3.0-nightly-2023-10-27-c6... 109 10/27/2023
4.3.0-nightly-2023-10-26-c6... 100 10/26/2023
4.3.0-nightly-2023-10-25-5d... 101 10/25/2023
4.3.0-nightly-2023-10-24-cd... 108 10/24/2023
4.3.0-nightly-2023-10-23-7b... 119 10/23/2023
4.3.0-nightly-2023-10-23-3e... 107 10/24/2023
4.3.0-nightly-2023-10-20-81... 123 10/20/2023
4.3.0-nightly-2023-10-19-9e... 117 10/19/2023
4.3.0-nightly-2023-10-18-32... 121 10/18/2023
4.3.0-nightly-2023-10-17-ad... 120 10/17/2023
4.3.0-nightly-2023-10-16-41... 117 10/16/2023
4.3.0-nightly-2023-10-15-fc... 126 10/15/2023
4.3.0-nightly-2023-10-14-fc... 125 10/14/2023
4.3.0-nightly-2023-10-13-0e... 127 10/13/2023
4.3.0-nightly-2023-09-27-35... 133 9/27/2023
4.2.0 280 7/20/2023
4.2.0-nightly-2023-10-12-fd... 111 10/12/2023
4.2.0-nightly-2023-10-11-fd... 121 10/11/2023
4.2.0-nightly-2023-10-10-fd... 116 10/10/2023
4.2.0-nightly-2023-10-09-fd... 129 10/9/2023
4.2.0-nightly-2023-10-08-fd... 120 10/8/2023
4.2.0-nightly-2023-10-07-fd... 128 10/7/2023
4.2.0-nightly-2023-10-06-fd... 131 10/6/2023
4.2.0-nightly-2023-10-05-fd... 117 10/5/2023
4.2.0-nightly-2023-10-04-fd... 120 10/4/2023
4.2.0-nightly-2023-10-02-fd... 126 10/2/2023
4.2.0-nightly-2023-09-30-fd... 121 9/30/2023
4.2.0-nightly-2023-09-29-fd... 131 9/29/2023
4.2.0-nightly-2023-09-28-fd... 127 9/28/2023
4.2.0-nightly-2023-09-27-fd... 142 9/27/2023
4.2.0-nightly-2023-09-27-4d... 137 9/27/2023
4.2.0-nightly-2023-09-26-a0... 134 9/26/2023
4.2.0-nightly-2023-09-25-67... 134 9/25/2023
4.2.0-nightly-2023-09-24-67... 127 9/24/2023
4.2.0-nightly-2023-09-23-67... 125 9/23/2023
4.2.0-nightly-2023-09-22-67... 122 9/22/2023
4.2.0-nightly-2023-09-21-75... 125 9/21/2023
4.2.0-nightly-2023-09-20-c6... 129 9/20/2023
4.2.0-nightly-2023-09-19-ae... 130 9/19/2023
4.2.0-nightly-2023-09-18-45... 109 9/18/2023
4.2.0-nightly-2023-09-17-45... 133 9/18/2023
4.2.0-nightly-2023-09-16-04... 113 9/16/2023
4.2.0-nightly-2023-09-15-e7... 128 9/15/2023
4.2.0-nightly-2023-09-14-e5... 144 9/14/2023
4.2.0-nightly-2023-09-13-45... 137 9/13/2023
4.2.0-nightly-2023-09-12-27... 129 9/12/2023
4.2.0-nightly-2023-09-11-d2... 134 9/11/2023
4.2.0-nightly-2023-09-10-c5... 113 9/10/2023
4.2.0-nightly-2023-09-09-ed... 140 9/9/2023
4.2.0-nightly-2023-09-08-37... 127 9/8/2023
4.2.0-nightly-2023-09-07-b6... 141 9/7/2023
4.2.0-nightly-2023-09-06-8d... 130 9/6/2023
4.2.0-nightly-2023-09-05-e1... 131 9/5/2023
4.2.0-nightly-2023-09-04-1e... 114 9/4/2023
4.2.0-nightly-2023-09-03-4a... 122 9/4/2023
4.2.0-nightly-2023-09-02-a8... 137 9/2/2023
4.2.0-nightly-2023-09-01-e9... 138 9/1/2023
4.2.0-nightly-2023-08-31-e9... 127 8/31/2023
4.2.0-nightly-2023-08-30-05... 147 8/30/2023
4.2.0-nightly-2023-08-29-a8... 153 8/29/2023
4.2.0-nightly-2023-08-28-52... 140 8/28/2023
4.2.0-nightly-2023-08-27-95... 136 8/27/2023
4.2.0-nightly-2023-08-26-95... 133 8/26/2023
4.2.0-nightly-2023-08-25-fe... 144 8/25/2023
4.2.0-nightly-2023-08-24-c5... 143 8/24/2023
4.2.0-nightly-2023-08-24-06... 133 8/24/2023
4.2.0-nightly-2023-08-23-b9... 131 8/23/2023
4.2.0-nightly-2023-08-22-84... 133 8/22/2023
4.2.0-nightly-2023-08-21-83... 129 8/21/2023
4.2.0-nightly-2023-08-20-83... 146 8/20/2023
4.2.0-nightly-2023-08-19-83... 132 8/19/2023
4.2.0-nightly-2023-08-18-2a... 129 8/18/2023
4.2.0-nightly-2023-08-17-9e... 124 8/17/2023
4.2.0-nightly-2023-08-16-d9... 135 8/16/2023
4.2.0-nightly-2023-08-15-cd... 155 8/15/2023
4.2.0-nightly-2023-08-14-0c... 152 8/14/2023
4.2.0-nightly-2023-08-13-06... 150 8/13/2023
4.2.0-nightly-2023-08-12-06... 159 8/12/2023
4.2.0-nightly-2023-08-11-e2... 162 8/11/2023
4.2.0-nightly-2023-08-10-44... 164 8/10/2023
4.2.0-nightly-2023-08-09-20... 149 8/9/2023
4.2.0-nightly-2023-08-08-ea... 144 8/9/2023
4.2.0-nightly-2023-08-07-c3... 154 8/7/2023
4.2.0-nightly-2023-08-06-24... 158 8/6/2023
4.2.0-nightly-2023-08-05-38... 161 8/5/2023
4.2.0-nightly-2023-08-04-df... 154 8/4/2023
4.2.0-nightly-2023-08-04-65... 159 8/4/2023
4.2.0-nightly-2023-08-02-a9... 151 8/2/2023
4.2.0-nightly-2023-08-01-52... 173 8/1/2023
4.2.0-nightly-2023-07-31-3b... 158 7/31/2023
4.2.0-nightly-2023-07-30-3b... 156 7/30/2023
4.2.0-nightly-2023-07-29-3b... 159 7/29/2023
4.2.0-nightly-2023-07-28-65... 157 7/28/2023
4.2.0-nightly-2023-07-27-02... 157 7/27/2023
4.2.0-nightly-2023-07-26-59... 152 7/26/2023
4.2.0-nightly-2023-07-25-c5... 167 7/25/2023
4.2.0-nightly-2023-07-24-4d... 170 7/24/2023
4.2.0-nightly-2023-07-23-4d... 176 7/23/2023
4.2.0-nightly-2023-07-22-4d... 171 7/22/2023
4.2.0-nightly-2023-07-21-ab... 171 7/21/2023
4.1.0-nightly-2023-07-20-35... 153 7/20/2023
4.1.0-nightly-2023-07-18-ce... 166 7/18/2023
4.1.0-nightly-2023-07-18-86... 162 7/18/2023
4.1.0-nightly-2023-07-17-ec... 169 7/17/2023
4.1.0-nightly-2023-07-17-e9... 159 7/17/2023
4.1.0-nightly-2023-07-16-e9... 163 7/16/2023
4.1.0-nightly-2023-07-15-e9... 166 7/15/2023
4.1.0-nightly-2023-07-14-12... 146 7/14/2023