Skip to content

Commit

Permalink
Update sources
Browse files Browse the repository at this point in the history
  • Loading branch information
@felixlinker
felixlinker committed May 3, 2023
1 parent af9e194 commit 52e4ed0
Show file tree
Hide file tree
Showing 2 changed files with 18 additions and 18 deletions.
18 changes: 9 additions & 9 deletions content/sources/_index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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/proofs.zip)
* [Source code (tar.gz)](https://github.com/soap-wg/soap-proofs/archive/refs/tags/proofs.tar.gz)
* [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)

## Web-based Prototype

Expand All @@ -35,10 +35,10 @@ SOAP messages will be rendered as text messages containing base64-encoded data.

To import the source code in Android Studio, please follow the instructions of the [signalapp/Signal-Android](https://github.com/signalapp/Signal-Android) repository.

* [Signal-Android-play-prod-arm64-v8a-debug-5.50.2.apk](https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-arm64-v8a-debug-5.50.2.apk)
* [Signal-Android-play-prod-armeabi-v7a-debug-5.50.2.apk](https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-armeabi-v7a-debug-5.50.2.apk)
* [Signal-Android-play-prod-universal-debug-5.50.2.apk](https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-universal-debug-5.50.2.apk)
* [Signal-Android-play-prod-x86-debug-5.50.2.apk](https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-x86-debug-5.50.2.apk)
* [Signal-Android-play-prod-x86_64-debug-5.50.2.apk](https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-x86_64-debug-5.50.2.apk)
* [Source code (zip)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/proto-release.zip)
* [Source code (tar.gz)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/proto-release.tar.gz)
* [Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk)
* [Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk)
* [Signal-Android-play-prod-universal-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-universal-debug-6.18.3.apk)
* [Signal-Android-play-prod-x86-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86-debug-6.18.3.apk)
* [Signal-Android-play-prod-x86_64-debug-6.18.3.apk](https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86_64-debug-6.18.3.apk)
* [Source code (zip)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.zip)
* [Source code (tar.gz)](https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.tar.gz)
18 changes: 9 additions & 9 deletions docs/sources/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -90,8 +90,8 @@ <h2 id="formal-proofs">Formal Proofs</h2>
<p>The formal model and proofs for SOAP were encoded for the <a href="https://tamarin-prover.github.io/">Tamarin model checker</a>.
The source code archives contain a README detailing how to check the proofs.</p>
<ul>
<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/proofs.zip">Source code (zip)</a></li>
<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/proofs.tar.gz">Source code (tar.gz)</a></li>
<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/ccs-proofs.zip">Source code (zip)</a></li>
<li><a href="https://github.com/soap-wg/soap-proofs/archive/refs/tags/ccs-proofs.tar.gz">Source code (tar.gz)</a></li>
</ul>
<h2 id="web-based-prototype">Web-based Prototype</h2>
<p>The web-based prototype can be reached under <a href="https://soap-proto.net">https://soap-proto.net</a>.
Expand All @@ -111,13 +111,13 @@ <h2 id="signal-prototype">Signal Prototype</h2>
SOAP messages will be rendered as text messages containing base64-encoded data.</p>
<p>To import the source code in Android Studio, please follow the instructions of the <a href="https://github.com/signalapp/Signal-Android">signalapp/Signal-Android</a> repository.</p>
<ul>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-arm64-v8a-debug-5.50.2.apk">Signal-Android-play-prod-arm64-v8a-debug-5.50.2.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-armeabi-v7a-debug-5.50.2.apk">Signal-Android-play-prod-armeabi-v7a-debug-5.50.2.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-universal-debug-5.50.2.apk">Signal-Android-play-prod-universal-debug-5.50.2.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-x86-debug-5.50.2.apk">Signal-Android-play-prod-x86-debug-5.50.2.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/proto-release/Signal-Android-play-prod-x86_64-debug-5.50.2.apk">Signal-Android-play-prod-x86_64-debug-5.50.2.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/archive/refs/tags/proto-release.zip">Source code (zip)</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/archive/refs/tags/proto-release.tar.gz">Source code (tar.gz)</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk">Signal-Android-play-prod-arm64-v8a-debug-6.18.3.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk">Signal-Android-play-prod-armeabi-v7a-debug-6.18.3.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-universal-debug-6.18.3.apk">Signal-Android-play-prod-universal-debug-6.18.3.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86-debug-6.18.3.apk">Signal-Android-play-prod-x86-debug-6.18.3.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/releases/download/ccs-proto/Signal-Android-play-prod-x86_64-debug-6.18.3.apk">Signal-Android-play-prod-x86_64-debug-6.18.3.apk</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.zip">Source code (zip)</a></li>
<li><a href="https://github.com/soap-wg/Signal-Android/archive/refs/tags/ccs-proto.tar.gz">Source code (tar.gz)</a></li>
</ul>


Expand Down

0 comments on commit 52e4ed0

Please sign in to comment.