aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)AuthorAge
* kconfig_parser moved from programs to scriptsKarel Kočí2015-03-26
| | | | This way all executable code is inside scripts directory.
* 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.
* Ignore for python cache added to .gitignoreKarel Kočí2015-01-14
|
* Initial commitKarel Kočí2014-12-14