deploy: seL4/website@23a145d

seL4 · May 23, 2024 · 83d7876 · 83d7876
1 parent 40365e5
commit 83d7876
Show file tree

Hide file tree

Showing 4 changed files with 203 additions and 203 deletions.
diff --git a/PR_359/About/Performance/index.html b/PR_359/About/Performance/index.html
@@ -113,66 +113,66 @@ <h1>Performance</h1>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">571</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">317</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">336</td>
+    <td class="data-mean">623</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">316</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">335</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">813</td>
-    <td class="data-stddev">(7)</td>
+    <td class="data-mean">776</td>
+    <td class="data-stddev">(0)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1656</td>
-    <td class="data-stddev">(253)</td>
-    <td class="data-mean">583</td>
-    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1479</td>
+    <td class="data-stddev">(269)</td>
+    <td class="data-mean">579</td>
+    <td class="data-stddev">(12)</td>
     <td class="data-mean">589</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1242</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">1247</td>
     <td class="data-stddev">(75)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1280</td>
-    <td class="data-stddev">(194)</td>
+    <td class="data-mean">1235</td>
+    <td class="data-stddev">(202)</td>
+    <td class="data-mean">375</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">382</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">389</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">768</td>
-    <td class="data-stddev">(82)</td>
+    <td class="data-mean">752</td>
+    <td class="data-stddev">(83)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
     <td>A57/Tx1/Jetson</td>
     <td class="data-table-right">1.9 GHz</td>
     <td class="data-mean">667</td>
-    <td class="data-stddev">(35)</td>
-    <td class="data-mean">403</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">420</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">943</td>
-    <td class="data-stddev">(35)</td>
+    <td class="data-stddev">(33)</td>
+    <td class="data-mean">406</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">423</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">908</td>
+    <td class="data-stddev">(25)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">967</td>
-    <td class="data-stddev">(27)</td>
-    <td class="data-mean">540</td>
-    <td class="data-stddev">(141)</td>
-    <td class="data-mean">662</td>
-    <td class="data-stddev">(109)</td>
-    <td class="data-mean">1369</td>
-    <td class="data-stddev">(69)</td>
+    <td class="data-mean">960</td>
+    <td class="data-stddev">(30)</td>
+    <td class="data-mean">474</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">654</td>
+    <td class="data-stddev">(84)</td>
+    <td class="data-mean">1352</td>
+    <td class="data-stddev">(68)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -191,66 +191,66 @@ <h2>MCS</h2>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">832</td>
-    <td class="data-stddev">(18)</td>
-    <td class="data-mean">323</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">363</td>
+    <td class="data-mean">857</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">324</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">1212</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-mean">364</td>
+    <td class="data-stddev">(1)</td>
+    <td class="data-mean">1194</td>
+    <td class="data-stddev">(18)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">2043</td>
-    <td class="data-stddev">(435)</td>
-    <td class="data-mean">603</td>
+    <td class="data-mean">1917</td>
+    <td class="data-stddev">(427)</td>
+    <td class="data-mean">587</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">599</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1595</td>
+    <td class="data-mean">593</td>
     <td class="data-stddev">(13)</td>
+    <td class="data-mean">1520</td>
+    <td class="data-stddev">(15)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1710</td>
-    <td class="data-stddev">(354)</td>
-    <td class="data-mean">389</td>
-    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1626</td>
+    <td class="data-stddev">(337)</td>
+    <td class="data-mean">383</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">408</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">1066</td>
-    <td class="data-stddev">(8)</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">1056</td>
+    <td class="data-stddev">(12)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
     <td>A57/Tx1/Jetson</td>
     <td class="data-table-right">1.9 GHz</td>
-    <td class="data-mean">760</td>
-    <td class="data-stddev">(21)</td>
-    <td class="data-mean">428</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">450</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">957</td>
-    <td class="data-stddev">(20)</td>
+    <td class="data-mean">810</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">437</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">443</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">1011</td>
+    <td class="data-stddev">(22)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">1994</td>
-    <td class="data-stddev">(73)</td>
+    <td class="data-mean">1952</td>
+    <td class="data-stddev">(33)</td>
     <td class="data-mean">677</td>
-    <td class="data-stddev">(22)</td>
-    <td class="data-mean">887</td>
-    <td class="data-stddev">(64)</td>
-    <td class="data-mean">2587</td>
-    <td class="data-stddev">(102)</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">925</td>
+    <td class="data-stddev">(168)</td>
+    <td class="data-mean">2603</td>
+    <td class="data-stddev">(107)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -349,7 +349,7 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-05-17 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/e94a72b7d893b204ac4b068f499e92c19c145bd5/default.xml">e94a72b7</a>.</p>
+<p>This page was generated on 2024-05-23 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/6635a81fc5606477d8374cc6717ccef6f02b9bb4/default.xml">6635a81f</a>.</p>
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->

diff --git a/PR_359/news/2024.html b/PR_359/news/2024.html
@@ -131,7 +131,7 @@ <h1>
 </div>
 <div>
    <a href="https://proofcraft.systems">
-    <img src="/Foundation/Membership/LOGOS/proofcraft.svg"
+    <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
       style="width: 15%; float:right"
       alt="Proofcraft logo" />
   </a>

diff --git a/PR_359/news/index.html b/PR_359/news/index.html
@@ -130,7 +130,7 @@ <h1>
 </div>
 <div>
    <a href="https://proofcraft.systems">
-    <img src="/Foundation/Membership/LOGOS/proofcraft.svg"
+    <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
       style="width: 15%; float:right"
       alt="Proofcraft logo" />
   </a>