Paul Thomson

From the Vulkan spec, section 3.7.2: Valid Usage for Newer Core Versions Instance-level functionality or behavior added by a new core version of the API must not be used unless...

[Here](https://github.com/p-org/PSharp/blob/master/Source/SchedulingStrategies/Strategies/Probabilistic/PCTStrategy.cs#L267) I would change: ```csharp var mIndex = RandomNumberGenerator.Next(PrioritizedSchedulableChoices.Count) + 1; // -> var mIndex = RandomNumberGenerator.Next(PrioritizedSchedulableChoices.Count + 1); ``` The former does not allow `mIndex` to be 0. This...

Personally, I would have not added a bool to GetNext. Instead, just check the operation type inside the cycledetector strategy. Unless there is an issue with doing this? BugFindingRuntime.cs has...

We now have this is in the scheduling strategies (I think) but we should have asserts in the runtime too.

As explained in the bug, some strings cause the embedded IDE terminal to "crash" (an exception is thrown, and the terminal is closed) on Windows. It seems to be caused...

Is there any update on this?

Reported: https://community.imgtec.com/forums/topic/bug-glsl-nexus-player-unreachable-break-and-continue-changes-image/

ImgTech say they HAVE reproduced this on their newer, internal drivers. They are forwarding the issue to the driver team.

Reported: https://community.imgtec.com/forums/topic/bug-glsl-iphone-se-vec-literals-as-statements-give-shader-compile-error/

Also reported to Apple. Bug report ID: 29479501