František Nečas
František Nečas
Opening a pull request even though the work is not completely done yet (though fairly close) to allow for some early feedback + see if the changes don't somehow break...
Only do once https://github.com/packit/packit-service/issues/1955 is resolved. The `_parse_*` and `refresh` methods can be completely dropped from `LocalProject`. Ideally, `LocalProject` should be converted to a dataclass if possible.
Colors can now be passed to `color` function with `bright` prefix. This should be compatible with most terminals, whereas using idiosyncratic 256-color scheme for brighter shades of colors might not...
Follow-up to https://github.com/packit/packit/pull/1558 The old usages should be removed, tests updated. Inspiration can be taken from adjustments in Packit CLI in the linked PR Also consider if there are not...
Some of these fixes are not perfect, in a few places I added `Optional` where I feel it shouldn't really be. However, it's not really possible any other way without...
This PR introduces an SMT-based comparison of short sequential snippets using Z3 solver. The general approach can be described as follows: - when we find a difference and no pattern...
- added support for LLVM 17 + adjusted nix config
When building the RHEL 8.4 and 8.5 kernels (`4.18.0-305.el8` and `linux-4.18.0-348.el8`, respectively) with the current version, DiffKemp hangs and is waiting for input while building the first function (`__alloc_disk_node`). Upon...