rtime.felk.cvut.cz Git - linux-conf-perf.git/commit

]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit

projects / linux-conf-perf.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 54cb72f) | patch

author	Karel Kočí <cynerd@email.cz>
	Wed, 6 May 2015 15:28:39 +0000 (17:28 +0200)
committer	Karel Kočí <cynerd@email.cz>
	Wed, 6 May 2015 15:28:39 +0000 (17:28 +0200)
commit	015979b483011be86bdb10e5ca0fa7d88695b856
tree	a0602c68f597c93c3070fbcdcd9d6834a83eaa51	tree \| snapshot
parent	54cb72fb00801a4f2590261f96689b23e0079900	commit \| diff

Fix some comments and if in solution

These changes were forgotten after change from minisat to picosat

conf.py		diff \| blob \| history
scripts/solution.py		diff \| blob \| history

Automated overhead analysis of Linux configuration options