Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mark frontier nodes in KCFG.to_dot #2562

Merged
merged 1 commit into from
Apr 26, 2022
Merged

Mark frontier nodes in KCFG.to_dot #2562

merged 1 commit into from
Apr 26, 2022

Conversation

tothtamas28
Copy link
Contributor

@tothtamas28 tothtamas28 self-assigned this Apr 26, 2022
@tothtamas28 tothtamas28 marked this pull request as ready for review April 26, 2022 15:29
@tothtamas28 tothtamas28 requested a review from ehildenb April 26, 2022 15:29
@rv-jenkins rv-jenkins merged commit 281b427 into master Apr 26, 2022
@rv-jenkins rv-jenkins deleted the pyk-frontier-dot branch April 26, 2022 16:15
@radumereuta radumereuta mentioned this pull request Aug 5, 2022
Closed
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ehildenb ehildenb ehildenb approved these changes

Assignees

@tothtamas28 tothtamas28

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@tothtamas28 @ehildenb @rv-jenkins