Issues

• Issue in constraint generation enforcing reads-from

  KhronosGroup/Vulkan-MemoryModel#39 · Filter by author reeselevine opened on Sep 5, 2024
  3

• Developing an OOTA Test within the Format of this Repository

  KhronosGroup/Vulkan-MemoryModel#35 · Filter by author tonghaining opened on Dec 9, 2023

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

  KhronosGroup/Vulkan-MemoryModel#32 · Filter by author tonghaining opened on Oct 24, 2023
  1

• Relation between sref and sloc

  KhronosGroup/Vulkan-MemoryModel#31 · Filter by author hernanponcedeleon opened on Sep 23, 2023
  13

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

  KhronosGroup/Vulkan-MemoryModel#22 · Filter by author RobinMorisset opened on Mar 6, 2019
  1

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

  KhronosGroup/Vulkan-MemoryModel#14 · Filter by author RobinMorisset opened on Jan 11, 2019
  3