aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
...
* 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.