Ecosyste.ms: Repos

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

GitHub / Dargones / dafny

Dafny is a verification-aware programming language

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Dargones%2Fdafny

Fork of dafny-lang/dafny
Stars: 1
Forks: 1
Open Issues: 4

License: other
Language: C#
Repo Size: 216 MB
Dependencies: 250

Created: almost 3 years ago
Updated: 17 days ago
Last pushed: 17 days ago
Last synced: 17 days ago

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/nightly-build.yml actions

.github/workflows/doc-tests.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite

.github/workflows/integration-tests-reusable.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite
actions/setup-java v3 composite
actions/setup-node v3 composite
actions/setup-python v4 composite
actions/upload-artifact v3 composite

.github/workflows/msbuild.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite

.github/workflows/publish-release-reusable.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite
actions/setup-java v3 composite
actions/setup-node v3 composite
actions/setup-python v4 composite
actions/upload-artifact v3 composite
softprops/action-gh-release v1 composite

.github/workflows/publish-release.yml actions

battila7/get-version-action v2 composite

.github/workflows/refman.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite
actions/upload-artifact v3 composite

.github/workflows/release-downloads-nuget.yml actions

actions/setup-dotnet v3 composite
actions/setup-java v3 composite
pozetroninc/github-action-get-latest-release v0.5.0 composite

.github/workflows/release-downloads.yml actions

actions/setup-java v3 composite
dsaltares/fetch-gh-release-asset master composite

.github/workflows/test-report.yml actions

actions/checkout v3 composite
dorny/test-reporter v1 composite

Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven

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

Source/AutoExtern/AutoExtern.csproj nuget

Microsoft.Build 17.0.0
Microsoft.Build.Framework 17.0.0
Microsoft.Build.Locator 1.4.1
Microsoft.Build.Tasks.Core 17.0.0
Microsoft.Build.Utilities.Core 17.0.0
Microsoft.CodeAnalysis 4.0.1
Microsoft.CodeAnalysis.CSharp 4.0.1
Microsoft.CodeAnalysis.CSharp.Workspaces 4.0.1
Microsoft.CodeAnalysis.Workspaces.MSBuild 4.0.1
System.CommandLine 2.0.0-beta4.22272.1

Source/AutoExtern.Test/AutoExtern.Test.csproj nuget

Source/DafnyCore/DafnyCore.csproj nuget

Boogie.ExecutionEngine 2.16.0
JetBrains.Annotations 2021.1.0
Microsoft.CodeAnalysis.CSharp 3.7.0
System.Collections.Immutable 1.7.0
System.CommandLine 2.0.0-beta4.22272.1
System.Runtime.Numerics 4.3.0

Source/DafnyDriver/DafnyDriver.csproj nuget

Microsoft.TestPlatform.Extensions.TrxLogger 17.0.0
Microsoft.TestPlatform.TestHost 16.11.0
Newtonsoft.Json 13.0.1
System.Collections 4.3.0
System.Diagnostics.Debug 4.3.0
System.IO.FileSystem.Primitives 4.3.0
System.Runtime.Handles 4.3.0
System.Runtime.InteropServices 4.3.0
System.Security.Principal.Windows 4.6.0
System.Text.Encoding.Extensions 4.3.0
System.Threading 4.3.0

Source/DafnyDriver.Test/DafnyDriver.Test.csproj nuget

Microsoft.NET.Test.Sdk 17.1.0
OmniSharp.Extensions.JsonRpc 0.19.5
OmniSharp.Extensions.LanguageProtocol 0.19.5
coverlet.collector 3.1.2
xunit 2.4.1
xunit.extensibility.core 2.4.1
xunit.runner.visualstudio 2.4.3

Source/DafnyLanguageServer/DafnyLanguageServer.csproj nuget

Microsoft.Extensions.Configuration.CommandLine 5.0.0
Microsoft.Extensions.Configuration.Json 5.0.0
Microsoft.Extensions.Logging 5.0.0
Newtonsoft.Json 13.0.1
OmniSharp.Extensions.LanguageServer 0.19.5
RangeTree 3.0.1
Serilog 2.10.0
Serilog.Extensions.Logging 3.0.1
Serilog.Settings.Configuration 3.1.0
Serilog.Sinks.Debug 2.0.0
Serilog.Sinks.File 5.0.0
System.Collections 4.3.0
System.Diagnostics.Debug 4.3.0
System.IO.FileSystem.Primitives 4.3.0

Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj nuget

DiffPlex 1.7.0
MSTest.TestAdapter 2.2.7
MSTest.TestFramework 2.2.7
Microsoft.CodeAnalysis.CSharp 3.7.0
Microsoft.Extensions.Logging.Console 5.0.0
Microsoft.NET.Test.Sdk 16.11.0
Moq 4.16.1
OmniSharp.Extensions.LanguageProtocol.Testing 0.19.5
coverlet.collector 1.3.0
xunit.extensibility.core 2.4.1

Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj nuget

Source/DafnyRuntime/DafnyRuntime.csproj nuget

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

Source/DafnyRuntime/packages.config nuget

System.Collections.Immutable 1.7.0
System.Runtime 4.3.1

Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj nuget

Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj nuget

Source/IntegrationTests/IntegrationTests.csproj nuget

Source/TestDafny/TestDafny.csproj nuget

CommandLineParser 2.9.1

Source/XUnitExtensions/XUnitExtensions.csproj nuget

CommandLineParser 2.8.0
DiffPlex 1.7.0
Microsoft.Extensions.FileSystemGlobbing 5.0.0
Microsoft.NET.Test.Sdk 16.9.4
Xunit.SkippableFact 1.4.8
coverlet.collector 3.0.2
xunit 2.4.1
xunit.runner.visualstudio 2.4.3

Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj nuget

Antlr4.CodeGenerator 4.6.6
antlr4.runtime 4.6.6

docs/Gemfile rubygems

github-pages ~> 225 development
jekyll-numbered-headings >= 0
kramdown >= 2.3.1
minima ~> 2.5
tzinfo ~> 1.2
tzinfo-data >= 0
wdm ~> 0.1.1

.github/workflows/nightly-build-reusable.yml actions

actions/checkout v3 composite

.github/workflows/check-deep-tests-reusable.yml actions

actions/checkout v3 composite
actions/github-script v6 composite

.github/workflows/release-brew.yml actions

actions/setup-python v4 composite

.github/workflows/runtime-tests.yml actions

actions/checkout v3 composite
actions/setup-java v3 composite

.github/workflows/xunit-tests-reusable.yml actions

actions/checkout v3 composite
actions/setup-dotnet v3 composite
actions/upload-artifact v3 composite

Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml cargo

Test/benchmarks/sequence-race/java/build.gradle.kts maven

org.dafny:DafnyRuntime 4.2.0 implementation
org.junit.jupiter:junit-jupiter-api 5.9.2 testImplementation
org.junit.jupiter:junit-jupiter-engine * testRuntimeOnly

Source/AutoExtern.Test/Minimal/Library.csproj nuget

Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj nuget

Source/AutoExtern.Test/Tutorial/Library/Library.csproj nuget

Source/Dafny/Dafny.csproj nuget

Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj nuget

Source/DafnyCore.Test/DafnyCore.Test.csproj nuget

Source/DafnyPipeline/DafnyPipeline.csproj nuget

Source/DafnyServer/DafnyServer.csproj nuget

Source/DafnyTestGeneration/DafnyTestGeneration.csproj nuget

Test/DafnyTests/DafnyTests.csproj nuget

Test/comp/manualcompile/ManualCompile.csproj nuget

Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj nuget

Test/comp/separate-compilation/consumer/Consumer.csproj nuget

.github/workflows/nightly-build-manual.yml actions

docs/Gemfile.lock rubygems

Source/DafnyRuntime/DafnyRuntimeRust/Cargo.lock cargo

autocfg 1.1.0
either 1.9.0
itertools 0.11.0
num 0.4.1
num-bigint 0.4.3
num-complex 0.4.4
num-integer 0.1.45
num-iter 0.1.43
num-rational 0.4.1
num-traits 0.2.16
once_cell 1.18.0
paste 1.0.14