DafnyBenchmarkingPlugin 4.10.1-nightly-2025-03-21-7d7b2c8

.NET 8.0 This package targets .NET 8.0. The package is compatible with this framework or higher.
This is a prerelease version of DafnyBenchmarkingPlugin.
There is a newer prerelease version of this package available.
See the version list below for details. 
dotnet add package DafnyBenchmarkingPlugin --version 4.10.1-nightly-2025-03-21-7d7b2c8                

                    
                

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

                    
                

            
#r "nuget: DafnyBenchmarkingPlugin, 4.10.1-nightly-2025-03-21-7d7b2c8"
#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.10.1-nightly-2025-03-21-7d7b2c8&prerelease

// Install DafnyBenchmarkingPlugin as a Cake Tool
#tool nuget:?package=DafnyBenchmarkingPlugin&version=4.10.1-nightly-2025-03-21-7d7b2c8&prerelease

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 net8.0 is compatible.  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.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

  • net8.0

    • DafnyCore (>= 4.10.1-nightly-2025-03-21-7d7b2c8)

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