issues
search
paulgazz
/
kmax
A collection of analysis tools for Kconfig and Kbuild constraints.
42
stars
21
forks
source link
Documentation cleanup
#151
Closed
paulgazz
closed
2 years ago
paulgazz
commented
2 years ago
Removed stale kmax_format
Moved notes_on_solvers, kextractor_format to advanced
Moved overview.md to README and advanced
Removed stale experiments docs
Updated bugs_found to include automated reports from kismet