DafnyCore

Dependencies (14)

• Boogie.ExecutionEngine [3.5.5, )
• DafnyRuntime [4.11.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• NJsonSchema [11.1.0, )
• NJsonSchema.Annotations [11.1.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )

+ 6 more

Dependencies (11)

• Boogie.ExecutionEngine [3.4.3, )
• DafnyRuntime [4.10.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )
• System.Collections.Immutable [1.7.1, )

+ 3 more

Dependencies (11)

• Boogie.ExecutionEngine [3.4.3, )
• DafnyRuntime [4.9.1, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )
• System.Collections.Immutable [1.7.1, )

+ 3 more

Dependencies (11)

• Boogie.ExecutionEngine [3.3.3, )
• DafnyRuntime [4.9.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )
• System.Collections.Immutable [1.7.1, )

+ 3 more

Dependencies (11)

• Boogie.ExecutionEngine [3.2.5, )
• DafnyRuntime [4.8.1, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )
• System.Collections.Immutable [1.7.1, )

+ 3 more

Dependencies (11)

• Boogie.ExecutionEngine [3.2.3, )
• DafnyRuntime [4.8.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )
• System.Collections.Immutable [1.7.1, )

+ 3 more

Dependencies (12)

• Boogie.ExecutionEngine [3.1.6, )
• DafnyRuntime [4.7.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.CodeAnalysis.CSharp [3.7.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )

+ 4 more

Dependencies (12)

• Boogie.ExecutionEngine [3.1.3, )
• DafnyRuntime [4.6.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.CodeAnalysis.CSharp [3.7.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )

+ 4 more

Dependencies (12)

• Boogie.ExecutionEngine [3.1.3, )
• DafnyRuntime [4.5.0, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.CodeAnalysis.CSharp [3.7.0, )
• Microsoft.Extensions.FileSystemGlobbing [5.0.0, )
• Microsoft.Extensions.Logging.Abstractions [5.0.0, )
• OmniSharp.Extensions.LanguageServer [0.19.5, )
• Serilog [2.12.0, )

+ 4 more

Dependencies (10)

• Boogie.ExecutionEngine [3.0.9, )
• DafnyRuntime [4.4.0, )
• 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, )

+ 2 more

Dependencies (10)

• Boogie.ExecutionEngine [2.16.8, )
• DafnyRuntime [4.3.0, )
• 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, )

+ 2 more

Dependencies (9)

• 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, )
• System.Collections.Immutable [1.7.0, )
• System.CommandLine [2.0.0-beta4.22272.1, )
• System.Runtime.Numerics [4.3.0, )

+ 1 more

Dependencies (8)

• Boogie.ExecutionEngine [2.16.4, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.CodeAnalysis.CSharp [3.7.0, )
• Microsoft.Extensions.FileSystemGlobbing [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, )

Dependencies (8)

• Boogie.ExecutionEngine [2.16.4, )
• JetBrains.Annotations [2021.1.0, )
• Microsoft.CodeAnalysis.CSharp [3.7.0, )
• Microsoft.Extensions.FileSystemGlobbing [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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• 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, )

Dependencies (6)

• Boogie.ExecutionEngine [2.15.7, )
• 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, )

Dependencies (6)

• Boogie.ExecutionEngine [2.15.7, )
• 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, )

Dependencies (6)

• Boogie.ExecutionEngine [2.15.7, )
• 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, )