LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C

kmax

A collection of analysis tools for Kconfig and Kbuild constraints.

CEmerging

Stars

68

Forks

27

Contributors

8

Last push

5mo ago

Recent commits

Latest commits.

bump version
4dbe5c5Paul Gazzillo5mo ago
Merge pull request #304 from paulgazz/dev/kextractlinux-llvm-support
a22132fPaul Gazzillo5mo ago
Keep some commented out debugging statements
523c324Paul Gazzillo5mo ago
Optionally pull in kextract environment variables from environment
5dd1adbPaul Gazzillo5mo ago
Disable tristate support from kclause when using klocalizer
8beee04Paul Gazzillo5mo ago

Remove tristate predicate abstract modeling from config constraints

67a6b64Paul Gazzillo5mo ago

Restore tristate optimization

e5bde49Paul Gazzillo5mo ago

Print kextractlinux command when verbose debugging is on

87b9f04Paul Gazzillo5mo ago

Top contributors

Builders behind this project.