]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/configurations.py
Fix missing utils include in loop.py
[linux-conf-perf.git] / scripts / configurations.py
2015-08-18 Karel KočíFix wrong exception excepted in configurations script
2015-08-18 Karel KočíGenerate configuration as ditionary in picosat function
2015-08-18 Karel KočíFix bug in wrong input type to CNF file generator
2015-08-17 Karel KočíGenerated configuration is now fully stored to database
2015-08-13 Karel KočíMerge branch 'measuring'
2015-08-13 Karel KočíFix configuration generation missing file exception
2015-08-13 Karel KočíMerge branch 'master' into measuring
2015-08-13 Karel KočíFix single_generated_file writeback
2015-08-13 Karel KočíMerge branch 'master' into measuring
2015-08-13 Karel KočíFix generate single configuration
2015-08-13 Karel KočíImplement random generation of configurations
2015-08-13 Karel KočíImplement random generation of configurations
2015-08-13 Karel KočíFix bug in configurations loading
2015-08-13 Karel KočíFix problem with wrongly printed first line in CNF...
2015-08-13 Karel KočíFix if generated existing configuration
2015-08-13 Karel KočíFix bug in configuration.py
2015-08-13 Karel KočíChange hash calculating function
2015-08-13 Karel KočíChange hash calculating function
2015-08-12 Karel KočíFix bug in configurations loading
2015-08-12 Karel KočíFix problem with wrongly printed first line in CNF...
2015-08-12 Karel KočíRemove debud output of generated configuration
2015-08-12 Karel KočíFix if generated existing configuration
2015-08-12 Karel KočíFix bug in configuration.py
2015-08-12 Karel KočíSingle configuration generation ensured to generate...
2015-08-12 Karel KočíSingle configuration generation ensured to generate...
2015-07-28 Karel KočíAdd generator identifier to configuration in database
2015-07-28 Karel KočíScripts changed to use database.
2015-07-24 Karel KočíFix big amount of bugs in recently commited code
2015-07-24 Karel KočíRewrite configuration script
2015-07-22 Karel KočíRename solution script to configurations