-
Notifications
You must be signed in to change notification settings - Fork 254
Insights: dafny-lang/dafny
Dependency graph
231 Total
- Detected automatically on May 23, 2024 (NuGet) · Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj · MIT
- Microsoft.NET.Test.Sdk 17.1.0
- Moq 4.16.1
- Detected automatically on May 23, 2024 (NuGet) · Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
- Serilog.Sinks.InMemory 0.11.0
- xunit 2.4.2
- Xunit.AssertMessages 2.4.0
- xunit.extensibility.core 2.4.2
- Detected automatically on May 23, 2024 (NuGet) · Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj · MIT
- Detected automatically on Feb 14, 2024 (NuGet) · Source/DafnyLanguageServer/DafnyLanguageServer.csproj · MIT
- Detected automatically on Feb 14, 2024 (NuGet) · Source/DafnyLanguageServer/DafnyLanguageServer.csproj · MIT
- Detected automatically on Feb 14, 2024 (NuGet) · Source/DafnyLanguageServer/DafnyLanguageServer.csproj · MIT
- Newtonsoft.Json 13.0.1
- RangeTree 3.0.1
- Serilog 2.12.0
- Detected automatically on Feb 14, 2024 (NuGet) · Source/DafnyLanguageServer/DafnyLanguageServer.csproj · Apache-2.0
- Detected automatically on Feb 14, 2024 (NuGet) · Source/DafnyLanguageServer/DafnyLanguageServer.csproj · Apache-2.0
- Serilog.Sinks.Debug 2.0.0
- Serilog.Sinks.File 5.0.0
- System.Collections 4.3.0