linux-conf-perf/scripts/sat_solution, branch master Tool for automatic performance analysis of Linux http://git.cynerd.cz/linux-conf-perf/atom?h=master 2015-02-03T19:57:20Z Implementing main loop 2015-02-03T19:57:20Z Karel Kočí cynerd@email.cz 2015-02-03T19:57:20Z urn:sha1:ef85245f159402fd948ff045b56ad9095d22b39e These new scripts are part of main loop. kernel is not finished!! Divides kconfig_parser, sat_solution to better named modules. Phasing and iteration is implemented for loop watching. Add sat_solution 2014-12-16T19:24:15Z Karel Kočí cynerd@email.cz 2014-12-16T19:24:15Z urn:sha1:0b9b90f209851b8db732408df66272f2ed9234b3 Added script for minisat input build and execute.