Skip to content

Commit

Permalink
Validate enums have a sensible versions and are visible
Browse files Browse the repository at this point in the history
Add version field for each eumerant.

For capabilities and instructions introduced by an extension (its
first version is "None"):
- the capability should be guarded by an extension
- the instruction should be guarded by a capability.

Other enums are presumed guarded transitiviely by use as an operand
to an instruction or another operand.

Fixes: #278, #368
  • Loading branch information
dneto0 committed Aug 10, 2023
1 parent b730938 commit d441c0c
Show file tree
Hide file tree
Showing 3 changed files with 1,429 additions and 671 deletions.
Loading

0 comments on commit d441c0c

Please sign in to comment.