Ecosyste.ms: Repos

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

GitHub / robin-aws / dafny

Dafny is a verification-aware programming language

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

Fork of dafny-lang/dafny
Stars: 0
Forks: 0
Open Issues: 15

License: other
Language: C#
Repo Size: 219 MB
Dependencies: 247

Created: over 4 years ago
Updated: over 2 years ago
Last pushed: about 6 hours ago
Last synced: about 4 hours ago

Files

Readme

Dependencies

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

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

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

Source/DafnyDriver/DafnyDriver.csproj nuget

Microsoft.TestPlatform.Extensions.TrxLogger 17.0.0
Microsoft.TestPlatform.TestHost 16.11.0
Newtonsoft.Json 11.0.2
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.5.0
System.Text.Encoding.Extensions 4.3.0
System.Threading 4.3.0

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 11.0.2
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

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/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

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

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

Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven

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

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

actions/checkout v3 composite
actions/github-script v6 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

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

CommandLineParser 2.9.1

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

Antlr4.CodeGenerator 4.6.6
antlr4.runtime 4.6.6

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

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

actions/checkout v3 composite

.github/workflows/nightly-build.yml actions

.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

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.5
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
minima 2.5.1
minitest 5.15.0
nokogiri 1.13.6
octokit 4.25.0
pathutil 0.16.2
public_suffix 4.0.7
racc 1.6.0
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.9
unf 0.1.4
unf_ext 0.0.8.2
unicode-display_width 1.8.0
zeitwerk 2.5.4

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