Search results

Contribution guide: Add info about programming style guide

documentation

Status: Open.

#430 In diffkemp/diffkemp;

· PLukas2018 opened on Feb 1, 2026

Create additional tests for testing of CC wrapper

tests

Status: Open.

#428 In diffkemp/diffkemp;

· PLukas2018 opened on Dec 18, 2025

Things to solve as part of next release

Status: Open.

#427 In diffkemp/diffkemp;

· PLukas2018 opened on Dec 18, 2025

Docs: Add example for comparison of kernel sysctl parameters

documentation

Status: Open.

#425 In diffkemp/diffkemp;

· PLukas2018 opened on Dec 3, 2025

Migrate to newer C++ version

Status: Open.

#424 In diffkemp/diffkemp;

· PLukas2018 opened on Dec 1, 2025

Start using Python typing in Python scripts

Status: Open.

#420 In diffkemp/diffkemp;

· PLukas2018 opened on Nov 18, 2025

diffkemp-out.yaml: Add missing definitions for functions when comparing sysctl parameters

enhancement

Status: Open.

#406 In diffkemp/diffkemp;

· PLukas2018 opened on Sep 16, 2025

diffkemp-out.yaml: Add info about equal/unknown function

Status: Open.

#405 In diffkemp/diffkemp;

· PLukas2018 opened on Sep 16, 2025

Enhance and update diffkemp-out.yaml file

enhancement

Status: Open.

#404 In diffkemp/diffkemp;

· PLukas2018 opened on Sep 16, 2025

Rewrite cc_wrapper in C/C++

build-phaseIssues for building sources into snapshotsIssues for building sources into snapshots

Status: Open.

#400 In diffkemp/diffkemp;

· viktormalik opened on Sep 15, 2025

Viewer: Test running of the viewer in the CI

ci

tests

viewerResult viewer of found differences.Result viewer of found differences.

Status: Open.

#396 In diffkemp/diffkemp;

· PLukas2018 opened on Sep 7, 2025

Cannot build in Nix when Z3 is installed on the host

Status: Open.

#383 In diffkemp/diffkemp;

· viktormalik opened on Jul 4, 2025