Update links to formal model

soap-wg · Dec 23, 2023 · c6d65b7 · c6d65b7
1 parent 52e4ed0
commit c6d65b7
Show file tree

Hide file tree

Showing 6 changed files with 24 additions and 31 deletions.
diff --git a/content/sources/_index.md b/content/sources/_index.md
@@ -9,8 +9,8 @@ draft: false
 The formal model and proofs for SOAP were encoded for the [Tamarin model checker](https://tamarin-prover.github.io/).
 The source code archives contain a README detailing how to check the proofs.
 
-* [Source code (zip)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/ccs-proofs.zip)
-* [Source code (tar.gz)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/ccs-proofs.tar.gz)
+* [Source code (zip)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix-pre.zip)
+* [Source code (tar.gz)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/usenix-pre.tar.gz)
 
 ## Web-based Prototype
 

diff --git a/docs/categories/index.xml b/docs/categories/index.xml
@@ -5,6 +5,7 @@
     <link>https://soap-wg.github.io/categories/</link>
     <description>Recent content in Categories on SOAP Project</description>
     <generator>Hugo -- gohugo.io</generator>
-    <language>en-us</language><atom:link href="https://soap-wg.github.io/categories/index.xml" rel="self" type="application/rss+xml" />
+    <language>en-us</language>
+    <atom:link href="https://soap-wg.github.io/categories/index.xml" rel="self" type="application/rss+xml" />
   </channel>
 </rss>
diff --git a/docs/index.xml b/docs/index.xml
@@ -1,14 +1,12 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
 <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
   <channel>
     <title>SOAP: OpenID Connect-based Social Authentication Protocol Applied to Messaging Applications on SOAP Project</title>
     <link>https://soap-wg.github.io/</link>
-    <description>Recent content on SOAP Project</description>
-
+    <description>Recent content in SOAP: OpenID Connect-based Social Authentication Protocol Applied to Messaging Applications on SOAP Project</description>
+    <generator>Hugo -- gohugo.io</generator>
     <language>en-us</language>
     <lastBuildDate>Thu, 06 Oct 2022 11:46:35 +0200</lastBuildDate>
-
     <atom:link href="https://soap-wg.github.io/index.xml" rel="self" type="application/rss+xml" />
-
-
   </channel>
 </rss>
diff --git a/docs/sitemap.xml b/docs/sitemap.xml
@@ -1,23 +1,15 @@
-<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
-        xmlns:xhtml="http://www.w3.org/1999/xhtml">
-
-    <url>
-        <loc>https://soap-wg.github.io/</loc>
-        <lastmod>2022-10-06T11:46:35+02:00</lastmod>
-    </url>
-
-    <url>
-        <loc>https://soap-wg.github.io/sources/</loc>
-        <lastmod>2022-10-06T11:46:35+02:00</lastmod>
-    </url>
-
-    <url>
-        <loc>https://soap-wg.github.io/categories/</loc>
-    </url>
-
-    <url>
-        <loc>https://soap-wg.github.io/tags/</loc>
-    </url>
-
+  xmlns:xhtml="http://www.w3.org/1999/xhtml">
+  <url>
+    <loc>https://soap-wg.github.io/</loc>
+    <lastmod>2022-10-06T11:46:35+02:00</lastmod>
+  </url><url>
+    <loc>https://soap-wg.github.io/sources/</loc>
+    <lastmod>2022-10-06T11:46:35+02:00</lastmod>
+  </url><url>
+    <loc>https://soap-wg.github.io/categories/</loc>
+  </url><url>
+    <loc>https://soap-wg.github.io/tags/</loc>
+  </url>
 </urlset>
diff --git a/docs/sources/index.xml b/docs/sources/index.xml
@@ -6,6 +6,7 @@
     <description>Recent content in Sources on SOAP Project</description>
     <generator>Hugo -- gohugo.io</generator>
     <language>en-us</language>
-    <lastBuildDate>Thu, 06 Oct 2022 11:46:35 +0200</lastBuildDate><atom:link href="https://soap-wg.github.io/sources/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Thu, 06 Oct 2022 11:46:35 +0200</lastBuildDate>
+    <atom:link href="https://soap-wg.github.io/sources/index.xml" rel="self" type="application/rss+xml" />
   </channel>
 </rss>
diff --git a/docs/tags/index.xml b/docs/tags/index.xml
@@ -5,6 +5,7 @@
     <link>https://soap-wg.github.io/tags/</link>
     <description>Recent content in Tags on SOAP Project</description>
     <generator>Hugo -- gohugo.io</generator>
-    <language>en-us</language><atom:link href="https://soap-wg.github.io/tags/index.xml" rel="self" type="application/rss+xml" />
+    <language>en-us</language>
+    <atom:link href="https://soap-wg.github.io/tags/index.xml" rel="self" type="application/rss+xml" />
   </channel>
 </rss>