aboutsummaryrefslogtreecommitdiff
path: root/conf.py
Commit message (Collapse)AuthorAge
* Remove unused configurationsKarel 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 changesKarel 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 databaseKarel 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 SRCARCHKarel Kočí2015-05-21
|
* Make nbscript not generatedKarel Kočí2015-05-18
|
* Implement evaluateKarel Kočí2015-05-16
|
* Rewrite write_config solution check and fix applyKarel Kočí2015-05-15
| | | | solution.apply failed in case of last solution.
* Fix booting process and test targetKarel Kočí2015-05-14
| | | | Test target wasn't working properly. Now it should work.
* Fix problems with permuteKarel Kočí2015-05-14
| | | | | Permute should now reading and loading configurations right. In case of configuration change, forces save.
* Add kernel_env settingKarel Kočí2015-05-13
|
* Swap some lines in conf.pyKarel Kočí2015-05-13
|
* Fix conf.pyKarel Kočí2015-05-13
|
* Fix ARCH env variableKarel 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 configurationsKarel Kočí2015-05-07
|
* Rename build folder to jobfilesKarel Kočí2015-05-06
|
* Add generation of all solutions in initialization phaseKarel Kočí2015-05-06
|
* Fix some comments and if in solutionKarel Kočí2015-05-06
| | | | These changes were forgotten after change from minisat to picosat
* Add label for debugging configsKarel Kočí2015-05-06
|
* Move buildroot configs in conf.pyKarel Kočí2015-05-06
|
* Replace minisat with picosatKarel Kočí2015-05-05
| | | | Picosat is distributed with this project.
* Add minisat configKarel Kočí2015-05-05
|
* Add some configuration options and clean write_confKarel Kočí2015-05-04
|
* Fixes in scripts and add minisat_argsKarel Kočí2015-05-02
|
* Fix missing configurationKarel Kočí2015-05-01
|
* Add possibility of running step-by-stepKarel Kočí2015-04-28
|
* Change config kernem_make_outputKarel Kočí2015-04-28
|
* Chnage conf paths from absolute to relativeKarel Kočí2015-04-27
|
* Add NBSCRIPT configKarel Kočí2015-04-27
|
* fix problems with initramKarel Kočí2015-04-27
|
* Add initram buildKarel Kočí2015-04-27
| | | | Not working properly yet.
* Add buildroot default .configKarel 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 programsKarel Kočí2015-04-26
| | | | Programs should exist if scripts are executed by root Makefile.
* Add initram configKarel Kočí2015-04-26
|
* Generate configuration for root Makefile from conf.pyKarel Kočí2015-04-26
|
* kernel configuration now calling write_conf instead of make odlconfig hackKarel Kočí2015-04-19
| | | | Also configuration output is now set as visible.
* Add possibility to hide kernel outputKarel Kočí2015-04-19
|
* Fix error in initialize script and dedicate config for .config fileKarel Kočí2015-04-19
|
* Fix python scripts to work with parse_kconfigKarel Kočí2015-04-13
|
* kconfig_parser moved from programs to scriptsKarel Kočí2015-03-26
| | | | This way all executable code is inside scripts directory.
* Setup oldconfig to yes to allKarel 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 backupKarel Kočí2015-03-24
|
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
|
* Add missing kernel_conf_output variable in conf.pyKarel Kočí2015-03-22
|
* Add possibility to hide programs outputKarel Kočí2015-03-22
|
* Implementing main loopKarel 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 addedKarel 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.