DafnyDriver

Dependencies (14)

• DafnyCore [4.11.0, )
• DafnyLanguageServer [4.11.0, )
• DafnyTestGeneration [4.11.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.3, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.10.0, )
• DafnyLanguageServer [4.10.0, )
• DafnyTestGeneration [4.10.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.9.1, )
• DafnyServer [4.9.1, )
• DafnyTestGeneration [4.9.1, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.9.0, )
• DafnyServer [4.9.0, )
• DafnyTestGeneration [4.9.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.8.1, )
• DafnyServer [4.8.1, )
• DafnyTestGeneration [4.8.1, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.8.0, )
• DafnyServer [4.8.0, )
• DafnyTestGeneration [4.8.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.7.0, )
• DafnyServer [4.7.0, )
• DafnyTestGeneration [4.7.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.6.0, )
• DafnyServer [4.6.0, )
• DafnyTestGeneration [4.6.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.5.0, )
• DafnyServer [4.5.0, )
• DafnyTestGeneration [4.5.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.9.0, )
• Microsoft.TestPlatform.TestHost [17.9.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.4.0, )
• DafnyServer [4.4.0, )
• DafnyTestGeneration [4.4.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.3.0, )
• DafnyServer [4.3.0, )
• DafnyTestGeneration [4.3.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.2.0, )
• DafnyServer [4.2.0, )
• DafnyTestGeneration [4.2.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.1.0.50522, )
• DafnyServer [4.1.0.50522, )
• DafnyTestGeneration [4.1.0.50522, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.1.0, )
• DafnyServer [4.1.0, )
• DafnyTestGeneration [4.1.0, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.0.0.50303, )
• DafnyServer [4.0.0.50303, )
• DafnyTestGeneration [4.0.0.50303, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [4.0.0.50302, )
• DafnyServer [4.0.0.50302, )
• DafnyTestGeneration [4.0.0.50302, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.13.1.50302, )
• DafnyServer [3.13.1.50302, )
• DafnyTestGeneration [3.13.1.50302, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.13.0.50302, )
• DafnyServer [3.13.0.50302, )
• DafnyTestGeneration [3.13.0.50302, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.12.0.50221, )
• DafnyServer [3.12.0.50221, )
• DafnyTestGeneration [3.12.0.50221, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.11.0.50201, )
• DafnyServer [3.11.0.50201, )
• DafnyTestGeneration [3.11.0.50201, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.10.0.41215, )
• DafnyServer [3.10.0.41215, )
• DafnyTestGeneration [3.10.0.41215, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.9.1.41027, )
• DafnyServer [3.9.1.41027, )
• DafnyTestGeneration [3.9.1.41027, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.9.0.41003, )
• DafnyServer [3.9.0.41003, )
• DafnyTestGeneration [3.9.0.41003, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more

Dependencies (14)

• DafnyCore [3.9.0.40930, )
• DafnyServer [3.9.0.40930, )
• DafnyTestGeneration [3.9.0.40930, )
• Microsoft.TestPlatform.Extensions.TrxLogger [17.0.0, )
• Microsoft.TestPlatform.TestHost [16.11.0, )
• Newtonsoft.Json [13.0.1, )
• System.Collections [4.3.0, )
• System.Diagnostics.Debug [4.3.0, )

+ 6 more