<commit_before><!DOCTYPE html>
<html>
    <head>
        <title>
            Downloads
        </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("Downloads", "..");
        </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");<commit_msg>Slight update to our download page (had forgotten to update some relative links!).<commit_after><!DOCTYPE html>
<html>
    <head>
        <title>
            Downloads
        </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("Downloads", "..");
        </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");
{'fraction_non_alphanumeric': 0.17499183806725432, 'fraction_numerical': 0.00652954619653934, 'mean_word_length': 2.4660633484162897, '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': 5, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '625431', 'n_tokens_mistral': 947, 'n_tokens_neox': 889, 'n_words': 215}