Check that our Alloy model accepts control flow graphs from the Vulkan CTS

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

Apache License 2.0

2 stars 0 forks source link

Open afd opened 3 years ago

afd commented 3 years ago

Distinct Alloy files corresponding to all shaders from Amber files in VK-GL-CTS git commit d17a353c6cd41fd2c4f4cf7e6936accafd25ebbe.

Generated using spirv-to-alloy from git commit ffaa3fc26489ad1e3a0cc55ef58aa27070c4d962