Microsoft.ILVerification
11.0.0
Prefix Reserved
dotnet add package Microsoft.ILVerification --version 11.0.0
NuGet\Install-Package Microsoft.ILVerification -Version 11.0.0
<PackageReference Include="Microsoft.ILVerification" Version="11.0.0" />
<PackageVersion Include="Microsoft.ILVerification" Version="11.0.0" />
<PackageReference Include="Microsoft.ILVerification" />
paket add Microsoft.ILVerification --version 11.0.0
#r "nuget: Microsoft.ILVerification, 11.0.0"
#:package Microsoft.ILVerification@11.0.0
#addin nuget:?package=Microsoft.ILVerification&version=11.0.0
#tool nuget:?package=Microsoft.ILVerification&version=11.0.0
About
Provides a library for verifying .NET intermediate language (IL) against the ECMA-335 specification. For a command-line interface, use the dotnet-ilverify tool.
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net11.0 is compatible. |
-
net11.0
- No dependencies.
NuGet packages (5)
Showing the top 5 NuGet packages that depend on Microsoft.ILVerification:
| Package | Downloads |
|---|---|
|
MTGOSDK.MSBuild
An MSBuild library that manages the code-generation of the SDK. This builds reference assemblies containing only the public types and members of internal classes from the MTGO client and does not handle or contain any implementation details or private code. |
|
|
Robust.Shared
Package Description |
|
|
SharpTS.Hosting
Native AOT hosting support for SharpTS with build-time generated, closed-world .NET interop catalogs. |
|
|
PostSharp.Testing.AspectTesting
A test framework for PostSharp aspects, based on xunit.v3: each source file of the test project is a test, which is compiled, woven, verified and executed. |
|
|
Rampart.Core
Core PE transformation and inspection library for Rampart. |
GitHub repositories (10)
Showing the top 10 popular GitHub repositories that depend on Microsoft.ILVerification:
| Repository | Stars |
|---|---|
|
dotnet/roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
|
|
|
ashmind/SharpLab
.NET language playground
|
|
|
ikvmnet/ikvm
A Java Virtual Machine and Bytecode-to-IL Converter for .NET
|
|
|
unitystation/unitystation
The original unitystation
|
|
|
space-wizards/RobustToolbox
Robust multiplayer game engine, used by Space Station 14
|
|
|
DataDog/dd-trace-dotnet
.NET Client Library for Datadog APM
|
|
|
nickna/SharpTS
Compile TypeScript to .NET IL; Use .NET classes in Typescript
|
|
|
X-Sharp/XSharpPublic
Public repository for the source code for the XSharp Compiler, Runtime, Project System and Tools.
|
|
|
VeloxDB/VeloxDB
An object oriented database for building next generation solutions with .NET and C#.
|
|
|
adrianoc/cecilifier
A tool aiming to make it a little bit easier to learn Mono.Cecil
|
| Version | Downloads | Last Updated |
|---|---|---|
| 11.0.0 | 273 | 11/10/2026 |
| 10.0.15 | 263 | 11/10/2026 |
| 10.0.14 | 924 | 10/25/2026 |
| 10.0.13 | 1,382 | 10/13/2026 |
| 10.0.12 | 3,085 | 9/8/2026 |
| 10.0.11 | 4,165 | 8/11/2026 |
| 10.0.10 | 2,050 | 7/14/2026 |
| 10.0.9 | 1,816 | 6/9/2026 |
| 10.0.8 | 1,214 | 5/12/2026 |
| 10.0.7 | 230 | 4/21/2026 |
| 10.0.6 | 413 | 4/14/2026 |
| 9.0.23 | 49 | 11/10/2026 |
| 9.0.22 | 90 | 10/25/2026 |
| 9.0.21 | 98 | 10/13/2026 |
| 9.0.20 | 107 | 9/8/2026 |
| 9.0.19 | 101 | 8/11/2026 |
| 9.0.18 | 155 | 7/14/2026 |
| 9.0.17 | 145 | 6/9/2026 |
| 9.0.16 | 126 | 5/12/2026 |
| 9.0.15 | 118 | 4/14/2026 |
9.0.0 - In the ILVerify.IResolver interface, the type of the first parameter of each method is now System.Reflection.Metadata.AssemblyNameInfo rather than System.Reflection.AssemblyName.
10.0.0 - The ILVerification package now targets .NET 10.0 and later.