<commit_before><!DOCTYPE html>
<html>
    <head>
        <title>
            Download
        </title>

        <meta http-equiv="content-type" content="text/html; charset=utf-8"/>

        <link href="res/stylesheet.css" rel="stylesheet" type="text/css"/>

        <script src="3rdparty/jQuery/jquery.js" type="text/javascript"></script>
        <script src="res/common.js" type="text/javascript"></script>
        <script src="res/menu.js" type="text/javascript"></script>
    </head>
    <body>
        <script type="text/javascript">
            headerAndContentsMenu("Download", ".");
        </script>

        <p>
            Please find below the official releases of OpenCOR, as well as its latest snapshot (you might want to check the <a href="user/supportedPlatforms.html">supported platforms</a>, as well as <a href="user/whatIsNew.html">what is new</a>).
        </p>

<?php
    // Function to retrieve the formatted size of a file

    function formattedFileSize($fileName) {
        $filePath = $_SERVER["DOCUMENT_ROOT"]."/".$fileName;

        if (file_exists($filePath)) {
            $units = array("B", "KB", "MB", "GB", "TB", "PB", "EB", "ZB", "YB");
            $fileSize = filesize($filePath);
            $i = floor(log($fileSize, 1024));

            return ceil($fileSize/pow(1024, $i))." ".$units[$i];
        } else {
            return "???";
        }
    }

    // Various initialisations

    date_default_timezone_set("Europe/London");

    $versions = array(array(0, 1, 1, 17, 4, 2013, 1,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))),
                      array(0, 1, 0, 1, 4, 2013, 0,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))),
                      array(0, 0, 0, 16, 5, 2013, 2,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))));

    // Output our various versions

    $versionIndex = 0;

    while ($versionIndex != sizeof($versions)) {
        $version = $versions[$versionIndex];

        // Retrieve some information about the version

        $versionMajor = $version[0];
        $versionMinor = $version[1];
        $versionPatch = $version[2];
        $versionDay = $version[3];
        $versionMonth = $version[4];
        $versionYear = $version[5];
        $versionRecommendedStatus = $version[6];<commit_msg>New snapshots.<commit_after><!DOCTYPE html>
<html>
    <head>
        <title>
            Download
        </title>

        <meta http-equiv="content-type" content="text/html; charset=utf-8"/>

        <link href="res/stylesheet.css" rel="stylesheet" type="text/css"/>

        <script src="3rdparty/jQuery/jquery.js" type="text/javascript"></script>
        <script src="res/common.js" type="text/javascript"></script>
        <script src="res/menu.js" type="text/javascript"></script>
    </head>
    <body>
        <script type="text/javascript">
            headerAndContentsMenu("Download", ".");
        </script>

        <p>
            Please find below the official releases of OpenCOR, as well as its latest snapshot (you might want to check the <a href="user/supportedPlatforms.html">supported platforms</a>, as well as <a href="user/whatIsNew.html">what is new</a>).
        </p>

<?php
    // Function to retrieve the formatted size of a file

    function formattedFileSize($fileName) {
        $filePath = $_SERVER["DOCUMENT_ROOT"]."/".$fileName;

        if (file_exists($filePath)) {
            $units = array("B", "KB", "MB", "GB", "TB", "PB", "EB", "ZB", "YB");
            $fileSize = filesize($filePath);
            $i = floor(log($fileSize, 1024));

            return ceil($fileSize/pow(1024, $i))." ".$units[$i];
        } else {
            return "???";
        }
    }

    // Various initialisations

    date_default_timezone_set("Europe/London");

    $versions = array(array(0, 1, 1, 17, 4, 2013, 1,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))),
                      array(0, 1, 0, 1, 4, 2013, 0,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))),
                      array(0, 0, 0, 17, 5, 2013, 2,
                            array(array("Windows", array(".exe"), array(".zip")),
                                  array("Linux", array(".tar.gz", 32), array(".tar.gz", 64)),
                                  array("OS X", array(".dmg"), array(".zip")))));

    // Output our various versions

    $versionIndex = 0;

    while ($versionIndex != sizeof($versions)) {
        $version = $versions[$versionIndex];

        // Retrieve some information about the version

        $versionMajor = $version[0];
        $versionMinor = $version[1];
        $versionPatch = $version[2];
        $versionDay = $version[3];
        $versionMonth = $version[4];
        $versionYear = $version[5];
        $versionRecommendedStatus = $version[6];
{'fraction_non_alphanumeric': 0.17903476907109497, 'fraction_numerical': 0.02144957619788964, 'mean_word_length': 1.957544757033248, 'pattern_counts': {'":': 0, '<': 51, '<?xml version=': 0, '>': 49, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 16, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3550477', 'n_tokens_mistral': 1783, 'n_tokens_neox': 1600, 'n_words': 382}