František Nečas

Results 8 issues of 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...

stale
refactor

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.

kind/refactor
area/general
complexity/single-task
gain/low
impact/low

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...

kind/refactor
complexity/single-task
area/general

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...

stale

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...

enhancement

- 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...

bug
build-phase