paulgazz/kmax

Issues

• Advanced Usage Documentaiton out of date

  #284 opened 2 months ago by joh-nnyS
  5

• Applying merge diffs leads to klocalizer AssertionError

  #282 opened 2 months ago by lolrepeatlol
  2

• Enhancement: klocalizer should provide clearer error when patch has no C file changes

  #283 opened 2 months ago by lolrepeatlol
  0

• SuperC-less tokenizer fails to separate strings with a large amount of special characters correctly

  #281 opened 2 months ago by lolrepeatlol
  0

• File extension changes in Linux source can lead to klocalizer error

  #256 opened 3 months ago by lolrepeatlol
  1

• Path resolution bug in klocalizer can lead to AssertionError

  #273 opened 3 months ago by lolrepeatlol
  1

• koverage unable to handle new file modes/permissions

  #274 opened 3 months ago by lolrepeatlol
  1

• kismet: add support for older kernels that only have oldconfig and not olddefconfig

  #268 opened 5 months ago by paulgazz
  0

• C static analysis code fails to consider conditional directives without spaces

  #277 opened 3 months ago by lolrepeatlol
  0

• Compilation on Arch Linux only with GCC 13

  #272 opened 5 months ago by 6b6279
  3

• Invalid value for integer configs in the config file generated by kismet

  #255 opened 5 months ago by Yujie-Liu
  1

• klocalizer: fix mistakenly setting n to nonbool options

  #269 opened 5 months ago by paulgazz
  0

• kclause: support multiprocessing

  #264 opened 5 months ago by paulgazz
  0

• Update the getting start example from Linux 5.16

  #263 opened 5 months ago by paulgazz
  0

• Remove the imp package reference from pymake

  #262 opened 5 months ago by paulgazz
  0

• Support Linux circa 2012

  #259 opened 5 months ago by paulgazz
  0

• Fix the invalid escape syntax warnings

  #267 opened 5 months ago by paulgazz
  0

• Remove the formula download service code from klocalizer

  #260 opened 5 months ago by paulgazz
  0

• Parallelize kismet

  #251 opened 6 months ago by paulgazz
  0

• Allow --sample when using --repair

  #254 opened 7 months ago by paulgazz
  0

• Preserve 'm' in klocalizer output

  #253 opened 7 months ago by paulgazz
  0

• Incorporate fedora installation instructions

  #252 opened 7 months ago by paulgazz
  0

• kextract error when generating formulas for BusyBox

  #249 opened 7 months ago by garandria
  1

• Error running kextract: kextract file couldn't be generated

  #243 opened 10 months ago by Yujie-Liu
  3

• kclause_to_dimacs.py does not create a correct CNF

  #226 opened 2 years ago by ekuiter
  14

• Remove dependency on python 2 for dd and networkx

  #242 opened a year ago by paulgazz
  0

• kismet generates invalid value for CONFIG_ARCH_MMAP_RND_BITS

  #239 opened a year ago by Yujie-Liu
  5

• Roadmap for supporting other Kconfig/Kbuild projects

  #236 opened 2 years ago by paulgazz
  3

• Any plan to support non-linux-kernel projects?

  #235 opened 2 years ago by FirstLoveLife
  6

• Non-global alternative to `--modules`

  #230 opened 2 years ago by 6b6279
  2

• Confusing default path in `kclause_to_dimacs.py`

  #228 opened 2 years ago by 6b6279
  4

• Add a `--save-smt` option to output `klocalizer`'s constraint in smt-lib-v2 format.

  #231 opened 2 years ago by paulgazz
  0

• Use a composite z3 formula as output from kclause when running klocalizer.

  #232 opened 2 years ago by paulgazz
  0

• Remove networkx 2.2 constraint

  #227 opened 2 years ago by paulgazz
  0

• Add meta-constraints for the parisc 64-bit

  #225 opened 2 years ago by paulgazz
  0

• klocalizer has an assertion when localizing without repairing

  #223 opened 2 years ago by paulgazz
  0

• Add flag for forcing overwrite of koverage scratch directory

  #210 opened 2 years ago by paulgazz
  0

• Escape characters lost in kextract output

  #219 opened 2 years ago by pattersonz
  0

• Add an option to take a Kconfig file fragment as a constraints file

  #218 opened 2 years ago by paulgazz
  1

• Use Kconfig's default value for non-Boolean configuration options

  #213 opened 2 years ago by paulgazz
  0

• Update README to use koverage with krepair

  #207 opened 2 years ago by paulgazz
  0

• Use constraint solving to pick the best default value from Kconfig

  #214 opened 2 years ago by paulgazz
  0

• --include is broken

  #208 opened 2 years ago by paulgazz
  0

• Do not do kbuild rewriting if the path is already the target path

  #206 opened 2 years ago by paulgazz
  0

• Support kbuild rewrites in the `koverage` tool

  #204 opened 2 years ago by paulgazz
  0

• Crash in klocalizer when superc.py cannot build the compilation unit

  #202 opened 2 years ago by paulgazz
  0

• make.cross now requires COMPILER_INSTALL_PATH to be set

  #191 opened 2 years ago by paulgazz
  0

• Add support for kmax directory rewrites

  #192 opened 2 years ago by paulgazz
  0

• Add the loongarch architecture

  #193 opened 2 years ago by paulgazz
  0

• Document the maintenance points

  #197 opened 2 years ago by paulgazz
  0