Ecosyste.ms: Repos

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

GitHub / GLaDOS-Michigan / linear-dist

Prototypes for linear distributed systems

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GLaDOS-Michigan%2Flinear-dist

Stars: 0
Forks: 0
Open Issues: 0

License: None
Language: C#
Repo Size: 56.7 MB
Dependencies: 211

Created: over 1 year ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Files

Readme

Dependencies

local-dafny/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle maven

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

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

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

local-dafny/Source/AutoExtern.Test/AutoExtern.Test.csproj nuget

local-dafny/Source/AutoExtern.Test/Minimal/Library.csproj nuget

local-dafny/Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj nuget

local-dafny/Source/AutoExtern.Test/Tutorial/Library/Library.csproj nuget

local-dafny/Source/Dafny/Dafny.csproj nuget

local-dafny/Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj nuget

local-dafny/Source/DafnyCore/DafnyCore.csproj nuget

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

local-dafny/Source/DafnyCore.Test/DafnyCore.Test.csproj nuget

local-dafny/Source/DafnyDriver/DafnyDriver.csproj nuget

Microsoft.TestPlatform.Extensions.TrxLogger 17.0.0
Microsoft.TestPlatform.TestHost 16.11.0
Newtonsoft.Json 13.0.3
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

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

local-dafny/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.3
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

local-dafny/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 16.11.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

local-dafny/Source/DafnyPipeline/DafnyPipeline.csproj nuget

local-dafny/Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj nuget

local-dafny/Source/DafnyRuntime/DafnyRuntime.csproj nuget

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

local-dafny/Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj nuget

local-dafny/Source/DafnyServer/DafnyServer.csproj nuget

local-dafny/Source/DafnyTestGeneration/DafnyTestGeneration.csproj nuget

local-dafny/Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj nuget

local-dafny/Source/IntegrationTests/IntegrationTests.csproj nuget

local-dafny/Source/TestDafny/TestDafny.csproj nuget

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

local-dafny/Test/DafnyTestGeneration/TestGeneration.csproj nuget

local-dafny/Test/DafnyTests/DafnyTests.csproj nuget

local-dafny/Test/comp/manualcompile/ManualCompile.csproj nuget

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

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

local-dafny/Test/examples/Simple_compiler/csharp/SimpleCompiler.csproj nuget

Antlr4.CodeGenerator 4.6.6
antlr4.runtime 4.6.6

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

local-dafny/docs/Gemfile.lock rubygems

activesupport 6.1.7.3
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.9
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.13.0
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.18.0
nokogiri 1.15.2
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
zeitwerk 2.6.8