]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89aceee) | patch
Implement random generation of configurations
authorKarel Kočí <cynerd@email.cz>
Thu, 13 Aug 2015 09:04:31 +0000 (11:04 +0200)
committerKarel Kočí <cynerd@email.cz>
Thu, 13 Aug 2015 09:08:00 +0000 (11:08 +0200)
commit96825e484149a44d17e2f2330c8fe2ee4563259c
treef3c6cef75a2575679f89ae45de50f64fa0423841tree | snapshot
parent89aceeeafc21816b527c82c133744438eaa48f29commit | diff
Implement random generation of configurations

Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options