Antony Vennard

Hi, thanks for your report. The problem here is that you are using C++ - and at the moment retrowrite doesn't support it (we support well behaved (i.e. compiled with...

Hello, thanks for the PR. Can you explain the problem with using `.L[0-9A-F]`as a label format versus an integer format? Which instrumentation is missing when running AFL and do you...

Thanks, will fix. I will also commit my usual incomplete-merge-detection-scripts.

Hello everyone, just to let you know I'm currently working on a separate issue that is also closely related to the issue here: https://github.com/HexHive/retrowrite/issues/16 In this case the following relocations...

Hello, I've come across exactly this issue. Unfortunately I'm relatively new to FPGAs and don't exactly know how to fix it. I've come across free cores for uart16550, for example...

I have a different issue on ppc64le, unsure if related. ``` $ ( checkout, cd to fstar repo etc ) $ git checkout v2022.11.19 $ opam switch show 4.14.0 $...

Ok, this got me a lot further. Somehow I did indeed have the newer dependencies, so --deps-only downgraded them. I then end up with z3 crashing - I haven't confirmed...