-
Notifications
You must be signed in to change notification settings - Fork 21
Issues: paulgazz/kmax
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Enhancement: klocalizer should provide clearer error when patch has no C file changes
#283
opened Nov 1, 2024 by
lolrepeatlol
SuperC-less tokenizer fails to separate strings with a large amount of special characters correctly
#281
opened Oct 25, 2024 by
lolrepeatlol
kismet: add support for older kernels that only have oldconfig and not olddefconfig
#268
opened Aug 6, 2024 by
paulgazz
Incorporate fedora installation instructions
enhancement
high priority
#252
opened May 29, 2024 by
paulgazz
Error running kextract: kextract file couldn't be generated
enhancement
high priority
#243
opened Mar 22, 2024 by
Yujie-Liu
Roadmap for supporting other Kconfig/Kbuild projects
feature request
good first issue
#236
opened Mar 21, 2023 by
paulgazz
Any plan to support non-linux-kernel projects?
feature request
#235
opened Mar 15, 2023 by
FirstLoveLife
Use a composite z3 formula as output from kclause when running klocalizer.
optimization
#232
opened Feb 28, 2023 by
paulgazz
kclause_to_dimacs.py does not create a correct CNF
bug
high priority
#226
opened Feb 11, 2023 by
ekuiter
Add an option to take a Kconfig file fragment as a constraints file
feature request
#218
opened Nov 20, 2022 by
paulgazz
Use constraint solving to pick the best default value from Kconfig
enhancement
#214
opened Nov 14, 2022 by
paulgazz
Perform some lightweight kclause analysis to determine architectures to try first
optimization
#187
opened Sep 23, 2022 by
paulgazz
Previous Next
ProTip!
Updated in the last three days: updated:>2024-11-06.