aurelf
> > I really like the lifter feature, however, it seem to work for simple inline assembly, are there any drawbacks to it ? If so shall we make this...
The error message is indeed lacking clarity, but IIRC the support for M4 isn't complete. Is that correct @mariusmue @rawsample ?
I discussed with a student here (Florian) he seem to have a fix for that and will come back here soon about it.
Hi thanks for your interest. That would be nice to have, but I'm not aware or any such plans so far and I'm not sure how much work would be...
Great, let us know how ot goes!
Thanks for working on this and sharing your results ! Maybe @mariusmue or @rawsample could give more details there, I didn't look at this since long time. In the meantime...
Hi, sure that's something we had in mind, in particular to simplify SymQEMU tests. Now we are splitting the runtime to a separate repo (PR #162 ), so it's not...
No need to wait for the other PRs, it would be great if you could make a PR, I created the secrets : ``` username: ${{ secrets.DOCKER_USERNAME }} password: ${{...
I'm not sure how much the LibCXX instructions are still up to date. If you followed the instructions in [docs/C++.txt](https://github.com/eurecom-s3/symcc/blob/master/docs/C%2B%2B.txt) you used the current git version of the LLVM project?...
An alternative is to rely on the docker files libcxx seem to work there (although I see there are issues with the symcc_fuzzing_helper but this is another problem)