Deploying to docs from @ 97513b8 🚀

twardokus · Mar 18, 2024 · f40bc1b · f40bc1b
1 parent 84d8b51
commit f40bc1b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/html/index.html b/html/index.html
@@ -65,7 +65,8 @@
 <div class="title">V2Verifier </div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><p><a class="anchor" id="md_README"></a> ****Important** - this version of V2Verifier is a <em>preliminary</em> release of V2Verifier 3.0. As we await bug fixes in third-party open-source projects that V2Verifier relies on for C-V2X sidelink communication, <b>this version of V2Verifier temporarily does not support C-V2X</b>. We thank you for your patience as we work towards resolving this issue.**</p>
+<div class="textblock"><p><a class="anchor" id="md_README"></a> <img src="https://app.travis-ci.com/twardokus/v2verifier.svg?token=WhbfH7DgNpqNXXem6qaq&amp;branch=master" alt="Status" style="pointer-events: none;" class="inline"/></p>
+<p>****Important** - this version of V2Verifier is a <em>preliminary</em> release of V2Verifier 3.0. As we await bug fixes in third-party open-source projects that V2Verifier relies on for C-V2X sidelink communication, <b>this version of V2Verifier temporarily does not support C-V2X</b>. We thank you for your patience as we work towards resolving this issue.**</p>
 <p>V2Verifer is an open-source testbed for experimental evaluation of security in vehicle-to-vehicle (V2V) communication. V2Verifier supports a broad range of experimentation with V2V technologies and security protocols using a combination of software-defined radios (e.g., USRPs) and commercial V2V equipment. Among other features, V2Verifier includes implementations of:</p><ul>
 <li>Security features from the IEEE 1609.2 standard for V2V security, including message signing and verification and V2V certificates</li>
 <li>WAVE Short Message Protocol (IEEE 1609.3)</li>

diff --git a/latex/index.tex b/latex/index.tex
@@ -1,6 +1,8 @@
 \label{index_md_README}%
 \Hypertarget{index_md_README}%
- $\ast$$\ast$$\ast$$\ast$\+Important$\ast$$\ast$ -\/ this version of V2\+Verifier is a {\itshape preliminary} release of V2\+Verifier 3.\+0. As we await bug fixes in third-\/party open-\/source projects that V2\+Verifier relies on for C-\/\+V2X sidelink communication, {\bfseries{this version of V2\+Verifier temporarily does not support C-\/\+V2X}}. We thank you for your patience as we work towards resolving this issue.$\ast$$\ast$
+
+
+$\ast$$\ast$$\ast$$\ast$\+Important$\ast$$\ast$ -\/ this version of V2\+Verifier is a {\itshape preliminary} release of V2\+Verifier 3.\+0. As we await bug fixes in third-\/party open-\/source projects that V2\+Verifier relies on for C-\/\+V2X sidelink communication, {\bfseries{this version of V2\+Verifier temporarily does not support C-\/\+V2X}}. We thank you for your patience as we work towards resolving this issue.$\ast$$\ast$
 
 V2\+Verifer is an open-\/source testbed for experimental evaluation of security in vehicle-\/to-\/vehicle (V2V) communication. V2\+Verifier supports a broad range of experimentation with V2V technologies and security protocols using a combination of software-\/defined radios (e.\+g., USRPs) and commercial V2V equipment. Among other features, V2\+Verifier includes implementations of\+:
 \begin{DoxyItemize}