]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 383e0cd) | patch
Generate configuration as ditionary in picosat function
authorKarel Kočí <cynerd@email.cz>
Tue, 18 Aug 2015 08:41:40 +0000 (10:41 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 18 Aug 2015 08:53:52 +0000 (10:53 +0200)
commit125a8b082b10348dfeb15b25e6697f770d1d20f4
tree76a224271e8ed649adbd23796388343c4cd79813tree | snapshot
parent383e0cd365818982b2dadddafa44b97033e9a12fcommit | diff
Generate configuration as ditionary in picosat function

Picosat output is parsed and automatically is resolved to dictionary
with configuration option name as key and boolean value. This makes all
configurations in script of same type. All are dictionaries this way.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options