linux-kernel - Re: [PATCH v4 02/12] kconfig: Add picosat.c (1/3)

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <CAK7LNAQ9fddijdAJFNYKqA3nQibwiv5jvZs3O9-nDbcRToWS4g@mail.gmail.com>
Date: Mon, 12 Aug 2024 17:41:21 +0900
From: Masahiro Yamada <masahiroy@...nel.org>
To: Ole Schuerks <ole0811sch@...il.com>
Cc: linux-kbuild@...r.kernel.org, jude.gyimah@....de, thorsten.berger@....de, 
	deltaone@...ian.org, jan.sollmann@....de, mcgrof@...nel.org, 
	linux-kernel@...r.kernel.org
Subject: Re: [PATCH v4 02/12] kconfig: Add picosat.c (1/3)

On Wed, Jul 10, 2024 at 3:54 PM Ole Schuerks <ole0811sch@...il.com> wrote:
>
> PicoSAT is the SAT solver used in this project. picosat.c is the actual
> SAT solver. Since the file is too big for a single patch, it needs to be
> split up. This patch contains the first part of the file.
>
> Signed-off-by: Patrick Franz <deltaone@...ian.org>
> Signed-off-by: Ibrahim Fayaz <phayax@...il.com>
> Signed-off-by: Thorsten Berger <thorsten.berger@....de>
> Signed-off-by: Ole Schuerks <ole0811sch@...il.com>
> ---
>  scripts/kconfig/picosat.c | 3000 +++++++++++++++++++++++++++++++++++++
>  1 file changed, 3000 insertions(+)
>  create mode 100644 scripts/kconfig/picosat.c


I usually tend to avoid adding huge files like this.


Is this for avoiding any portability issues across distributions?



Debian:
https://packages.debian.org/search?keywords=picosat


Fedora:
https://packages.fedoraproject.org/pkgs/picosat/picosat/










-- 
Best Regards
Masahiro Yamada