aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Add sat_solutionKarel Kočí2014-12-16
| | | | Added script for minisat input build and execute.
* Add kconfig_parserKarel Kočí2014-12-14
| | | | | kconfig_parser is placed to new folder tree. In folder "programs" will be all programs. Files in folder programs/src/kconfig/kconfig are taken from kernel v3.18-rc3. In future, they should be updated if new changes will be added to kernel.
* Initial commitKarel Kočí2014-12-14