sschaub

Build fails in Visual Studio 2022

2

## 🐛 Bug Report Building XamarinMediaManager solution in Visual Studio 2022 fails. ### Expected behavior Build should succeed. ### Reproduction steps 1. Clone XamarinMediaManager from repo 2. Open XamarinMediaManager/MediaManager.sln in...

The Readme covers the special configuration required for Unity clients. A similar section for Xamarin clients would be helpful.

Preventing initialization exceptions in Xamarin client

1

### Issue Description Special configuration is required to prevent the following exception from being thrown during ParseClient initialization on Xamarin platform: ``` Value cannot be null. Parameter name: element ```...

It would be nice if the Submissions API exposed the testRunsCompleted attribute.

On timed quizzes, enhance warning for users with unfinished questions who click Finish Exam

3

**Is your feature request related to a problem? Please describe.** On a timed quiz, when a user clicks Finish Exam and has skipped questions, there is no warning that questions...

Prover fails to complete

3

Another example where the prover fails to complete: ``` Facility PushDemo; uses String_Theory; Facility Integer_Stack_Fac is Stack_Template(Integer, 5) realized by Array_Realiz; Operation MyPush(preserves I: Integer; updates S: Stack); ensures (|#S|...