deploy: 6a29ac556ec83a0b0d00635a6ae934695fe246b1

7 files changed, 9 insertions, 0 deletions

diff --git a/.nojekyll b/.nojekyll
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/.nojekyll
diff --git a/categories/index.xml b/categories/index.xml
new file mode 100644
index 0000000..5aaa3e3
--- /dev/null
+++ b/categories/index.xml
@@ -0,0 +1 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Categories on Vericert</title><link>http://example.org/categories/</link><description>Recent content in Categories on Vericert</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>© 2020-2021 Yann Herklotz</copyright><atom:link href="http://example.org/categories/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
\ No newline at end of file
diff --git a/docs/index.xml b/docs/index.xml
new file mode 100644
index 0000000..03139d4
--- /dev/null
+++ b/docs/index.xml
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Docs on Vericert</title><link>http://example.org/docs/</link><description>Recent content in Docs on Vericert</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>© 2020-2021 Yann Herklotz</copyright><atom:link href="http://example.org/docs/index.xml" rel="self" type="application/rss+xml"/><item><title>Building Vericert</title><link>http://example.org/docs/building/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>http://example.org/docs/building/</guid><description>To build Vericert, the provided Makefile can be used. External dependencies are needed to build the project, which can be pulled in automatically with nix using the provided default.nix and shell.nix files.
+The project is written in Coq, a theorem prover, which is extracted to OCaml so that it can then be compiled and executed. The dependencies of this project are the following:
+Coq: theorem prover that is used to also program the HLS tool.</description></item><item><title>Using Vericert</title><link>http://example.org/docs/using-vericert/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>http://example.org/docs/using-vericert/</guid><description>Vericert can be used to translate a subset of C into Verilog.</description></item></channel></rss>
\ No newline at end of file
diff --git a/images/design.jpg b/images/design.jpg
new file mode 100644
index 0000000..d254e1a
--- /dev/null
+++ b/images/design.jpg
diff --git a/index.xml b/index.xml
new file mode 100644
index 0000000..bc4d48b
--- /dev/null
+++ b/index.xml
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Vericert</title><link>http://example.org/</link><description>Recent content on Vericert</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>© 2020-2021 Yann Herklotz</copyright><lastBuildDate>Sat, 16 Jan 2021 00:00:00 +0000</lastBuildDate><atom:link href="http://example.org/index.xml" rel="self" type="application/rss+xml"/><item><title>Building Vericert</title><link>http://example.org/docs/building/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>http://example.org/docs/building/</guid><description>To build Vericert, the provided Makefile can be used. External dependencies are needed to build the project, which can be pulled in automatically with nix using the provided default.nix and shell.nix files.
+The project is written in Coq, a theorem prover, which is extracted to OCaml so that it can then be compiled and executed. The dependencies of this project are the following:
+Coq: theorem prover that is used to also program the HLS tool.</description></item><item><title>Using Vericert</title><link>http://example.org/docs/using-vericert/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>http://example.org/docs/using-vericert/</guid><description>Vericert can be used to translate a subset of C into Verilog.</description></item></channel></rss>
\ No newline at end of file
diff --git a/sitemap.xml b/sitemap.xml
new file mode 100644
index 0000000..30483a3
--- /dev/null
+++ b/sitemap.xml
@@ -0,0 +1 @@
+<?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>http://example.org/</loc><lastmod>2021-01-16T00:00:00+00:00</lastmod></url><url><loc>http://example.org/docs/building/</loc></url><url><loc>http://example.org/categories/</loc></url><url><loc>http://example.org/docs/</loc></url><url><loc>http://example.org/tags/</loc></url><url><loc>http://example.org/docs/using-vericert/</loc></url></urlset>
\ No newline at end of file
diff --git a/tags/index.xml b/tags/index.xml
new file mode 100644
index 0000000..6331734
--- /dev/null
+++ b/tags/index.xml
@@ -0,0 +1 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Tags on Vericert</title><link>http://example.org/tags/</link><description>Recent content in Tags on Vericert</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>© 2020-2021 Yann Herklotz</copyright><atom:link href="http://example.org/tags/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
\ No newline at end of file