Anirudh Santhiar

This PR adds a logger that clients of PSharp can use, called AsyncLogger. The logger places the messages it receives in a queue, and asynchronously dequeues and writes these messages...

Potential Deadlock

2

The line `var responseMessage = httpClient.SendAsync(requestMessage, CancellationToken.None).WaitForTask(); ` in the `Upload` method of the `StandardFileUploader` has the potential to cause a deadlock. In particular, the `WaitForTask` method blocks on Task...