feature: add new proofs view to the comparison page

This view summarizes new proofs, i.e., transitions from Unsafe or
Unknown results to Safe.

Author: vmordan

web/reports/comparison.py

@@ -59,6 +59,7 @@
 TAG_CET = "cet"
 TAG_COLOR = "color"
 TAG_HIDE = "hide"
+TAG_NEW_PROOFS = "new_proofs"
 
 CLUSTERING_COLORS = ["#ebadad", "#adebad"]
 
@@ -188,6 +189,8 @@ def __init__(self, root_reports: list, args: dict = {}, other_jobs: list = [], a
                     if not self.show_same_transitions[verdicts_type]:
                         if not (self.show_problems and verdicts_type == VERDICTS_UNKNOWN):
                             cmp['{0}_{0}'.format(verdicts_type)] = []
+                if TAG_NEW_PROOFS in cmp:
+                    cmp[TAG_NEW_PROOFS] = sorted(cmp[TAG_NEW_PROOFS], key=lambda x: x[1])
 
             if self.enable_clustering:
                 clusters.append(self.perform_clustering(unsafes, unsafe_incompletes, cmp))
@@ -620,6 +623,10 @@ def __process_verdicts_transitions(self, verdicts_type: str, safes: dict, unsafe
                         print("Warning: lost transition from reports {} for attrs {} (core attrs are {})".
                               format(old_reports, cur_attrs, core_cur_attrs))
 
+        if not verdicts_type == VERDICTS_SAFE:
+            if TAG_NEW_PROOFS not in cmp:
+                cmp[TAG_NEW_PROOFS] = []
+            cmp[TAG_NEW_PROOFS].extend(to_safes)
         cmp['{}_safes'.format(verdicts_type)] = sorted(to_safes, key=lambda x: x[1])
         cmp['{}_unsafes'.format(verdicts_type)] = sorted(to_unsafes, key=lambda x: x[1])
         cmp['{}_unsafe_incompletes'.format(verdicts_type)] = sorted(to_unsafe_incompletes, key=lambda x: x[1])

web/reports/templates/reports/comparison/two_reports.html

@@ -388,6 +388,46 @@ <h4 class="seven wide column center floated center aligned">{% trans 'New result
         </tr>
         {% endif %}
 
+        <tr style="vertical-align: top">
+            <td colspan="2">
+                {% for cmp_new in data.comparison|slice:"1:" %}
+                    <div class="ui accordion">
+                        <div class="title center aligned">
+                            <div class="black-link"><b>
+                                {% trans 'New proofs' %}: {{ cmp_new.new_proofs|length }}
+                            </b></div>
+                        </div>
+                        <div class="content">
+                            <table class="ui selectable compact table celled striped">
+                                <thead>
+                                    <tr>
+                                        <td style="background: #d3d3d3; text-align: center" width="50%">{% trans 'Attributes' %}</td>
+                                        <td style="background: #d3d3d3; text-align: center" width="25%">{% trans 'Report' %}</td>
+                                    </tr>
+                                </thead>
+                                <tbody>
+                                {% for cluster in cmp_new.new_proofs %}
+                                    <tr>
+                                        <td style="text-align: center; background: lightgreen">
+                                            {{cluster.1}}
+                                        </td>
+                                        <td style="text-align: center; background: lightgreen">
+                                            {% if cluster.2 %}
+                                            <a href="{% url 'reports:safe' cluster.2.0 %}">{% trans 'Show proof' %}</a>
+                                            {% else %}
+                                            -
+                                            {% endif %}
+                                        </td>
+                                    </tr>
+                                {% endfor %}
+                                </tbody>
+                            </table>
+                        </div>
+                    </div>
+                {% endfor %}
+            </td>
+        </tr>
+
         <tr style="vertical-align: top">
             <td colspan="2">
             {% for cmp in data.comparison|slice:"1:"  %}