diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:42:19 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:42:19 +0200 |
| commit | 1f9fe943356a07c2878d6db63101c35a3acefa32 (patch) | |
| tree | 21523c8f49fb7f568993366b51df0d46bbed4ac3 /scripts/picosat-959/VERSION | |
| parent | c7d4caef3787e47baca0c15b949c2a27d990f890 (diff) | |
| download | linux-conf-perf-1f9fe943356a07c2878d6db63101c35a3acefa32.tar.gz linux-conf-perf-1f9fe943356a07c2878d6db63101c35a3acefa32.tar.bz2 linux-conf-perf-1f9fe943356a07c2878d6db63101c35a3acefa32.zip | |
Scripts changed to use database.
Also initial implementation of multithread execution.
A lot of functionality changed.
Phases removed.
Output parsing is now part of measure (boot) process.
Utils cleared.
Add dot_measure file for inverted dot_config.
Configuration generating is now prepared for multiple generating types. Fist implemented is generating configurations with single selected configuration.
Test is modified to be compatible with new changes.
Diffstat (limited to 'scripts/picosat-959/VERSION')
0 files changed, 0 insertions, 0 deletions