Ecosyste.ms: Repos

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

GitHub / GLaDOS-Michigan / Kondo-Artifact-OSDI24

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GLaDOS-Michigan%2FKondo-Artifact-OSDI24

Stars: 2
Forks: 2
Open Issues: 0

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

Created: about 1 month ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 3 days 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