<commit_before><!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Coq bench</title>
    <link rel="shortcut icon" type="image/png" href="favicon.png" />

    <link href="bootstrap.min.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">
    <script src="moment.min.js"></script>

    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="navbar navbar-default" role="navigation">
        <div class="container-fluid">
          <div class="navbar-header">
            <a class="navbar-brand" href=""><i class="fa fa-lg fa-flag-checkered"></i> Coq bench</a>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <h1>Coq bench</h1>
            <p>We bench the Coq OPAM packages, not Coq itself or the contribs. The compilation times are only informative.</p>

            <h2>Results</h2>
            <table class="table table-striped text-center">
              <thead>
                <tr>
                  <td>OS</td>
                  <td>Machine</td>
                  <td>OCaml</td>
                  <td>Opam</td>
                  <td>Released</td>
                  <td>Development</td>
                </tr>
              </thead>
              <tbody>
                <% for architecture in databases[:clean].architectures %>
                  <% os, machine, ocaml, opam = architecture.split("-") %>
                <tr>
                  <td><%= h(os) %></td>
                  <td><%= h(machine) %></td>
                  <td><%= h(ocaml) %></td>
                  <td><%= h(opam) %></td>
                  <% for repository in Database.repositories %>
                    <% if last_bench = databases[:clean].last_bench(architecture, repository) %>
                  <td><a href="<%= "#{:clean}/#{u(architecture)}/#{repository}/" %>"><script>document.write(moment("<%= h(last_bench.strftime("%F %T")) %> +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script></a></td>
                    <% end %>
                  <% end %>
                </tr>
                <% end %>
              </tbody>
            </table>

            <h2>Changelog</h2>
            <h4>October 28, 2016</h4>
            <ul>
              <li>add Coq <code>8.5.3</code></li>
            </ul>
            <h4>July 17, 2016</h4>
            <ul>
              <li>add Coq <code>8.6.dev</code></li>
            </ul>
            <h4>July 13, 2016</h4>
            <ul>
              <li>upgrade to Coq <code>8.5.2</code></li>
            </ul>
            <h4>May 28, 2016</h4>
            <ul>
              <li>run the <code>opam lint</code> check</li>
              <li>single-threaded compilation for better reproducibility of builds</li>
              <li>shorter installation timeout (30 minutes) to anticipate the release of the contribs</li>
              <li>a timeout is not an error anymore</li>
            </ul>
          </div>
        </div>
      </div>
      <hr/>
      <div class="footer">
        <p class="text-center">
          <small>Sources are on <a href="https://github.com/coq-bench">GitHub</a>. © <NAME>.</small>
        </p>
      </div>
    </div>

    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="bootstrap.min.js"></script>
  </body>
</html><commit_msg>Add contact informations<commit_after><!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Coq bench</title>
    <link rel="shortcut icon" type="image/png" href="favicon.png" />

    <link href="bootstrap.min.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">
    <script src="moment.min.js"></script>

    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="navbar navbar-default" role="navigation">
        <div class="container-fluid">
          <div class="navbar-header">
            <a class="navbar-brand" href=""><i class="fa fa-lg fa-flag-checkered"></i> Coq bench</a>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <h1>Coq bench</h1>
            <p>We bench the Coq OPAM packages, not Coq itself or the contribs. The compilation times are only informative.</p>

            <h2>Results</h2>
            <table class="table table-striped text-center">
              <thead>
                <tr>
                  <td>OS</td>
                  <td>Machine</td>
                  <td>OCaml</td>
                  <td>Opam</td>
                  <td>Released</td>
                  <td>Development</td>
                </tr>
              </thead>
              <tbody>
                <% for architecture in databases[:clean].architectures %>
                  <% os, machine, ocaml, opam = architecture.split("-") %>
                <tr>
                  <td><%= h(os) %></td>
                  <td><%= h(machine) %></td>
                  <td><%= h(ocaml) %></td>
                  <td><%= h(opam) %></td>
                  <% for repository in Database.repositories %>
                    <% if last_bench = databases[:clean].last_bench(architecture, repository) %>
                  <td><a href="<%= "#{:clean}/#{u(architecture)}/#{repository}/" %>"><script>document.write(moment("<%= h(last_bench.strftime("%F %T")) %> +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script></a></td>
                    <% end %>
                  <% end %>
                </tr>
                <% end %>
              </tbody>
            </table>

            <h2>Changelog</h2>
            <h4>October 28, 2016</h4>
            <ul>
              <li>add Coq <code>8.5.3</code></li>
            </ul>
            <h4>July 17, 2016</h4>
            <ul>
              <li>add Coq <code>8.6.dev</code></li>
            </ul>
            <h4>July 13, 2016</h4>
            <ul>
              <li>upgrade to Coq <code>8.5.2</code></li>
            </ul>
            <h4>May 28, 2016</h4>
            <ul>
              <li>run the <code>opam lint</code> check</li>
              <li>single-threaded compilation for better reproducibility of builds</li>
              <li>shorter installation timeout (30 minutes) to anticipate the release of the contribs</li>
              <li>a timeout is not an error anymore</li>
            </ul>

            <h2>Contact</h2>
            <p>Send an email to <code>coqbench [at] clarus [dot] me</code>.</p>
          </div>
        </div>
      </div>
      <hr/>
      <div class="footer">
        <p class="text-center">
          <small>Sources are on <a href="https://github.com/coq-bench">GitHub</a>. © <NAME>.</small>
        </p>
      </div>
    </div>

    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="bootstrap.min.js"></script>
  </body>
</html>
{'fraction_non_alphanumeric': 0.1811272957568081, 'fraction_numerical': 0.019252691576947437, 'mean_word_length': 1.67842605156038, 'pattern_counts': {'":': 0, '<': 311, '<?xml version=': 0, '>': 311, 'https://': 8, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '711552', 'n_tokens_mistral': 2711, 'n_tokens_neox': 2465, 'n_words': 521}