Commit 1e0289cf authored by Alexander Weigl's avatar Alexander Weigl

website is ready

parent a7eca2f3
Pipeline #17120 passed with stages
in 8 minutes and 56 seconds
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
<parent> <parent>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</parent> </parent>
<artifactId>keydeps</artifactId> <artifactId>keydeps</artifactId>
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
......
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
...@@ -60,13 +60,13 @@ ...@@ -60,13 +60,13 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>lang</artifactId> <artifactId>lang</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>rt</artifactId> <artifactId>rt</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
</dependencies> </dependencies>
......
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
......
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
...@@ -17,7 +17,7 @@ ...@@ -17,7 +17,7 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>rt</artifactId> <artifactId>rt</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
...@@ -27,7 +27,7 @@ ...@@ -27,7 +27,7 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>matcher</artifactId> <artifactId>matcher</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
</dependencies> </dependencies>
</project> </project>
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
...@@ -16,7 +16,7 @@ ...@@ -16,7 +16,7 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>lang</artifactId> <artifactId>lang</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
</dependencies> </dependencies>
......
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
<parent> <parent>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>psdbg</artifactId> <artifactId>psdbg</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
<relativePath>..</relativePath> <relativePath>..</relativePath>
</parent> </parent>
...@@ -51,12 +51,12 @@ ...@@ -51,12 +51,12 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>rt-key</artifactId> <artifactId>rt-key</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>matcher</artifactId> <artifactId>matcher</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
<dependency> <dependency>
<groupId>org.dockfx</groupId> <groupId>org.dockfx</groupId>
...@@ -66,7 +66,7 @@ ...@@ -66,7 +66,7 @@
<dependency> <dependency>
<groupId>edu.kit.iti.formal.psdbg</groupId> <groupId>edu.kit.iti.formal.psdbg</groupId>
<artifactId>lint</artifactId> <artifactId>lint</artifactId>
<version>0.1-SNAPSHOT</version> <version>1.0-FM</version>
</dependency> </dependency>
</dependencies> </dependencies>
......
<style> <style>
#content { #content {
width: 60em; width: 50em;
margin: auto; margin: auto;
border: 1px #ccc solid; border: 1px #ccc solid;
border-bottom-left-radius: 2em; border-bottom-left-radius: 2em;
...@@ -23,17 +23,18 @@ ...@@ -23,17 +23,18 @@
img.thumb { img.thumb {
width:100%; width:100%;
border-radius:150px; border-radius:50%;
} }
.column h3 { .column h3 {
text-align:center;
} }
div.feature-caption { div.feature-caption {
text-align: block; text-align: block;
text-align: justify; text-align: justify;
font-size: 80%; font-size: 80%;
font-weight:bold;
} }
</style> </style>
...@@ -72,6 +73,14 @@ the analysis of failed proof attempts. ...@@ -72,6 +73,14 @@ the analysis of failed proof attempts.
A full description of the language and debugging-concept A full description of the language and debugging-concept
is published at [HVC 2017](http://rdcu.be/E4fF) is published at [HVC 2017](http://rdcu.be/E4fF)
## Debugging Quicksort
<center>
<video width="80%" controls>
<source src="quicksort.webm" type="video/webm">
Your browser does not support the video tag or WebM.
</video>
</center>
## Features ## Features
...@@ -128,8 +137,6 @@ is published at [HVC 2017](http://rdcu.be/E4fF) ...@@ -128,8 +137,6 @@ is published at [HVC 2017](http://rdcu.be/E4fF)
<div style="clear: both;"/> <div style="clear: both;"/>
<h2>Getting Started</h2>
<h2>Downloads</h2> <h2>Downloads</h2>
<ul> <ul>
...@@ -140,7 +147,9 @@ is published at [HVC 2017](http://rdcu.be/E4fF) ...@@ -140,7 +147,9 @@ is published at [HVC 2017](http://rdcu.be/E4fF)
Including examples and all dependencies. Including examples and all dependencies.
<br> <br>
<a href="https://www.gnu.org/licenses/gpl-3.0.txt">License: GPLv3</a> <a href="https://www.gnu.org/licenses/gpl-3.0.txt">License: GPLv3</a>
<a href="THIRD_PARTIES/">Third Party Licenses</a> <a href="thirdparty.txt">Third Party Licenses</a>
<br>
Executable with <code>java -jar psdbg-1.0-fm.jar</code>
</li> </li>
</ul> </ul>
......
...@@ -32,7 +32,7 @@ ...@@ -32,7 +32,7 @@
display:none; display:none;
} }
body { body {
width:80%; width:60em;
margin:auto; margin:auto;
padding:1em; padding:1em;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment