Search results

Automatic deployment to our server

Status: Open.

#20 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Mar 10, 2026

Web: Result note - add support for markdown

Status: Open.

#17 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 25, 2026

Result - add info about used repos versions

Status: Open.

#13 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

web: Update -- list different runs for given commit/version

Status: Open.

#12 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

[diffkemp-automation-compare] Allow comparison of previous versions/commits

Status: Open.

#11 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

web: Allow filtering compared functions based on result

Status: Open.

#10 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

web: Add index/introduction page to the web

Status: Open.

#9 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

web: Allow reruning analysis

Status: Open.

#8 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 18, 2026

Add more tests

Status: Open.

#6 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Jan 4, 2026

[versions] Fix comparison for MBedTLS

Status: Open.

#4 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Dec 31, 2025

[commits] Fix incorectly chosen functions

Status: Open.

#3 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Dec 31, 2025

[Dockerfile] Use the main DiffKemp repo

Status: Open.

#2 In diffkemp/diffkemp-automation;

· PLukas2018 opened on Dec 31, 2025