Merge pull request #190 from dneto0/check-enumerant-ordering
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 10 Feb 2021 12:28:03 +0000 (05:28 -0700)
committerGitHub <noreply@github.com>
Wed, 10 Feb 2021 12:28:03 +0000 (05:28 -0700)
commit2e335d5fbf882756b106e0497d8f109930766461
tree993fffd9fbdcee755d8dfa7065aab0813ebc2355
parent2da20c0c1679bb3de518ad5f4a4654fc6082f48d
parente50154dbd6a3fef9b7d79c9d45243917914ee23a
Merge pull request #190 from dneto0/check-enumerant-ordering

Header generator: Check enumerant ordering
include/spirv/unified1/spirv.core.grammar.json