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
#200 - Add -a alternative to --arch to koverage
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#199 - Support nonbool preservation when collecting sourceline presence conditions and when repairing without mutual exclusion
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#198 - Support builtin build targets
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 2 comments
#197 - Document the maintenance points
Issue -
State: open - Opened by paulgazz about 2 years ago
#196 - Add support for automatic kbuild path rewriting
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#195 - Added the loongarch architecture
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#194 - Add COMPILER_INSTALL_PATH for make.cross
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#193 - Add the loongarch architecture
Issue -
State: closed - Opened by paulgazz about 2 years ago
#192 - Add support for kmax directory rewrites
Issue -
State: closed - Opened by paulgazz about 2 years ago
#191 - make.cross now requires COMPILER_INSTALL_PATH to be set
Issue -
State: closed - Opened by paulgazz about 2 years ago
#190 - Have built-in build targets
Issue -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#189 - Allow patterns in --build-targets and add some built-in ones
Issue -
State: closed - Opened by paulgazz about 2 years ago
#188 - Prioritize architectures of compilation units in arch/ directories
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#187 - Perform some lightweight kclause analysis to determine architectures to try first
Issue -
State: open - Opened by paulgazz about 2 years ago
Labels: optimization
#186 - Preserve non-bools in krepair from input configuration
Issue -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
Labels: enhancement
#185 - Prioritize krepair's arch by looking at patch
Issue -
State: open - Opened by paulgazz about 2 years ago
- 1 comment
Labels: optimization
#185 - Prioritize krepair's arch by looking at patch
Issue -
State: open - Opened by paulgazz about 2 years ago
- 1 comment
Labels: optimization
#184 - Use the repaired config to populate nonbool options
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#183 - Add the --version flag to kismet
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#183 - Add the --version flag to kismet
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#182 - kismet does not have a --version flag
Issue -
State: closed - Opened by paulgazz about 2 years ago
#182 - kismet does not have a --version flag
Issue -
State: closed - Opened by paulgazz about 2 years ago
#181 - Remove nonexistent file bug
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#181 - Remove nonexistent file bug
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#180 - kismet verification step throws error when working dir is not inside linux tree
Issue -
State: closed - Opened by Yujie-Liu about 2 years ago
- 4 comments
Labels: bug, high priority
#179 - Add additional krepair experiments
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#178 - Linux-3.2 Doesn't Generate A Kismet File (Kmax 4.4)
Issue -
State: closed - Opened by tsehaiB about 2 years ago
- 1 comment
Labels: bug
#177 - koverage: add timeout durations options, use explicit values in results when timeouts happen
Pull Request -
State: closed - Opened by necipfazil about 2 years ago
#177 - koverage: add timeout durations options, use explicit values in results when timeouts happen
Pull Request -
State: closed - Opened by necipfazil about 2 years ago
#176 - Get configuration option constraints on-demand with kclause to speed up kismet
Issue -
State: open - Opened by paulgazz about 2 years ago
Labels: optimization, good first issue
#175 - Add krepair experiment scripts
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#175 - Add krepair experiment scripts
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
- 1 comment
#174 - Add krepair experiment scripts
Issue -
State: closed - Opened by paulgazz about 2 years ago
#174 - Add krepair experiment scripts
Issue -
State: closed - Opened by paulgazz about 2 years ago
#173 - kismet: documenting the tests and experiments
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#172 - Add automated test suite for kismet
Issue -
State: open - Opened by paulgazz about 2 years ago
#171 - Need to check arch directory for the arch folder
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#170 - kismet: print INFO logs on stdout
Pull Request -
State: closed - Opened by necipfazil about 2 years ago
#169 - kismet: raise specific error when Kconfig files can't be opened
Pull Request -
State: closed - Opened by necipfazil about 2 years ago
#168 - kismet false negative: selector:DRM_RADEON, selectee:BACKLIGHT_CLASS_DEVICE, linux v4.16
Issue -
State: closed - Opened by necipfazil about 2 years ago
- 3 comments
#167 - kismet can't verify bugs in old kbuild versions due to different bug warning output format
Issue -
State: closed - Opened by necipfazil about 2 years ago
- 1 comment
#166 - adapt kismet to run for older linux kernel versions
Pull Request -
State: closed - Opened by necipfazil about 2 years ago
- 3 comments
#165 - Check whether the architecture exists when running kextract
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#165 - Check whether the architecture exists when running kextract
Pull Request -
State: closed - Opened by paulgazz about 2 years ago
#164 - kextract file couldn't be generated (kernel commit: mainline 012e3ca3cb4d7f, kmax: v4.3.1, arch: arm64)
Issue -
State: closed - Opened by Yujie-Liu over 2 years ago
- 8 comments
Labels: bug
#163 - older kextractor versions need fixes as applied for newer versions
Issue -
State: closed - Opened by necipfazil over 2 years ago
- 1 comment
#162 - Fix outputting select constructs for older kextractor versions
Pull Request -
State: closed - Opened by paulgazz over 2 years ago
- 4 comments
#161 - kextract 4.12.8 does not output select constructs for linux kernel v4.16
Issue -
State: closed - Opened by necipfazil over 2 years ago
- 1 comment
Labels: bug
#161 - kextract 4.12.8 does not output select constructs for linux kernel v4.16
Issue -
State: closed - Opened by necipfazil over 2 years ago
- 1 comment
Labels: bug
#160 - Linux stable 4.9.316 couldn't generate kextract file (kmax: v4.3.1, arch: riscv)
Issue -
State: closed - Opened by Yujie-Liu over 2 years ago
- 4 comments
Labels: enhancement
#159 - Linux-4.16 Generates Emply Kismet Files (Kmax 4.2/4.3)
Issue -
State: closed - Opened by tsehaiB over 2 years ago
- 1 comment
Labels: bug
#158 - klocalizer: relax unit/srcfile extension check
Pull Request -
State: closed - Opened by necipfazil over 2 years ago
#157 - krepair failure due to SuperC error while repairing for 8594c3b85171
Issue -
State: open - Opened by necipfazil over 2 years ago
#156 - krepair failure due to unit extension while repairing for 8594c3b85171
Issue -
State: closed - Opened by necipfazil over 2 years ago
#155 - kismet/kclause: false alarm in kismet due to incorrect representation of inequality constraints in kclause
Issue -
State: open - Opened by necipfazil over 2 years ago
- 2 comments
#154 - Convert all python source to version 3
Pull Request -
State: closed - Opened by paulgazz over 2 years ago
- 1 comment
#153 - Modified kclause to ignore select for choice values
Pull Request -
State: open - Opened by paulgazz over 2 years ago
#153 - Modified kclause to ignore select for choice values
Pull Request -
State: open - Opened by paulgazz over 2 years ago
#152 - Avoid divide-by-zero when computing percentage
Pull Request -
State: closed - Opened by paulgazz over 2 years ago
#150 - ZeroDivisionError when the number of unmet alarms is reduced to 0
Issue -
State: closed - Opened by Yujie-Liu over 2 years ago
- 4 comments
Labels: bug, high priority
#138 - Dump all files involved in the compilation of a configuration
Issue -
State: open - Opened by garandria over 2 years ago
- 3 comments
Labels: enhancement, good first issue
#138 - Dump all files involved in the compilation of a configuration
Issue -
State: open - Opened by garandria over 2 years ago
- 3 comments
Labels: enhancement, good first issue
#136 - Update the scripts folder
Pull Request -
State: closed - Opened by paulgazz over 2 years ago
- 1 comment
#134 - Clean up old scripts
Issue -
State: closed - Opened by paulgazz over 2 years ago
Labels: enhancement, low priority
#134 - Clean up old scripts
Issue -
State: closed - Opened by paulgazz over 2 years ago
Labels: enhancement, low priority
#130 - One-time port with 2to3
Issue -
State: closed - Opened by paulgazz over 2 years ago
- 1 comment
Labels: high priority
#129 - error in kmax setup command: use_2to3 is invalid.
Issue -
State: closed - Opened by garandria over 2 years ago
- 3 comments
Labels: high priority
#129 - error in kmax setup command: use_2to3 is invalid.
Issue -
State: closed - Opened by garandria over 2 years ago
- 3 comments
Labels: high priority
#126 - Expand paths to linux-ksrc for kismet
Issue -
State: open - Opened by paulgazz over 2 years ago
- 1 comment
Labels: low priority
#126 - Expand paths to linux-ksrc for kismet
Issue -
State: open - Opened by paulgazz over 2 years ago
- 1 comment
Labels: low priority
#123 - add whatthepatch to required python packages
Issue -
State: closed - Opened by necipfazil over 2 years ago
- 1 comment
#122 - Creating linux configuration file from z3 model takes long
Issue -
State: open - Opened by necipfazil over 2 years ago
Labels: enhancement, optimization
#122 - Creating linux configuration file from z3 model takes long
Issue -
State: open - Opened by necipfazil over 2 years ago
Labels: enhancement, optimization
#121 - document need for setting SUPERC_LINUX_SCRIPT env variable
Issue -
State: closed - Opened by necipfazil over 2 years ago
- 2 comments
Labels: enhancement
#117 - Use the same values for non-boolean/tristate options when approximating
Issue -
State: open - Opened by necipfazil almost 3 years ago
- 2 comments
Labels: enhancement, high priority
#116 - Add support for the new imply construct in Kconfig
Issue -
State: open - Opened by paulgazz almost 3 years ago
Labels: enhancement, good first issue
#116 - Add support for the new imply construct in Kconfig
Issue -
State: open - Opened by paulgazz almost 3 years ago
Labels: enhancement, good first issue
#101 - kismet: switch to version specific .kmax formulas
Issue -
State: closed - Opened by necipfazil about 3 years ago
- 3 comments
Labels: enhancement
#17 - Make kclause into a library and use it to reduce klocalizer time spent encoding constraints in smtlib2 format
Issue -
State: open - Opened by paulgazz about 4 years ago
Labels: optimization