TwoPaCo icon indicating copy to clipboard operation
TwoPaCo copied to clipboard

Published 20 hours ago • verified publisher icon medvedevgroup

Present API for pufferfish

Open merkys opened this issue 2 years ago • 1 comments

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.

merkys avatar Oct 07 '22 14:10 merkys

Hi,

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

iminkin avatar Oct 27 '22 18:10 iminkin