Add Android support to Amber runner

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

Apache License 2.0

2 stars 0 forks source link

Closed afd closed 2 years ago

afd commented 2 years ago

Also adds copyright headers to a number of files, updates list of contributors, and fixes various PEP warnings in Python files.