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.

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

Add vmops output langage. #409

Merged
merged 5 commits into from
Apr 20, 2023
Merged

Add vmops output langage. #409

merged 5 commits into from
Apr 20, 2023

Conversation

dgryski
Copy link
Contributor

@dgryski dgryski commented Apr 19, 2023

No description provided.

src/libfsm/print/dfaops.c Outdated Show resolved Hide resolved
src/libfsm/print/dfaops.c Outdated Show resolved Hide resolved
src/libfsm/print/dfaops.c Outdated Show resolved Hide resolved
@dgryski dgryski force-pushed the dgryski/dfaops branch 2 times, most recently from 0270bc9 to 41db44d Compare April 19, 2023 01:48
@dgryski
Copy link
Contributor Author

dgryski commented Apr 19, 2023

Fixed up some issues with the generated main for -k str.

@dgryski dgryski changed the title Add dfaops output langage. Add vmops output langage. Apr 19, 2023
@dgryski dgryski force-pushed the dgryski/dfaops branch 4 times, most recently from 2222af2 to 0ef1e57 Compare April 19, 2023 16:06
fsm_print_vmops_h(f, fsm);
fsm_print_vmops_c(f, fsm);
fsm_print_vmops_main(f, fsm);
break;
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

src/libfsm/print/vmops.c Outdated Show resolved Hide resolved
src/libfsm/print/vmops.c Outdated Show resolved Hide resolved
@katef
Copy link
Owner

katef commented Apr 20, 2023

CI fails for unrelated reasons, maybe some kind of DNS error for ubuntu's package servers. See #411 for that. I'll go ahead and merge this PR, we can address #411 separately.

@katef
Copy link
Owner

katef commented Apr 20, 2023

Thank you!

@katef katef merged commit d4d5e55 into katef:main Apr 20, 2023
@dgryski dgryski deleted the dgryski/dfaops branch April 22, 2023 02:42
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