Search results

Issue in constraint generation enforcing reads-from

Status: Open.

#39 In KhronosGroup/Vulkan-MemoryModel;

· reeselevine opened on Sep 5, 2024

Developing an OOTA Test within the Format of this Repository

Status: Open.

#35 In KhronosGroup/Vulkan-MemoryModel;

· tonghaining opened on Dec 9, 2023

[RFC] Formal model written in cat and tool support for simulation

Status: Open.

#32 In KhronosGroup/Vulkan-MemoryModel;

· tonghaining opened on Oct 24, 2023

Relation between sref and sloc

Status: Open.

#31 In KhronosGroup/Vulkan-MemoryModel;

· hernanponcedeleon opened on Sep 23, 2023

avvisinc is redundant in the last two lines of the definition of locord

Status: Open.

#22 In KhronosGroup/Vulkan-MemoryModel;

· RobinMorisset opened on Mar 6, 2019

Add a note in the spec about causality cycles/out-of-thin air reads

Status: Open.

#14 In KhronosGroup/Vulkan-MemoryModel;

· RobinMorisset opened on Jan 11, 2019