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