Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / paulgazz/kmax issues and pull requests
#278 - Add fix for interpreting directives without spaces
Pull Request -
State: open - Opened by lolrepeatlol 20 days ago
#277 - C static analysis code fails to consider conditional directives without spaces
Issue -
State: open - Opened by lolrepeatlol 24 days ago
#276 - Allow file type changes if file is classified as MOVED_MODIFIED
Pull Request -
State: open - Opened by lolrepeatlol 26 days ago
- 1 comment
#275 - Handle changed file permissions
Pull Request -
State: open - Opened by lolrepeatlol 26 days ago
#274 - koverage unable to handle new file modes/permissions
Issue -
State: open - Opened by lolrepeatlol about 2 months ago
#273 - Path resolution bug in klocalizer can lead to AssertionError
Issue -
State: open - Opened by lolrepeatlol about 2 months ago
#273 - Path resolution bug in klocalizer can lead to AssertionError
Issue -
State: open - Opened by lolrepeatlol about 2 months ago
#272 - Compilation on Arch Linux only with GCC 13
Issue -
State: open - Opened by 6b6279 about 2 months ago
- 3 comments
Labels: documentation
#272 - Compilation on Arch Linux only with GCC 13
Issue -
State: open - Opened by 6b6279 about 2 months ago
- 3 comments
Labels: documentation
#271 - Kismet separate formula creation
Pull Request -
State: closed - Opened by paulgazz about 2 months ago
#271 - Kismet separate formula creation
Pull Request -
State: closed - Opened by paulgazz about 2 months ago
#270 - Fix a bug where klocalizer sets nonbools to 'n'
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#269 - klocalizer: fix mistakenly setting n to nonbool options
Issue -
State: closed - Opened by paulgazz 2 months ago
#269 - klocalizer: fix mistakenly setting n to nonbool options
Issue -
State: closed - Opened by paulgazz 2 months ago
#268 - kismet: add support for older kernels that only have oldconfig and not olddefconfig
Issue -
State: open - Opened by paulgazz 2 months ago
#268 - kismet: add support for older kernels that only have oldconfig and not olddefconfig
Issue -
State: open - Opened by paulgazz 2 months ago
#267 - Fix the invalid escape syntax warnings
Issue -
State: open - Opened by paulgazz 2 months ago
#267 - Fix the invalid escape syntax warnings
Issue -
State: open - Opened by paulgazz 2 months ago
#266 - Readme improvements
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#265 - Remove the imp dependency from pymake, which isn't even used
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#265 - Remove the imp dependency from pymake, which isn't even used
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#264 - kclause: support multiprocessing
Issue -
State: open - Opened by paulgazz 2 months ago
#264 - kclause: support multiprocessing
Issue -
State: open - Opened by paulgazz 2 months ago
#263 - Update the getting start example from Linux 5.16
Issue -
State: closed - Opened by paulgazz 2 months ago
#263 - Update the getting start example from Linux 5.16
Issue -
State: closed - Opened by paulgazz 2 months ago
#262 - Remove the imp package reference from pymake
Issue -
State: closed - Opened by paulgazz 2 months ago
#262 - Remove the imp package reference from pymake
Issue -
State: closed - Opened by paulgazz 2 months ago
#261 - Kclause support tristate on demand
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#261 - Kclause support tristate on demand
Pull Request -
State: closed - Opened by paulgazz 2 months ago
#260 - Remove the formula download service code from klocalizer
Issue -
State: open - Opened by paulgazz 2 months ago
#260 - Remove the formula download service code from klocalizer
Issue -
State: open - Opened by paulgazz 2 months ago
#259 - Support Linux circa 2012
Issue -
State: open - Opened by paulgazz 2 months ago
#259 - Support Linux circa 2012
Issue -
State: open - Opened by paulgazz 2 months ago
#258 - Update the mailing to search for kismet bugs in the docs
Pull Request -
State: closed - Opened by paulgazz 3 months ago
#257 - Parallelize kismet
Pull Request -
State: closed - Opened by paulgazz 3 months ago
#257 - Parallelize kismet
Pull Request -
State: closed - Opened by paulgazz 3 months ago
#256 - File extension changes in Linux source can lead to klocalizer error
Issue -
State: open - Opened by lolrepeatlol 3 months ago
#256 - File extension changes in Linux source can lead to klocalizer error
Issue -
State: open - Opened by lolrepeatlol 3 months ago
#255 - Invalid value for integer configs in the config file generated by kismet
Issue -
State: closed - Opened by Yujie-Liu 4 months ago
- 1 comment
#254 - Allow --sample when using --repair
Issue -
State: open - Opened by paulgazz 4 months ago
Labels: feature request
#253 - Preserve 'm' in klocalizer output
Issue -
State: open - Opened by paulgazz 4 months ago
Labels: enhancement, feature request
#252 - Incorporate fedora installation instructions
Issue -
State: open - Opened by paulgazz 4 months ago
Labels: enhancement, high priority
#251 - Parallelize kismet
Issue -
State: closed - Opened by paulgazz 4 months ago
Labels: enhancement, high priority
#250 - Add an instruction to make formula generating work for Busybox
Pull Request -
State: closed - Opened by garandria 4 months ago
#249 - kextract error when generating formulas for BusyBox
Issue -
State: closed - Opened by garandria 4 months ago
- 1 comment
#248 - Add summary data from the FSE 2024 data
Pull Request -
State: closed - Opened by paulgazz 5 months ago
#247 - Update doctoc
Pull Request -
State: closed - Opened by paulgazz 5 months ago
#246 - Improve readme documentation
Pull Request -
State: closed - Opened by paulgazz 5 months ago
#245 - Add a kextractor based on the Kconfig parser from Linux 5.3
Pull Request -
State: open - Opened by paulgazz 6 months ago
#244 - open mode "rU" throws an error in python 3.11; changed to "r"
Pull Request -
State: closed - Opened by paulgazz 6 months ago
#243 - Error running kextract: kextract file couldn't be generated
Issue -
State: open - Opened by Yujie-Liu 7 months ago
- 3 comments
Labels: enhancement, high priority
#242 - Remove dependency on python 2 for dd and networkx
Issue -
State: open - Opened by paulgazz 10 months ago
Labels: enhancement
#241 - setup.py: explicitly set dd version to 0.5.7
Pull Request -
State: closed - Opened by Yujie-Liu 10 months ago
#240 - Fix bug in .config file generation that uses invalid nonbool value
Pull Request -
State: closed - Opened by paulgazz 11 months ago
#239 - kismet generates invalid value for CONFIG_ARCH_MMAP_RND_BITS
Issue -
State: closed - Opened by Yujie-Liu 11 months ago
- 5 comments
Labels: bug, high priority
#238 - Add kextractor kconfig 3.2
Pull Request -
State: closed - Opened by paulgazz about 1 year ago
#237 - Pushing replication scripts for the longitudinal study
Pull Request -
State: closed - Opened by tsehaiB over 1 year ago
#236 - Roadmap for supporting other Kconfig/Kbuild projects
Issue -
State: open - Opened by paulgazz over 1 year ago
- 3 comments
Labels: good first issue, feature request
#235 - Any plan to support non-linux-kernel projects?
Issue -
State: open - Opened by FirstLoveLife over 1 year ago
- 6 comments
Labels: feature request
#234 - Add Dockerfile to automatically checkout Linux kernel
Pull Request -
State: closed - Opened by ChristianKaltenecker over 1 year ago
- 1 comment
#233 - Add --save-smt to output klocalizer's constraints in smt-lib-v2.
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#232 - Use a composite z3 formula as output from kclause when running klocalizer.
Issue -
State: open - Opened by paulgazz over 1 year ago
Labels: optimization
#232 - Use a composite z3 formula as output from kclause when running klocalizer.
Issue -
State: open - Opened by paulgazz over 1 year ago
Labels: optimization
#231 - Add a `--save-smt` option to output `klocalizer`'s constraint in smt-lib-v2 format.
Issue -
State: closed - Opened by paulgazz over 1 year ago
#231 - Add a `--save-smt` option to output `klocalizer`'s constraint in smt-lib-v2 format.
Issue -
State: closed - Opened by paulgazz over 1 year ago
#230 - Non-global alternative to `--modules`
Issue -
State: open - Opened by 6b6279 over 1 year ago
- 2 comments
Labels: enhancement
#229 - Use simplify with tseitin; support binary files; take path argument
Pull Request -
State: open - Opened by paulgazz over 1 year ago
#228 - Confusing default path in `kclause_to_dimacs.py`
Issue -
State: closed - Opened by 6b6279 over 1 year ago
- 4 comments
Labels: enhancement, high priority
#227 - Remove networkx 2.2 constraint
Issue -
State: open - Opened by paulgazz over 1 year ago
#226 - kclause_to_dimacs.py does not create a correct CNF
Issue -
State: open - Opened by ekuiter over 1 year ago
- 14 comments
Labels: bug, high priority
#225 - Add meta-constraints for the parisc 64-bit
Issue -
State: open - Opened by paulgazz over 1 year ago
#225 - Add meta-constraints for the parisc 64-bit
Issue -
State: open - Opened by paulgazz over 1 year ago
#224 - Remove assertions that require a config to repair
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#224 - Remove assertions that require a config to repair
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#223 - klocalizer has an assertion when localizing without repairing
Issue -
State: closed - Opened by paulgazz over 1 year ago
Labels: bug
#222 - Add an option to force-overwrite koverage's scratch-dir
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#221 - Preserve the escape sequences when outputing Kconfig non-bool values
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#221 - Preserve the escape sequences when outputing Kconfig non-bool values
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#220 - Add link to commit for fix found during krepair eval
Pull Request -
State: closed - Opened by paulgazz over 1 year ago
#219 - Escape characters lost in kextract output
Issue -
State: closed - Opened by pattersonz over 1 year ago
Labels: bug, high priority
#218 - Add an option to take a Kconfig file fragment as a constraints file
Issue -
State: open - Opened by paulgazz almost 2 years ago
- 1 comment
Labels: feature request
#218 - Add an option to take a Kconfig file fragment as a constraints file
Issue -
State: open - Opened by paulgazz almost 2 years ago
- 1 comment
Labels: feature request
#217 - Fixed name clash in bash variables for build flags
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
#216 - Use Kconfig default values when non-Boolean options get enabled
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
- 1 comment
#216 - Use Kconfig default values when non-Boolean options get enabled
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
- 1 comment
#215 - Removed build targets option, which are now built-in
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
#214 - Use constraint solving to pick the best default value from Kconfig
Issue -
State: open - Opened by paulgazz almost 2 years ago
Labels: enhancement
#213 - Use Kconfig's default value for non-Boolean configuration options
Issue -
State: closed - Opened by paulgazz almost 2 years ago
Labels: enhancement
#212 - Add a bug found/patched during krepair evaluation
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
#211 - Update the README
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
- 1 comment
#210 - Add flag for forcing overwrite of koverage scratch directory
Issue -
State: closed - Opened by paulgazz almost 2 years ago
Labels: enhancement
#209 - Fix missing lines element in the target_list tuples
Pull Request -
State: closed - Opened by paulgazz almost 2 years ago
#208 - --include is broken
Issue -
State: closed - Opened by paulgazz almost 2 years ago
Labels: bug, high priority
#207 - Update README to use koverage with krepair
Issue -
State: closed - Opened by paulgazz almost 2 years ago
Labels: documentation
#206 - Do not do kbuild rewriting if the path is already the target path
Issue -
State: closed - Opened by paulgazz about 2 years ago
#205 - Support kbuild path rewriting in the `koverage` tool
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#204 - Support kbuild rewrites in the `koverage` tool
Issue -
State: closed - Opened by paulgazz about 2 years ago
#203 - Fix the check for a broken build when getting SuperC conditions
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#202 - Crash in klocalizer when superc.py cannot build the compilation unit
Issue -
State: closed - Opened by paulgazz about 2 years ago
Labels: bug
#201 - Continue search for config even when an arch/ dir is missing
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment