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

#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

#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

#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

#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

#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

#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

#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