Skip to content

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.

Sign up for GitHub

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

64 Open 80 Closed
64 Open 80 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Advanced Usage Documentaiton out of date
#284 opened Nov 19, 2024 by joh-nnyS
@paulgazz
5
Enhancement: klocalizer should provide clearer error when patch has no C file changes
#283 opened Nov 1, 2024 by lolrepeatlol
Applying merge diffs leads to klocalizer AssertionError
#282 opened Nov 1, 2024 by lolrepeatlol
2
SuperC-less tokenizer fails to separate strings with a large amount of special characters correctly
#281 opened Oct 25, 2024 by lolrepeatlol
Compilation on Arch Linux only with GCC 13 documentation
#272 opened Aug 8, 2024 by 6b6279
@paulgazz
3
kismet: add support for older kernels that only have oldconfig and not olddefconfig
#268 opened Aug 6, 2024 by paulgazz
@paulgazz
Fix the invalid escape syntax warnings
#267 opened Aug 6, 2024 by paulgazz
@paulgazz
kclause: support multiprocessing
#264 opened Aug 6, 2024 by paulgazz
@paulgazz
Remove the formula download service code from klocalizer
#260 opened Aug 5, 2024 by paulgazz
@paulgazz
Support Linux circa 2012
#259 opened Aug 5, 2024 by paulgazz
@paulgazz
Allow --sample when using --repair feature request
#254 opened May 29, 2024 by paulgazz
Preserve 'm' in klocalizer output enhancement feature request
#253 opened May 29, 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
@paulgazz
3
Remove dependency on python 2 for dd and networkx enhancement
#242 opened Dec 18, 2023 by paulgazz
@paulgazz
Roadmap for supporting other Kconfig/Kbuild projects feature request good first issue
#236 opened Mar 21, 2023 by paulgazz
3
Any plan to support non-linux-kernel projects? feature request
#235 opened Mar 15, 2023 by FirstLoveLife
6
Use a composite z3 formula as output from kclause when running klocalizer. optimization
#232 opened Feb 28, 2023 by paulgazz
@paulgazz
Non-global alternative to --modules enhancement
#230 opened Feb 25, 2023 by 6b6279
2
Remove networkx 2.2 constraint
#227 opened Feb 20, 2023 by paulgazz
@paulgazz
kclause_to_dimacs.py does not create a correct CNF bug high priority
#226 opened Feb 11, 2023 by ekuiter
1
@paulgazz
14
Add meta-constraints for the parisc 64-bit
#225 opened Jan 31, 2023 by paulgazz
@paulgazz
Add an option to take a Kconfig file fragment as a constraints file feature request
#218 opened Nov 20, 2022 by paulgazz
@paulgazz
1
Use constraint solving to pick the best default value from Kconfig enhancement
#214 opened Nov 14, 2022 by paulgazz
@paulgazz
Document the maintenance points
#197 opened Sep 24, 2022 by paulgazz
ProTip! Exclude everything labeled bug with -label:bug.