[spectec] Specify IL subsets #2140
rossberg
wants to merge
3 commits into
main
from
spectec.subsets
[spectec] Specify IL subsets
37e7bd7c
Tweak
0730ba7b
Negation
8e35014d
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub