search

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy
Apache License 2.0
2 stars 0 forks source link

Update naming in test_0.xml to reflect changes to Alloy model #54

Closed Jack-Clark closed 1 year ago

Jack-Clark commented 1 year ago

closes #26