[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-08-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 Jerry James changed: What|Removed |Added Status|ASSIGNED|CLOSED Fixed In Version|

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-08-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #9 from Gwyn Ciesla --- (fedscm-admin): The Pagure repository was created at https://src.fedoraproject.org/rpms/kissat -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-08-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 dan.cer...@cgc-instruments.com changed: What|Removed |Added Flags|fedora-review? |fedora-review+ ---

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-07-12 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #7 from Jerry James --- Upstream has fixed both the 32-bit and big endian issues, so I'm building from a git snapshot now. I've also changed the release number to reflect that fact. Macros are in place to help manage the library

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-07-09 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 Petr Pisar changed: What|Removed |Added CC||ppi...@redhat.com Flags|

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #6 from Jerry James --- (In reply to Jerry James from comment #5) > I don't yet know what's going on with the 32-bit architectures, but will > look into that next. One of the tests attempts to allocate 2 GB, which fails on the

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #5 from Jerry James --- (In reply to dan.cermak from comment #3) > - The package's tests fails on i686, armv7hl and s390x: > https://koji.fedoraproject.org/koji/taskinfo?taskID=46161272 Upstream has deliberately caused a test

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #4 from Jerry James --- (In reply to dan.cermak from comment #3) > - Have you tried talking to upstream to get the shared library option added > upstream so that we don't have this downstream patch? No, I haven't. This package

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 dan.cer...@cgc-instruments.com changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 dan.cer...@cgc-instruments.com changed: What|Removed |Added Assignee|nob...@fedoraproject.org

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 --- Comment #2 from Jerry James --- Hi Dan. Thanks for looking at this package. I can't reproduce the problem, but it looks like annobin is/was broken. I just did a mock build with "mock -r fedora-rawhide-x86_64 --rebuild

[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver

2020-06-25 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1850262 dan.cer...@cgc-instruments.com changed: What|Removed |Added CC|