aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
* reset.py removeKarel Kočí2015-03-26
| | | | | Python implementation of reset remove. This is doing now makefile. This script wasn't working/finished anyway.
* Remove residue of old required implementationKarel Kočí2015-03-26
|
* Repair wrong phasingKarel Kočí2015-03-26
| | | | Only comma was missing.
* Remove old import from main_loopKarel Kočí2015-03-26
|
* Loop phases changeKarel Kočí2015-03-26
| | | | Phases are now refersed as numbers in code.
* kconfig_parser moved from programs to scriptsKarel Kočí2015-03-26
| | | | This way all executable code is inside scripts directory.
* Add .config checkKarel Kočí2015-03-26
| | | | | | | | config is not yet part of main_loop From now it seems that config is changing a lot of configs to diferent setting. Is it because of missing dependency for sat? or because of configuration restart. Shouldn't we be also exporting all non bool/tri state configs?
* 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
|
* Reset functionality exported from main_loopKarel Kočí2015-03-23
| | | | But not working yet
* Fix NONAMEGEN generation problemKarel Kočí2015-03-23
| | | | NONAMEGENs were written to .config file because they were not ignored right.
* Try to repair reset functionalityKarel Kočí2015-03-22
| | | | | Build folder is not removed. But this is not fundamental.
* Main loop updateKarel Kočí2015-03-22
|
* Kernel configuration is now throwing exception on failureKarel Kočí2015-03-22
|
* Add possibility to hide programs outputKarel Kočí2015-03-22
|
* Kernel config repair and configurable make argumentsKarel Kočí2015-02-11
|
* 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.
* Add solution_kconfigKarel Kočí2014-12-16
| | | | This script is for setting options from sat generated solution to kconfig.
* Add sat_solutionKarel Kočí2014-12-16
Added script for minisat input build and execute.