KhronosGroup/Vulkan-MemoryModel

Vulkan Memory Model

Stars: 117
Forks: 15
Open beginner issues: 0
Indexed issues: 6

Dominant language: C++
License: No license data
Last GitHub push: Jun 26, 2025
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

6 open issues indexed

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

KhronosGroup/Vulkan-MemoryModel#14 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
avvisinc is redundant in the last two lines of the definition of locord Open

KhronosGroup/Vulkan-MemoryModel#22 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Relation between sref and sloc Open

KhronosGroup/Vulkan-MemoryModel#31 · 13 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
[RFC] Formal model written in cat and tool support for simulation Open

KhronosGroup/Vulkan-MemoryModel#32 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Developing an OOTA Test within the Format of this Repository Open

KhronosGroup/Vulkan-MemoryModel#35 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Issue in constraint generation enforcing reads-from Open

KhronosGroup/Vulkan-MemoryModel#39 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026

A short digest of beginner-friendly GitHub issues.