Skip to content

Commit bd9850e

Browse files
sdemarchsdemarch
committed
Update website
1 parent 22710ce commit bd9850e

File tree

2 files changed

+35
-31
lines changed

2 files changed

+35
-31
lines changed

‎index.html

Lines changed: 33 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@
5454
href="#about">About</a>
5555
</li>
5656
<li class="nav-item mx-0 mx-lg-1"><a class="nav-link py-3 px-0 px-lg-3 rounded js-scroll-trigger"
57-
href="#showcase">Showcase</a>
57+
href="#showcase">Spotlight</a>
5858
</li>
5959
<li class="nav-item mx-0 mx-lg-1"><a class="nav-link py-3 px-0 px-lg-3 rounded js-scroll-trigger"
6060
href="#publications">Publications</a>
@@ -97,6 +97,30 @@ <h2 class="page-section-heading text-secondary mb-0 d-inline-block">Projects</h2
9797
</div>
9898
<!-- Portfolio Grid Items-->
9999
<div class="row">
100+
<div class="col-lg-4 col-sm-6 mb-4">
101+
<div class="card h-100">
102+
<img class="card-img-top" src="./assets/img/logos/never2_480_270.png" alt="NeVer 2">
103+
<div class="card-body">
104+
<h4 class="card-title">
105+
<a target="_blank" href="https://github.com/NeVerTools/NeVer2">NeVer 2</a>
106+
</h4>
107+
<p class="card-text">
108+
<span class="badge badge-primary">Tool</span>
109+
<span class="badge badge-info">2.0.1</span>
110+
</br></br>A tool for learning and verification of neural networks.</br>
111+
<!--
112+
<h6 class="card-title" style="color: #1abc9c">Examples</h6>
113+
<span class="badge badge-light">
114+
<a target="_blank" href="tutorial_james.html">Feed-Forward NN</a>
115+
</span>
116+
<span class="badge badge-light">
117+
<a target="_blank" href="tutorial_fmnist.html">Convolutional NN</a>
118+
</span>
119+
-->
120+
</p>
121+
</div>
122+
</div>
123+
</div>
100124
<div class="col-lg-4 col-sm-6 mb-4">
101125
<div class="card h-100">
102126
<img class="card-img-top" src="./assets/img/logos/nevertools_480_270.png" alt="pyNeVer">
@@ -106,7 +130,7 @@ <h4 class="card-title">
106130
</h4>
107131
<p class="card-text">
108132
<span class="badge badge-primary">API</span>
109-
<span class="badge badge-info">1.0.0</span>
133+
<span class="badge badge-info">1.1.3</span>
110134
</br></br>A Python library for learning and verification of neural networks and other machine learning models.
111135
</p>
112136
</div>
@@ -131,28 +155,6 @@ <h6 class="card-title" style="color: #1abc9c">Examples</h6>
131155
</div>
132156
</div>
133157
</div> -->
134-
<div class="col-lg-4 col-sm-6 mb-4">
135-
<div class="card h-100">
136-
<img class="card-img-top" src="./assets/img/logos/never2_480_270.png" alt="NeVer 2">
137-
<div class="card-body">
138-
<h4 class="card-title">
139-
<a target="_blank" href="https://github.com/NeVerTools/NeVer2">NeVer 2</a>
140-
</h4>
141-
<p class="card-text">
142-
<span class="badge badge-primary">Tool</span>
143-
<span class="badge badge-info">Beta</span>
144-
</br></br>A tool for learning and verification of neural networks.</br>
145-
<h6 class="card-title" style="color: #1abc9c">Examples</h6>
146-
<span class="badge badge-light">
147-
<a target="_blank" href="tutorial_james.html">Feed-Forward NN</a>
148-
</span>
149-
<span class="badge badge-light">
150-
<a target="_blank" href="tutorial_fmnist.html">Convolutional NN</a>
151-
</span>
152-
</p>
153-
</div>
154-
</div>
155-
</div>
156158
<div class="col-lg-4 col-sm-6 mb-4">
157159
<div class="card h-100">
158160
<img class="card-img-top" src="./assets/img/logos/VNNLIB_480_270.png" alt="VNN-LIB">
@@ -161,7 +163,7 @@ <h4 class="card-title">
161163
<a target="_blank" href="http://www.vnnlib.org/">VNN-LIB</a>
162164
</h4>
163165
<p class="card-text">
164-
<span class="badge badge-primary">Initiative</span>
166+
<span class="badge badge-primary">Standard</span>
165167
</br></br>An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
166168
</p>
167169
</div>
@@ -201,8 +203,10 @@ <h2 class="page-section-heading d-inline-block text-white">About</h2>
201203
</div>
202204
<!-- About Section Content-->
203205
<div class="text-center">
204-
<p class="pre-wrap lead">This is the home page of neuralverification.org, an initiative of researchers working at the <a href="https://www.dibris.unige.it" style="color:#343a40">Department of Informatics, Bioengineering, Robotics and Systems Engineering</a> of the <a href="https://www.unige.it" style="color:#343a40">University of Genoa.</a></p>
205-
<p class="pre-wrap lead">The aim of the initiative is to develop tools that can verify neural networks and other machine learned programs as well as standard, i.e., manually written, code.</p>
206+
<p class="pre-wrap lead">This is the home page of neuralverification.org, an initiative of researchers from
207+
<a href="https://www.unige.it" style="color:#343a40">University of Genoa</a>, <a href="https://www.uniss.it" style="color:#343a40">University of Sassari</a> and <a href="https://www.kent.ac.uk/" style="color:#343a40">University of Kent</a>.</p>
208+
<p class="pre-wrap lead">The aim of the initiative is to develop tools to verify neural networks and other machine learned programs
209+
as well as standard, i.e., manually written, code.</p>
206210
</div>
207211
</div>
208212
</section>
@@ -212,7 +216,7 @@ <h2 class="page-section-heading d-inline-block text-white">About</h2>
212216
<div class="container">
213217
<!-- Showcase Section Heading-->
214218
<div class="text-center">
215-
<h2 class="page-section-heading text-secondary d-inline-block mb-0">Showcase</h2>
219+
<h2 class="page-section-heading text-secondary d-inline-block mb-0">Spotlight</h2>
216220
</div>
217221
<!-- Icon Divider-->
218222
<div class="divider-custom">
@@ -489,7 +493,7 @@ <h4 class="mb-4">Powered by AIMS-Lab</h4>
489493

490494
<!-- Copyright Section -->
491495
<section class="copyright py-4 text-center text-white">
492-
<div class="container"><small class="pre-wrap"><a target="_blank" href="https://github.com/NeVerTools/NeVerTools.github.io/blob/master/LICENSE">MIT Licensed</a> | neuralverification.org 2024 | Hosted with ❤ by <a href="https://github.com/" target="_blank">GitHub</a></small></div>
496+
<div class="container"><small class="pre-wrap"><a target="_blank" href="https://github.com/NeVerTools/NeVerTools.github.io/blob/master/LICENSE">MIT Licensed</a> | neuralverification.org 2025 | Hosted with ❤ by <a href="https://github.com/" target="_blank">GitHub</a></small></div>
493497
</section>
494498
<!-- Scroll to Top Button (Only visible on small and extra-small screen sizes) -->
495499
<div class="scroll-to-top d-lg-none position-fixed"><a

‎js/pdfviewer.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
// If absolute URL from the remote server is provided, configure the CORS
22
// header on that server.
33
// TODO maybe look for a better approach (maybe load the file as a binary)
4-
let url = 'https://raw.githubusercontent.com/NeVerTools/NeVerTools.github.io/master/assets/doc/slides.pdf';
4+
let url = 'https://raw.githubusercontent.com/NeVerTools/NeVerTools.github.io/master/assets/doc/never2.pdf';
55

66
// Loaded via <script> tag, create shortcut to access PDF.js exports.
77
let pdfjsLib = window['pdfjs-dist/build/pdf'];
@@ -10,7 +10,7 @@ let pdfjsLib = window['pdfjs-dist/build/pdf'];
1010
pdfjsLib.GlobalWorkerOptions.workerSrc = 'https://cdnjs.cloudflare.com/ajax/libs/pdf.js/3.4.120/pdf.worker.js';
1111

1212
// Changes the page dimensions
13-
let scale = 2;
13+
let scale = 1.5;
1414

1515
// Asynchronous download of PDF
1616
let loadingTask = pdfjsLib.getDocument(url);

0 commit comments

Comments
 (0)