aleclearmind

Mmmh, I think we want to package this as a proper Python package and publish it on pypi, more than going this route.

Hi Eduard, we're looking into making some of that available. We want to push out the part enabling to use `libFuzzer` on lifted binaries soon. But the part where you...

Sadly #37 has fallen out of our short terms goals, as fuzzing in general. You can fuzz things after function isolation though, you can try to run `revng translate -i`,...

Please review your code and turn `auto X = MyType(...)` into `MyType X(...)`.

[revng.cli: explicitly initialize Commands](https://github.com/revng/revng/pull/208/commits/87c0c991a3923b8bd94f86b7254a8ef198956b06) has been merged in e23d238. Rebasing should make that commit disappear.

While it is technically feasible to handle any target supported by LLVM, currently the only supported target is x86-64. Plus, mixing native `AArch64` code with `ARM->AArch64` translate code introduce some...

Pretty cool! The code prints the graph of the types, not of the model in general. Can you: 1. Rename the tool to `revng-model-export-type-graph`. We have `revng model import ...`,...

Translation of non-static binaries is only supported for x86-64.

Given recent evolution in handling of external functions in my private branch, this is becoming obsolete. Demoting to draft until we decide what to do.

Great to have this. * [ ] Can you please provide a coarse grain summary of what this patchset does? I need a quick summary of the changes in the...