<commit_before>{% extends "base.html" %}
{% block title %}Users{% endblock %}
{% block head %}
    {{ super() }}
    <link type="text/css" href="{{url_for('static', filename='css/smoothness/jquery-ui-1.8.16.custom.css')}}" rel="Stylesheet" />
    <link type="text/css" href="{{url_for('static', filename='css/demo_table_jui.css')}}" rel="Stylesheet" />
    <script src="{{url_for('static', filename='js/jquery.dataTables.min.js')}}" type="text/javascript"></script>
    <script src="{{url_for('static', filename='js/FixedHeader.js')}}" type="text/javascript"></script>
    <script src="{{url_for('static', filename='js/jquery-ui-1.8.16.custom.min.js')}}" type="text/javascript"></script>

    <script type="text/javascript">
        $(document).ready(function() {
            oTable = $('#table_users').dataTable({
                "bJQueryUI": true,
                "bPaginate": false,
                "bLengthChange": false,
                "bStateSave": true,
                "bFilter": true,
                "bInfo": true,
                "oLanguage": {
                    "sZeroRecords": "No matching results"
                }
            });
            new FixedHeader( oTable );
        });
    </script>
{% endblock %}
{% block content %}
<h2>Users</h2>
    {% if users %}
    <table id="table_users" class="display">
        <thead>
            <tr>
                <th>e-mail</th>
                <th>Name</th>
                <th>Address</th>
                <th>Affiliation</th>
                <th>Status</th>
                <th>Admin</th>
                <th>Submissions</th>
            </tr>
        </thead>
        <tbody>
            {% for user in users %}
            <tr>
                <td><a href="mailto:{{ user.email }}">{{ user.email }}</a></td>
                <td>{{ user.lastname }}, {{ user.firstname }}</td>
                <td>{{ user.postal_address }}</td>
                <td>{{ user.affiliation }}</td>
                <td>                {% if not user.activation_hash %}
                    {% if user.verified %}Verified{% else %}<a href={{ url_for('accounts.verify_user',database=database, user_id=user.idUser) }}>Verify user</a>{% endif %}
                {% else %}
                    Not activated yet.
                {% endif %}</td>
                <td>{{ 'Yes' if user.admin else '' }}</td>
                <td><a href={{ url_for('accounts.list_solvers', database=database, user_id=user.idUser) }}>Solvers ({{ user.solvers|length }})</a> / <a href={{ url_for('accounts.list_benchmarks', database=database, user_id=user.idUser) }}>Benchmarks</a></td>
            </tr>
            {% endfor %}
        </tbody>
    </table>
    {% endif %}
<h2>Information</h2>
<a href="{{ url_for('accounts.list_solver_descriptions', database=database) }}">List of submitted descriptions</a>
<h2>Email addresses (Admins <strong>excluded</strong>)</h2>
<a href="mailto:?bcc={% for u in users %}{% if not u.admin %}{{ u.email }};{% endif %}{% endfor %}">{% for u in users %}{% if not u.admin %}{{ u.email }}, {% endif %}{% endfor %}</a>
<h2>Email addresses (Admins <strong>included</strong>)</h2>
<a href="mailto:?bcc={% for u in users %}{{ u.email }};{% endfor %}">{% for u in users %}{{ u.email }}, {% endfor %}</a>
{% endblock %}
<commit_msg>link to list of submitted solvers<commit_after>{% extends "base.html" %}
{% block title %}Users{% endblock %}
{% block head %}
    {{ super() }}
    <link type="text/css" href="{{url_for('static', filename='css/smoothness/jquery-ui-1.8.16.custom.css')}}" rel="Stylesheet" />
    <link type="text/css" href="{{url_for('static', filename='css/demo_table_jui.css')}}" rel="Stylesheet" />
    <script src="{{url_for('static', filename='js/jquery.dataTables.min.js')}}" type="text/javascript"></script>
    <script src="{{url_for('static', filename='js/FixedHeader.js')}}" type="text/javascript"></script>
    <script src="{{url_for('static', filename='js/jquery-ui-1.8.16.custom.min.js')}}" type="text/javascript"></script>

    <script type="text/javascript">
        $(document).ready(function() {
            oTable = $('#table_users').dataTable({
                "bJQueryUI": true,
                "bPaginate": false,
                "bLengthChange": false,
                "bStateSave": true,
                "bFilter": true,
                "bInfo": true,
                "oLanguage": {
                    "sZeroRecords": "No matching results"
                }
            });
            new FixedHeader( oTable );
        });
    </script>
{% endblock %}
{% block content %}
<h2>Users</h2>
    {% if users %}
    <table id="table_users" class="display">
        <thead>
            <tr>
                <th>e-mail</th>
                <th>Name</th>
                <th>Address</th>
                <th>Affiliation</th>
                <th>Status</th>
                <th>Admin</th>
                <th>Submissions</th>
            </tr>
        </thead>
        <tbody>
            {% for user in users %}
            <tr>
                <td><a href="mailto:{{ user.email }}">{{ user.email }}</a></td>
                <td>{{ user.lastname }}, {{ user.firstname }}</td>
                <td>{{ user.postal_address }}</td>
                <td>{{ user.affiliation }}</td>
                <td>                {% if not user.activation_hash %}
                    {% if user.verified %}Verified{% else %}<a href={{ url_for('accounts.verify_user',database=database, user_id=user.idUser) }}>Verify user</a>{% endif %}
                {% else %}
                    Not activated yet.
                {% endif %}</td>
                <td>{{ 'Yes' if user.admin else '' }}</td>
                <td><a href={{ url_for('accounts.list_solvers', database=database, user_id=user.idUser) }}>Solvers ({{ user.solvers|length }})</a> / <a href={{ url_for('accounts.list_benchmarks', database=database, user_id=user.idUser) }}>Benchmarks</a></td>
            </tr>
            {% endfor %}
        </tbody>
    </table>
    {% endif %}
<h2>Information</h2>
<a href="{{ url_for('accounts.list_solver_descriptions', database=database) }}">List of submitted descriptions</a><br/>
<a href="{{ url_for('accounts.list_submitted_solvers', database=database) }}">List of all submitted solvers</a>
<h2>Email addresses (Admins <strong>excluded</strong>)</h2>
<a href="mailto:?bcc={% for u in users %}{% if not u.admin %}{{ u.email }};{% endif %}{% endfor %}">{% for u in users %}{% if not u.admin %}{{ u.email }}, {% endif %}{% endfor %}</a>
<h2>Email addresses (Admins <strong>included</strong>)</h2>
<a href="mailto:?bcc={% for u in users %}{{ u.email }};{% endfor %}">{% for u in users %}{{ u.email }}, {% endfor %}</a>
{% endblock %}

{'fraction_non_alphanumeric': 0.2028985507246377, 'fraction_numerical': 0.004781114597340505, 'mean_word_length': 2.2495145631067963, 'pattern_counts': {'":': 16, '<': 154, '<?xml version=': 0, '>': 154, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6802233', 'n_tokens_mistral': 2252, 'n_tokens_neox': 2091, 'n_words': 416}