We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Created by bitbucket user mschlaipfer on 2019-07-23 03:37 Last updated on 2019-10-14 20:04
Maybe this is interesting to the axiom profiler team.
I have implemented functionality to the SMT-COMP scrambler that allows to obfuscate smtlib files that have z3-specific features. The PR is currently pending here: https://github.com/SMT-COMP/scrambler/pull/2/files I don’t know if the team behind the scrambler will merge it, though. If not, the fork is on my github profile at https://github.com/mschlaipfer/scrambler/tree/z3-specific.
The text was updated successfully, but these errors were encountered:
@alexanderjsummers commented on 2019-09-16 10:16
Thank you - this sounds very interesting, indeed! Do you plan to maintain / keep the code there? If so, we could link to it somehow.
Sorry, something went wrong.
Bitbucket user mschlaipfer commented on 2019-10-14 20:04
My PR has just been merge into the master of https://github.com/SMT-COMP/scrambler, if you want to link to it.
No branches or pull requests
Maybe this is interesting to the axiom profiler team.
I have implemented functionality to the SMT-COMP scrambler that allows to obfuscate smtlib files that have z3-specific features. The PR is currently pending here: https://github.com/SMT-COMP/scrambler/pull/2/files
I don’t know if the team behind the scrambler will merge it, though. If not, the fork is on my github profile at https://github.com/mschlaipfer/scrambler/tree/z3-specific.
The text was updated successfully, but these errors were encountered: