Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Implement requirement generation from kernel .config | Karel Kočí | 2015-03-24 |
* | Reset functionality exported from main_loop | Karel Kočí | 2015-03-23 |
* | Fix NONAMEGEN generation problem | Karel Kočí | 2015-03-23 |
* | Try to repair reset functionality | Karel Kočí | 2015-03-22 |
* | Main loop update | Karel Kočí | 2015-03-22 |
* | Kernel configuration is now throwing exception on failure | Karel Kočí | 2015-03-22 |
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
* | Kernel config repair and configurable make arguments | Karel Kočí | 2015-02-11 |
* | Implementing main loop | Karel Kočí | 2015-02-03 |
* | Python scripts added | Karel Kočí | 2015-01-14 |
* | Add solution_kconfig | Karel Kočí | 2014-12-16 |
* | Add sat_solution | Karel Kočí | 2014-12-16 |