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
Integrate Stopify with Klipse #382
Comments
Thanks for reaching out! We’d be happy to help you integrate klipse and Stopify. To answer your questions:
While Stopify has quite a few options, to tweak, default options work fine most of the time. The best way to get started would be to take a look at the docs here: https://stopify.readthedocs.io/en/latest/ Just for reference, the code for stopify.org lives here: Once you have a sense of the interface, please feel free to update the comment thread and I’d be happy to work more directly with you in integrating klipse and Stopify. Also, if you have any questions, ping us here and we’ll be able to answer you. |
Hi @viebel, thanks for your interest in Stopify. About malicious code, Stopify has a runtime setting that controls the set of "external" symbols: https://stopify.readthedocs.io/en/latest/compiler.html#external-symbols-externals If you don't put things like |
Started work here: viebel/klipse#314 |
As you guys suggested here, I'd be happy to integrate Stopify with Klipse.
Your help would me much appreciated.
The text was updated successfully, but these errors were encountered: