Ecosyste.ms: Repos

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

GitHub / dafny-lang / dafny

Dafny is a verification-aware programming language

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

Stars: 2,759
Forks: 250
Open Issues: 1,115

License: other
Language: C#
Repo Size: 230 MB
Dependencies: 263

Created: about 8 years ago
Updated: 3 days ago
Last pushed: 2 days ago
Last synced: 2 days ago

Commit Stats

Commits: 5731
Authors: 126
Mean commits per author: 45.48
Development Distribution Score: 0.789
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/dafny-lang/dafny

Topics: programming-language, verification

Files

Readme

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/download-artifact v3 composite
actions/setup-dotnet v3 composite
actions/upload-artifact v3 composite
irongut/CodeCoverageSummary v1.3.0 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-brew.yml actions

actions/setup-python v4 composite

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

actions/checkout v3 composite
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/runtime-tests.yml actions

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

.github/workflows/test-report.yml actions

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

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

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

.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

Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml cargo

Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven

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

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/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/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/DafnyCore.csproj nuget

Boogie.ExecutionEngine 3.0.4
JetBrains.Annotations 2021.1.0
Microsoft.CodeAnalysis.CSharp 3.7.0
Microsoft.Extensions.FileSystemGlobbing 5.0.0
Microsoft.Extensions.Logging.Abstractions 5.0.0
System.Collections.Immutable 1.7.0
System.CommandLine 2.0.0-beta4.22272.1
System.Runtime.Numerics 4.3.0
Tomlyn 0.16.2

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

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.2.0
xunit 2.4.2
xunit.extensibility.core 2.4.2
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
Microsoft.CodeAnalysis.CSharp 3.7.0
Microsoft.Extensions.Logging.Console 5.0.0
Microsoft.NET.Test.Sdk 17.1.0
Moq 4.16.1
OmniSharp.Extensions.LanguageProtocol.Testing 0.19.5
Serilog.Sinks.InMemory 0.11.0
Xunit.AssertMessages 2.4.0
coverlet.collector 3.2.0
xunit 2.4.2
xunit.extensibility.core 2.4.2
xunit.runner.visualstudio 2.4.3

Source/DafnyPipeline/DafnyPipeline.csproj nuget

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/DafnyServer/DafnyServer.csproj nuget

Source/DafnyTestGeneration/DafnyTestGeneration.csproj nuget

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

Source/IntegrationTests/IntegrationTests.csproj nuget

Source/TestDafny/TestDafny.csproj nuget

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.2.0
xunit 2.4.2
xunit.runner.visualstudio 2.4.3

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

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

Antlr4.CodeGenerator 4.6.6
antlr4.runtime 4.6.6

docs/Gemfile rubygems

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

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

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

docs/Gemfile.lock rubygems

activesupport 7.0.7.2
addressable 2.8.4
bundler 2.4.13
coffee-script 2.4.1
coffee-script-source 1.11.1
colorator 1.1.0
commonmarker 0.23.10
concurrent-ruby 1.2.2
dnsruby 1.70.0
em-websocket 0.5.3
ethon 0.16.0
eventmachine 1.2.7
execjs 2.8.1
faraday 2.7.5
faraday-net_http 3.0.2
ffi 1.15.5
forwardable-extended 2.6.0
gemoji 3.0.1
github-pages 228
github-pages-health-check 1.17.9
html-pipeline 2.14.3
http_parser.rb 0.8.0
i18n 1.14.1
jekyll 3.9.3
jekyll-avatar 0.7.0
jekyll-coffeescript 1.1.1
jekyll-commonmark 1.4.0
jekyll-commonmark-ghpages 0.4.0
jekyll-default-layout 0.1.4
jekyll-feed 0.15.1
jekyll-gist 1.5.0
jekyll-github-metadata 2.13.0
jekyll-include-cache 0.2.1
jekyll-mentions 1.6.0
jekyll-numbered-headings 0.1.1
jekyll-optional-front-matter 0.3.2
jekyll-paginate 1.1.0
jekyll-readme-index 0.3.0
jekyll-redirect-from 0.16.0
jekyll-relative-links 0.6.1
jekyll-remote-theme 0.4.3
jekyll-sass-converter 1.5.2
jekyll-seo-tag 2.8.0
jekyll-sitemap 1.4.0
jekyll-swiss 1.0.0
jekyll-theme-architect 0.2.0
jekyll-theme-cayman 0.2.0
jekyll-theme-dinky 0.2.0
jekyll-theme-hacker 0.2.0
jekyll-theme-leap-day 0.2.0
jekyll-theme-merlot 0.2.0
jekyll-theme-midnight 0.2.0
jekyll-theme-minimal 0.2.0
jekyll-theme-modernist 0.2.0
jekyll-theme-primer 0.6.0
jekyll-theme-slate 0.2.0
jekyll-theme-tactile 0.2.0
jekyll-theme-time-machine 0.2.0
jekyll-titles-from-headings 0.5.3
jekyll-watch 2.2.1
jemoji 0.12.0
kramdown 2.3.2
kramdown-parser-gfm 1.1.0
liquid 4.0.4
listen 3.8.0
mercenary 0.3.6
mini_portile2 2.8.2
minima 2.5.1
minitest 5.19.0
nokogiri 1.14.3
octokit 4.25.1
pathutil 0.16.2
public_suffix 4.0.7
racc 1.6.2
rb-fsevent 0.11.2
rb-inotify 0.10.1
rexml 3.2.5
rouge 3.26.0
ruby2_keywords 0.0.5
rubyzip 2.3.2
safe_yaml 1.0.5
sass 3.7.4
sass-listen 4.0.0
sawyer 0.9.2
simpleidn 0.2.1
terminal-table 1.8.0
typhoeus 1.4.0
tzinfo 2.0.6
tzinfo-data 1.2023.3
unf 0.1.4
unf_ext 0.0.8.2
unicode-display_width 1.8.0
wdm 0.1.1