]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b7ae6f) | patch
Update dot_measure to remove errors reported by kconfig2sat
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 16:50:55 +0000 (17:50 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 16:50:55 +0000 (17:50 +0100)
commita677ea088a7a75f17c3562953351df539b0e5dda
tree2a23958e3bfb35519c578f5de3c6949940811fd1tree | snapshot
parent6b7ae6f3e38a06223d0a44ff28f6ff5951703f6fcommit | diff
Update dot_measure to remove errors reported by kconfig2sat
dot_measure diff | blob | history
Automated overhead analysis of Linux configuration options