]>
2015-10-25 | Michal Sojka | kconfig2sat: Cleanup | blob | commitdiff | raw |
2015-10-25 | Michal Sojka | kconfig2sat: Implement --varopt | blob | commitdiff | raw | diff to current |
2015-10-25 | Michal Sojka | kconfig2sat almost finished | blob | commitdiff | raw | diff to current |
2015-10-20 | Michal Sojka | kconfig2sat: More work | blob | commitdiff | raw | diff to current |
2015-10-19 | Michal Sojka | kconfig2sat: More work | blob | commitdiff | raw | diff to current |
2015-10-18 | Michal Sojka | kconfig2sat: Prepare for DIMACS CNF generation | blob | commitdiff | raw | diff to current |
2015-10-18 | Michal Sojka | kconfig2sat: Implement reading (and checking) of variab... | blob | commitdiff | raw | diff to current |
2015-10-18 | Michal Sojka | kconfig2sat: More features | blob | commitdiff | raw | diff to current |
2015-10-18 | Michal Sojka | Add skeleton for kconfig2sat tool | blob | commitdiff | raw | diff to current |