linux-conf-perf - Tool for automatic performance analysis of Linux

	Commit message (Collapse)	Author	Age
...
*	Replace minisat with picosat	Karel Kočí	2015-05-05
\| \| \| \|	Picosat is distributed with this project.
*	Add gitignore for picosat	Karel Kočí	2015-05-05
\|
*	Add picosat version 959	Karel Kočí	2015-05-05
\|
*	Add minisat config	Karel Kočí	2015-05-05
\|
*	parse_kconfig fix problems with choice configs	Karel Kočí	2015-05-05
\| \| \| \| \|	Choice configs has now own boolean expression. Also fixing problem with i variable. That causes that for some variables no cfn equations were build.
*	Small change in parse_kconfig Makefile	Karel Kočí	2015-05-04
\| \| \| \|	Hide warnings. I am not going to solve them now.
*	Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5	Karel Kočí	2015-05-04
\|
*	parse_kconfig change module decode value	Karel Kočí	2015-05-04
\| \| \| \|	In case of default value are modules taken as yes in case of boolean.
*	Add some configuration options and clean write_conf	Karel Kočí	2015-05-04
\|
*	parse_kconfig fix problem with generated rules	Karel Kočí	2015-05-04
\| \| \| \| \|	Generated rules were unsatisfiable all the time. Problem was default value of vis variable.
*	parse_kconfig adding proper visibility dependency	Karel Kočí	2015-05-04
\| \| \| \|	For unknown reasons, output rules with generated default solution are not satisfiable.
*	parse_kconfig fix problems with generated rules to be UNSAT	Karel Kočí	2015-05-02
\|
*	parse_kconfig add debug output of boolexpr	Karel Kočí	2015-05-02
\|
*	Fixes in scripts and add minisat_args	Karel Kočí	2015-05-02
\|
*	parse_kconfig add missing rule	Karel Kočí	2015-05-01
\|
*	parse_kconfig fix boolexpr_not	Karel Kočí	2015-05-01
\|
*	parse_kconfig move debug output before action	Karel Kočí	2015-05-01
\|
*	Fix Dprintf macro	Karel Kočí	2015-05-01
\|
*	Fix parse_kconfig symlist_el variables type	Karel Kočí	2015-05-01
\|
*	parse_kconfig add debug outputs	Karel Kočí	2015-05-01
\|
*	Add DEBUG and Wall to parse_kconfig	Karel Kočí	2015-05-01
\|
*	Fix parse_kconfig symbol_map ids	Karel Kočí	2015-05-01
\|
*	write_config update to parse_kconfig changes	Karel Kočí	2015-05-01
\|
*	Fix missing configuration	Karel Kočí	2015-05-01
\|
*	Fix missing definition	Karel Kočí	2015-05-01
\|
*	Fit solution.apply to new changes	Karel Kočí	2015-05-01
\|
*	parse_kconfig rewriten	Karel Kočí	2015-05-01
\| \| \| \| \|	parse_kconfig should now generate full dependency. It is not transforming whole expression to CNF, but only pairs.
*	parse_kconfig changes before more changes come	Karel Kočí	2015-04-30
\| \| \| \|	This is commit that breaks parse_kconfig program...
*	Add prompt variable to parse_kconfig	Karel Kočí	2015-04-29
\|
*	Add possibility of running step-by-step	Karel Kočí	2015-04-28
\|
*	Include iteration and phase code to loop	Karel Kočí	2015-04-28
\|
*	Fix solution.apply error	Karel Kočí	2015-04-28
\|
*	Change config kernem_make_output	Karel Kočí	2015-04-28
\|
*	Fix run and initram dependency	Karel Kočí	2015-04-28
\|
*	Add boot phase	Karel Kočí	2015-04-28
\|
*	Remove spare line from scripts/conf.py	Karel Kočí	2015-04-28
\|
*	Fix wrong open mode of iteration file in boot	Karel Kočí	2015-04-27
\|
*	Fix boot benchmark script	Karel Kočí	2015-04-27
\|
*	Fix missing symbol_map on test launch	Karel Kočí	2015-04-27
\|
*	Set execution file mode bit on test.py	Karel Kočí	2015-04-27
\|
*	Fix problem with test dependency	Karel Kočí	2015-04-27
\|
*	Add basic TODO	Karel Kočí	2015-04-27
\| \| \| \|	TODO in this files are future work points.
*	Finish implementation of test.test	Karel Kočí	2015-04-27
\|
*	Finish implementation of boot.boot	Karel Kočí	2015-04-27
\|
*	Add example testing benchmark scripts	Karel Kočí	2015-04-27
\|
*	Change boot.gen_nbscripts to support relative conf paths	Karel Kočí	2015-04-27
\|
*	Add output_confs generation to solution apply	Karel Kočí	2015-04-27
\|
*	Chnage conf paths from absolute to relative	Karel Kočí	2015-04-27
\|
*	Add NBSCRIPT config	Karel Kočí	2015-04-27
\|
*	fix problems with initram	Karel Kočí	2015-04-27
\|