DafnyLanguageServer

Dependencies (15)

• DafnyCore [4.11.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 7 more

Dependencies (15)

• DafnyCore [4.10.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 7 more

Dependencies (15)

• DafnyCore [4.9.1, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 7 more

Dependencies (14)

• DafnyCore [4.9.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (14)

• DafnyCore [4.8.1, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (14)

• DafnyCore [4.8.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (14)

• DafnyCore [4.7.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (14)

• DafnyCore [4.6.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (14)

• DafnyCore [4.5.0, )
• 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, )
• RangeTree [3.0.1, )
• Serilog [2.12.0, )
• Serilog.Extensions.Logging [3.0.1, )

+ 6 more

Dependencies (15)

• DafnyCore [4.4.0, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.3.0, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.2.0, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.1.0.50522, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.1.0, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.0.0.50303, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [4.0.0.50302, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [3.13.1.50302, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [3.10.0.41215, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [3.9.1.41027, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [3.9.0.41003, )
• 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, )

+ 7 more

Dependencies (15)

• DafnyCore [3.9.0.40930, )
• 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, )

+ 7 more

Dependencies (17)

• Dafny [3.8.1.40901, )
• DafnyPipeline [3.8.1.40901, )
• DafnyServer [1.1.0, )
• 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, )

+ 9 more

Dependencies (17)

• Dafny [3.8.0.40823, )
• DafnyPipeline [3.8.0.40823, )
• DafnyServer [1.1.0, )
• 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, )

+ 9 more

Dependencies (17)

• Dafny [3.8.0.40822, )
• DafnyPipeline [3.8.0.40822, )
• DafnyServer [1.1.0, )
• 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, )

+ 9 more