]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/solution.py
Add implementation of hash indexing of configurations
[linux-conf-perf.git] / scripts / solution.py
2015-05-07 Karel KočíAdd implementation of hash indexing of configurations
2015-05-06 Karel KočíAdd generation of all solutions in initialization phase
2015-05-06 Karel KočíFix some comments and if in solution
2015-05-05 Karel KočíReplace minisat with picosat
2015-05-05 Karel KočíAdd minisat config
2015-05-02 Karel KočíFixes in scripts and add minisat_args
2015-05-01 Karel KočíFit solution.apply to new changes
2015-04-28 Karel KočíFix solution.apply error
2015-04-27 Karel KočíAdd output_confs generation to solution apply
2015-04-27 Karel KočíChnage conf paths from absolute to relative
2015-04-17 Karel KočíRemove usage of .config fragment file
2015-04-13 Karel KočíFix python scripts to work with parse_kconfig
2015-03-24 Karel KočíAdd source .config backup
2015-03-24 Karel KočíImplement requirement generation from kernel .config
2015-03-23 Karel KočíFix NONAMEGEN generation problem
2015-03-22 Karel KočíAdd possibility to hide programs output
2015-02-03 Karel KočíImplementing main loop