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!