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

	Commit message (Collapse)	Author	Age
*	Fix parse_kconfig choice parsing	Karel Kočí	2015-09-12
\| \| \| \| \| \| \|	Parsing choices was implemented wrong. For non-optional choice output rules must contain also dependency of all choice symbols. Because if no choice symbol has fulfilled dependencies, than choice shouldn't be selected.
*	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 fix boolexpr_not	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.