Filippo Cremonese

IDB importer

4

**Note**: this PR needs our fork of python-idb: ``` python3 -m pip install git+https://github.com/revng/python-idb.git@master ```

As per the title, `check-revng-conventions` should check for presence of the license notice in all the files

Add --randomize-filenames option

1

I added a simple option for adding a random string at the end of the stored filename (before the extension). Currently it's just the hex encoding of 4 random bytes.

@antoniofrighetto reported a coreutils build failure at link time, due to coreutils missing a dependency on the correct platform libc. Installing the correct libc solved the issue, so this PR...

This PR integrates revng-distributable tests with orchestra. To run the tests, do `orc install -b --test revng-distributable`. By default, tests run on all supported distros using podman and xvfb. To...

Create `toolchain/$arch/cxx-toolchain` components, which provide a c/c++ toolchain for the given architecture. All toolchains are currently based on gcc, except for `toolchain/host/cxx-toolchain` which is based on clang-release. To require gcc...

Windows builds

2

This PR adds/fixes Windows builds for: - llvm - mingw - gcc It also switches the libcs from having a special `@headers` build to depending on a separate component for...

Warning: This PR requires features from https://github.com/revng/revng-orchestra/pull/20 ## Tasks - [x] add an option to the CI script to create binary archives for all builds - [ ] add ASAN...

- [ ] CMake option `LLVM_APPEND_VC_REV=Off` should be enough to exclude the git remote from `llvm-config --version` - [ ] investigate `LLVM_ENABLE_ABI_BREAKING_CHECKS` which might help with the public ABI changing...

Memory not accessible after `.kill()`

2

Invoking `.kill()` sets `InternalDebugger.memory = None`, and when restarting the debugger again nothing calls `_setup_memory_view`, so the memory view is not available