Ecosyste.ms: Repos

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

GitHub / byu-dafny / dafny

Dafny is a verification-aware programming language

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

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

License: other
Language: C#
Repo Size: 207 MB
Dependencies: 235

Created: over 2 years ago
Updated: over 1 year ago
Last pushed: 5 months ago
Last synced: 5 months ago

Files

Readme

Dependencies

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

.github/workflows/deep-tests.yml actions

actions/checkout v3 composite

.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

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

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

Source/DafnyPipeline/DafnyPipeline.csproj nuget

Source/DafnyServer/DafnyServer.csproj nuget

Source/DafnyTestGeneration/DafnyTestGeneration.csproj nuget

Test/DafnyTestGeneration/TestGeneration.csproj nuget

Test/DafnyTests/DafnyTests.csproj nuget

Test/comp/manualcompile/ManualCompile.csproj nuget

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

docs/Gemfile.lock rubygems

activesupport 6.0.5
addressable 2.8.0
coffee-script 2.4.1
coffee-script-source 1.11.1
colorator 1.1.0
commonmarker 0.23.6
concurrent-ruby 1.1.10
dnsruby 1.61.9
em-websocket 0.5.3
ethon 0.15.0
eventmachine 1.2.7
execjs 2.8.1
faraday 2.3.0
faraday-net_http 2.0.3
ffi 1.15.5
forwardable-extended 2.6.0
gemoji 3.0.1
github-pages 225
github-pages-health-check 1.17.9
html-pipeline 2.14.1
http_parser.rb 0.8.0
i18n 0.9.5
jekyll 3.9.0
jekyll-avatar 0.7.0
jekyll-coffeescript 1.1.1
jekyll-commonmark 1.4.0
jekyll-commonmark-ghpages 0.2.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.1
kramdown-parser-gfm 1.1.0
liquid 4.0.3
listen 3.7.1
mercenary 0.3.6
mini_portile2 2.8.0
minima 2.5.1
minitest 5.15.0
nokogiri 1.13.10
octokit 4.25.0
pathutil 0.16.2
public_suffix 4.0.7
racc 1.6.1
rb-fsevent 0.11.1
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
thread_safe 0.3.6
typhoeus 1.4.0
tzinfo 1.2.10
unf 0.1.4
unf_ext 0.0.8.2
unicode-display_width 1.8.0
zeitwerk 2.5.4