DevHeads.net

Review swaps

It's time for another game of "my package just grew some new
dependencies." I need reviews for the following and am willing to do
reviews in exchange:

1. catch2: a C++ header-only test framework for unit tests
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718597" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718597">https://bugzilla.redhat.com/show_bug.cgi?id=1718597</a>

2. cli11: a header-only command line parser for C++11
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718598" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718598">https://bugzilla.redhat.com/show_bug.cgi?id=1718598</a>

3. drat-trim: a proof checker for DIMACS proofs
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718599" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718599">https://bugzilla.redhat.com/show_bug.cgi?id=1718599</a>

4. drat2er: a proof transformer for propositional logic, depends on 1-3
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718600" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718600">https://bugzilla.redhat.com/show_bug.cgi?id=1718600</a>

5. flamegraph: a stack trace visualizer and a set of stack collapsing
scripts
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718601" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718601">https://bugzilla.redhat.com/show_bug.cgi?id=1718601</a>

6. gap-pkg-singular: a GAP interface to Singular
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1718602" title="https://bugzilla.redhat.com/show_bug.cgi?id=1718602">https://bugzilla.redhat.com/show_bug.cgi?id=1718602</a>

Thank you!

Comments

Re: Review swaps

By Bob Mauchin at 06/12/2019 - 11:06

On Sunday, 9 June 2019 03:41:00 CEST Jerry James wrote:
Still okay for swapping? I'm looking for a review for:
<a href="https://bugzilla.redhat.com/show_bug.cgi?id=1719798" title="https://bugzilla.redhat.com/show_bug.cgi?id=1719798">https://bugzilla.redhat.com/show_bug.cgi?id=1719798</a>

It's Intel SVT-AV1 encoder, x86_64 only. It is a dev snapshot as the latest
release does not have the decoder enabled.

Thanks!

Robert-André

Re: Review swaps

By Jerry James at 06/12/2019 - 20:39

On Wed, Jun 12, 2019 at 9:55 AM Robert-André Mauchin <zebob. ... at gmail dot com> wrote:
I'm on it.