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

Present API for pufferfish #30

Open
merkys opened this issue Oct 7, 2022 · 1 comment
Open

Present API for pufferfish #30

merkys opened this issue Oct 7, 2022 · 1 comment

Comments

@merkys
Copy link

merkys commented Oct 7, 2022

TwoPaCo is used by Pufferfish which currently embeds a patched code copy of TwoPaCo. Patches seem to transform main() function to make it callable in C/C++ code circumventing the command line interface. Would it be possible to merge Pufferfish's patches to TwoPaCo? This way Pufferfish could be linked against static/shared library of TwoPaCo. In addition, I believe such command line-circumventing API could be useful for other users of TwoPaCo preferring static type checking, for example.
@iminkin
Copy link
Contributor

iminkin commented Oct 27, 2022

Hi,

Thank you for the suggestion! I will consider adding an API interface in the future version(s).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@iminkin @merkys