Fix http to https in download page.
Change-Id: I5c719a88eae91329158442d8ae73c416dfc58f9a
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
diff --git a/download.html b/download.html
index e0c2151..a93ceda 100644
--- a/download.html
+++ b/download.html
@@ -61,35 +61,35 @@
<h3>CHESS Eclipse full distribution:</h3>
<li><a
- href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32.win32.x86_64.zip">CHESS-1.0.0
+ href="https://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32.win32.x86_64.zip">CHESS-1.0.0
Windows 64 bit</a></li>
<li><a
- href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux.gtk.x86_64.zip">CHESS-1.0.0
+ href="https://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux.gtk.x86_64.zip">CHESS-1.0.0
Linux 64 bit</a></li> </br>
<h4>Previous versions:</h4>
<li><a
- href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0
+ href="https://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0
Windows 64 bit</a></li>
<li><a
- href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0
+ href="https://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0
Linux 64 bit</a></li> </br>
<h3>CHESS model examples</h3>
<li><a
- href="http://download.eclipse.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
+ href="https://download.eclipse.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
(example about schedulability analysis)</a></li>
<li><a
- href="http://download.eclipse.org/chess/models/IndustrialDrive.zip">IndustrialDrive
+ href="https://download.eclipse.org/chess/models/IndustrialDrive.zip">IndustrialDrive
(example about schedulability and E2E response time analyses) </a></li>
- <li><a href="http://download.eclipse.org/chess/models/WBS.zip">Wheel
+ <li><a href="https://download.eclipse.org/chess/models/WBS.zip">Wheel
Braking System (example about contract-based design)</a></li>
<li><a
- href="http://download.eclipse.org/chess/models/SenseSpacecraftRate.zip">Sense
+ href="https://download.eclipse.org/chess/models/SenseSpacecraftRate.zip">Sense
Spacecraft Rate (example about contract-based design, model checking
and fault tree analysis)</a></li>
- <li><a href="http://download.eclipse.org/chess/models/HBS.zip"
+ <li><a href="https://download.eclipse.org/chess/models/HBS.zip"
title="Model from «L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference (EDCC 2018). Iasi, Romania, September 10-14, 2018»">Hybrid
Braking System (example about safety analysis with CHESS-FLA and
CHESS-SBA)</a></li> </br>
