Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove unused configurations | Karel Kočí | 2015-07-24 |
| | | | | These configuration were left here probably by mistake after deleting code for which they were used. | ||
* | Makefile configuration is now automatically generated and more changes | Karel Kočí | 2015-07-22 |
| | | | | | | | | | | | | | Makefile configuration file is now generated automatically and contains all string config options. Separated tables drop from databaseinit.sql to file databaseclean.sql. Also add clean and init target for database. For this reason is also separated output and result from normal clean. From now on won't be results removed on standard clean. ARCH config variable is renamed to kernel_arch to make name more clear. | ||
* | Implemented database | Karel Kočí | 2015-07-22 |
| | | | | Database will be used for storing measured data. | ||
* | Remove possibility of generating next solution in loop. | Karel Kočí | 2015-07-17 |
| | | | | | Only possibility now is generating all solutions on initialisation. Remove solution generating phase. | ||
* | Document conf.py and remove spare variable SRCARCH | Karel Kočí | 2015-05-21 |
| | |||
* | Make nbscript not generated | Karel Kočí | 2015-05-18 |
| | |||
* | Implement evaluate | Karel Kočí | 2015-05-16 |
| | |||
* | Rewrite write_config solution check and fix apply | Karel Kočí | 2015-05-15 |
| | | | | solution.apply failed in case of last solution. | ||
* | Fix booting process and test target | Karel Kočí | 2015-05-14 |
| | | | | Test target wasn't working properly. Now it should work. | ||
* | Fix problems with permute | Karel Kočí | 2015-05-14 |
| | | | | | Permute should now reading and loading configurations right. In case of configuration change, forces save. | ||
* | Add kernel_env setting | Karel Kočí | 2015-05-13 |
| | |||
* | Swap some lines in conf.py | Karel Kočí | 2015-05-13 |
| | |||
* | Fix conf.py | Karel Kočí | 2015-05-13 |
| | |||
* | Fix ARCH env variable | Karel Kočí | 2015-05-13 |
| | |||
* | Add initialize messages and initialize sourcing from dot_config not from ↵ | Karel Kočí | 2015-05-10 |
| | | | | linux/.config | ||
* | Add implementation of hash indexing of configurations | Karel Kočí | 2015-05-07 |
| | |||
* | Rename build folder to jobfiles | Karel Kočí | 2015-05-06 |
| | |||
* | Add generation of all solutions in initialization phase | Karel Kočí | 2015-05-06 |
| | |||
* | Fix some comments and if in solution | Karel Kočí | 2015-05-06 |
| | | | | These changes were forgotten after change from minisat to picosat | ||
* | Add label for debugging configs | Karel Kočí | 2015-05-06 |
| | |||
* | Move buildroot configs in conf.py | Karel Kočí | 2015-05-06 |
| | |||
* | Replace minisat with picosat | Karel Kočí | 2015-05-05 |
| | | | | Picosat is distributed with this project. | ||
* | Add minisat config | Karel Kočí | 2015-05-05 |
| | |||
* | Add some configuration options and clean write_conf | Karel Kočí | 2015-05-04 |
| | |||
* | Fixes in scripts and add minisat_args | Karel Kočí | 2015-05-02 |
| | |||
* | Fix missing configuration | Karel Kočí | 2015-05-01 |
| | |||
* | Add possibility of running step-by-step | Karel Kočí | 2015-04-28 |
| | |||
* | Change config kernem_make_output | Karel Kočí | 2015-04-28 |
| | |||
* | 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 |
| | |||
* | Add initram build | Karel Kočí | 2015-04-27 |
| | | | | Not working properly yet. | ||
* | Add buildroot default .config | Karel Kočí | 2015-04-26 |
| | | | | | | On first execution of buildroot targets from root Makefile is now placed nondefault .config file. This new configuration is default configuration except of initram setting. | ||
* | Remove checking for existence of programs | Karel Kočí | 2015-04-26 |
| | | | | Programs should exist if scripts are executed by root Makefile. | ||
* | Add initram config | Karel Kočí | 2015-04-26 |
| | |||
* | Generate configuration for root Makefile from conf.py | Karel Kočí | 2015-04-26 |
| | |||
* | kernel configuration now calling write_conf instead of make odlconfig hack | Karel Kočí | 2015-04-19 |
| | | | | Also configuration output is now set as visible. | ||
* | Add possibility to hide kernel output | Karel Kočí | 2015-04-19 |
| | |||
* | Fix error in initialize script and dedicate config for .config file | Karel Kočí | 2015-04-19 |
| | |||
* | Fix python scripts to work with parse_kconfig | Karel Kočí | 2015-04-13 |
| | |||
* | kconfig_parser moved from programs to scripts | Karel Kočí | 2015-03-26 |
| | | | | This way all executable code is inside scripts directory. | ||
* | Setup oldconfig to yes to all | Karel Kočí | 2015-03-26 |
| | | | | | | In generated .config file are missing all non bool/tri state configs (except those from defconfig). This solution is only temporally. This way configuration never fails. | ||
* | Add source .config backup | Karel Kočí | 2015-03-24 |
| | |||
* | Implement requirement generation from kernel .config | Karel Kočí | 2015-03-24 |
| | |||
* | Add missing kernel_conf_output variable in conf.py | Karel Kočí | 2015-03-22 |
| | |||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | Implementing main loop | Karel Kočí | 2015-02-03 |
| | | | | | | | | 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. | ||
* | Python scripts added | Karel Kočí | 2015-01-14 |
conf.py are files for configuration, all configuration is in global conf.py and others are just sourcing that kconfig_parser.py is executing kconfig_parser sat_solution.py is partly implemented, in state of this commit is not working properly. |