DafnyDriver 4.11.0

net8.0

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