Skip to content

[hannk] add LeafOpVisitor#6318

Merged
steven-johnson merged 2 commits intosrj/model-checkerfrom
srj/leaf-visitor
Oct 21, 2021
Merged

[hannk] add LeafOpVisitor#6318
steven-johnson merged 2 commits intosrj/model-checkerfrom
srj/leaf-visitor

Conversation

@steven-johnson
Copy link
Copy Markdown
Contributor

Minor optimization to avoid identical overrides for OpGroup in multiple places (when all we want to process are the leaf ops)

Minor optimization to avoid identical overrides for OpGroup in multiple places (when all we want to process are the leaf ops)
@steven-johnson steven-johnson changed the base branch from srj/model-checker to master October 18, 2021 18:13
@steven-johnson steven-johnson changed the base branch from master to srj/model-checker October 18, 2021 18:13
@steven-johnson steven-johnson merged commit 235e0aa into srj/model-checker Oct 21, 2021
@steven-johnson steven-johnson deleted the srj/leaf-visitor branch October 21, 2021 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants