Skip to content

Current Kernelization Track Version including Benchmarking and a timeout

Julian Tat requested to merge combined-kernel-rules into master

Added a new function which applies kernel rules 3, 12, 23, 24, 25, 28, benchmarking for cerperus-kern and a timeout

Edited by Julian Tat

Merge request reports