GitHub repository: mc-imperial/spirv-control-flow
Primary language: Python
Created: 2022-02-18T11:09:33Z
Description: Formal modelling of SPIR-V control flow using Alloy