Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / just-me- / dafny-language-server

Dafny Language Server - Bachelor Thesis

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/just-me-%2Fdafny-language-server

Stars: 0
Forks: 0
Open Issues: 0

License: other
Language: Dafny
Repo Size: 16 MB
Dependencies: 124

Created: almost 4 years ago
Updated: 9 months ago
Last pushed: almost 4 years ago
Last synced: 9 months ago

Files

Loading...

Readme

Loading...

Dependencies

Dockerfile docker

mono 5.20 build

Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven

org.junit.jupiter:junit-jupiter-engine 5.5.2 compile

Source/DafnyExtension/packages.config nuget

VSSDK.ComponentModelHost 11.0.4 development
VSSDK.ComponentModelHost.11 11.0.3 development
VSSDK.CoreUtility 11.0.4 development
VSSDK.CoreUtility.11 11.0.4 development
VSSDK.Editor 11.0.4 development
VSSDK.IDE 7.0.4 development
VSSDK.IDE.11 11.0.4 development
VSSDK.Language 11.0.4 development
VSSDK.Language.11 11.0.4 development
VSSDK.Shell.11 11.0.4 development
VSSDK.Text 11.0.4 development
VSSDK.Text.11 11.0.4 development
VSSDK.DTE 7.0.4
VSSDK.IDE.10 10.0.4
VSSDK.IDE.8 8.0.4
VSSDK.IDE.9 9.0.4
VSSDK.OLE.Interop 7.0.4
VSSDK.Shell.Immutable.10 10.0.4
VSSDK.Shell.Immutable.11 11.0.4
VSSDK.Shell.Interop 7.0.4
VSSDK.Shell.Interop.10 10.0.4
VSSDK.Shell.Interop.11 11.0.4
VSSDK.Shell.Interop.8 8.0.4
VSSDK.Shell.Interop.9 9.0.4
VSSDK.TextManager.Interop 7.0.4
VSSDK.TextManager.Interop.8 8.0.4

Source/DafnyMenu/packages.config nuget

VSSDK.ComponentModelHost 11.0.4 development
VSSDK.ComponentModelHost.11 11.0.3 development
VSSDK.CoreUtility 11.0.4 development
VSSDK.CoreUtility.11 11.0.4 development
VSSDK.Editor 11.0.4 development
VSSDK.IDE 7.0.4 development
VSSDK.IDE.11 11.0.4 development
VSSDK.Language 11.0.4 development
VSSDK.Language.11 11.0.4 development
VSSDK.Shell.11 11.0.4 development
VSSDK.Text 11.0.4 development
VSSDK.Text.11 11.0.4 development
VSSDK.DTE 7.0.4
VSSDK.IDE.10 10.0.4
VSSDK.IDE.8 8.0.4
VSSDK.IDE.9 9.0.4
VSSDK.OLE.Interop 7.0.4
VSSDK.Shell.Immutable.10 10.0.4
VSSDK.Shell.Immutable.11 11.0.4
VSSDK.Shell.Interop 7.0.4
VSSDK.Shell.Interop.10 10.0.4
VSSDK.Shell.Interop.11 11.0.4
VSSDK.Shell.Interop.8 8.0.4
VSSDK.Shell.Interop.9 9.0.4
VSSDK.TextManager.Interop 7.0.4
VSSDK.TextManager.Interop.8 8.0.4

Source/DafnyRuntime/DafnyRuntime-NetCore.csproj nuget

System.Collections.Immutable 1.7.0
System.Runtime.Numerics 4.3.0

Test/LanguageServerTest/IntegrationTests/AutoCompletionIntegrationTest/AutoCompletionIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
Serilog 2.9.0
Serilog.Extensions.Logging 3.0.1
Serilog.Sinks.Console 3.1.1
nunit 3.11.0

Test/LanguageServerTest/IntegrationTests/CodeLensIntegrationTest/CodeLensIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit 3.11.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0

Test/LanguageServerTest/IntegrationTests/CompileIntegrationTest/CompileIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
Serilog 2.9.0
Serilog.Extensions.Logging 3.0.1
Serilog.Sinks.Console 3.1.1
nunit 3.11.0

Test/LanguageServerTest/IntegrationTests/CounterExampleIntegrationTest/CounterExampleIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
Serilog 2.9.0
Serilog.Extensions.Logging 3.0.1
Serilog.Sinks.Console 3.1.1
nunit 3.11.0

Test/LanguageServerTest/IntegrationTests/GotoIntegrationTest/GotoIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
Serilog 2.9.0
Serilog.Extensions.Logging 3.0.1
Serilog.Sinks.Console 3.1.1
nunit 3.11.0

Test/LanguageServerTest/IntegrationTests/HoverTest/HoverTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
Nunit 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
OmniSharp.Extensions.LanguageProtocol 0.15.0

Test/LanguageServerTest/IntegrationTests/PerformanceTest/PerformanceTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
Nunit 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
OmniSharp.Extensions.LanguageProtocol 0.15.0

Test/LanguageServerTest/IntegrationTests/RenameTest/RenameTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
nunit 3.11.0

Test/LanguageServerTest/IntegrationTests/VerificationIntegrationTest/VerificationIntegrationTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageClient 0.15.0
Serilog 2.9.0
Serilog.Extensions.Logging 3.0.1
Serilog.Sinks.Console 3.1.1
nunit 3.11.0

Test/LanguageServerTest/UnitTests/CoreProviderTest/CoreProviderTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit 3.11.0
NUnit3TestAdapter 3.11.0

Test/LanguageServerTest/UnitTests/FileHelperTests/ContentManagerTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
Nunit 3.11.0
OmniSharp.Extensions.LanguageProtocol 0.15.0

Test/LanguageServerTest/UnitTests/ProgramTest/ToolsTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
Nunit 3.11.0
OmniSharp.Extensions.LanguageProtocol 0.15.0

Test/LanguageServerTest/UnitTests/SymbolTableTest/SymbolTableTest.csproj nuget

Microsoft.NET.Test.Sdk 15.9.0
NUnit3TestAdapter 3.11.0
OmniSharp.Extensions.LanguageServer 0.15.0
nunit 3.11.0