-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploy verus-lang/blog to verus-lang/blog:gh-pages
- Loading branch information
GitHub Actions
committed
Feb 13, 2024
0 parents
commit 3b85953
Showing
11 changed files
with
1,034 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,132 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"> | ||
<head> | ||
<meta charset="utf-8"> | ||
<meta name="HandheldFriendly" content="True"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | ||
<meta name="referrer" content="no-referrer-when-downgrade"> | ||
|
||
<title>Verus blog</title> | ||
<meta name="description" content=""> | ||
|
||
<link rel="stylesheet" href="https://verus-lang.github.io/blog/main.css"> | ||
|
||
|
||
|
||
|
||
|
||
</head> | ||
<body> | ||
<div class="flex-container"> | ||
<!--<a class="skip-main" href="#main">Skip to content</a>--> | ||
<div class="left-float"> | ||
<div class="left-header"> | ||
<h1 class="site-header"> | ||
<a href="https://verus-lang.github.io/blog">Verus blog</a> | ||
</h1> | ||
<p style="text-align: justify;">Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code.</p> | ||
<p style="font-weight: bold; font-size: 100%">Verus is open-source at <a href="https://github.com/verus-lang/verus">github.com/verus-lang/verus</a></p> | ||
</div> | ||
<div class="left-announcements"> | ||
<h2>Verus Announcements</h2> | ||
<!-- TODO turn this into an UL list --> | ||
|
||
|
||
<div class="left-announcement-item"> | ||
<span class="left-announcement-date">2024-02-13</span> <a href="https://verus-lang.github.io/blog/announcements/blog/">We have a blog</a> | ||
</div> | ||
|
||
</div> | ||
</div> | ||
<div class="container"> | ||
<header> | ||
<!--<nav> | ||
<a href="https://github.com/verus-lang/verus">Verus</a> | ||
</nav>--> | ||
</header> | ||
<main id="main" tabindex="-1"> | ||
|
||
<article class="post"> | ||
<header> | ||
<h1>404: Page not found</h1> | ||
</header> | ||
<div class="content"> | ||
Sorry, this page doesn't seem to exist. | ||
</div> | ||
</article> | ||
|
||
</main> | ||
<footer> | ||
<p class="powered-by-footer"> | ||
Powered by <a target="_blank" href="https://getzola.org/">Zola</a>, Theme <a target="_blank" href="https://github.com/zbrox/anpu-zola-theme">Anpu</a> (customized). | ||
</p> | ||
<p> | ||
|
||
|
||
</p> | ||
</footer> | ||
</div> | ||
</div> | ||
|
||
<div class="dark-mode-buttons"> | ||
<button class="dark-mode-button" id="dark-mode-on"> | ||
<img | ||
src="https://verus-lang.github.io/blog/dark_mode.svg" | ||
width="24" | ||
height="24" | ||
alt="Dark mode" | ||
aria-label="dark mode toggle" | ||
title="Dark mode" | ||
/> | ||
</button> | ||
<button class="dark-mode-button" id="dark-mode-off"> | ||
<img | ||
src="https://verus-lang.github.io/blog/light_mode.svg " | ||
width="24" | ||
height="24" | ||
alt="Light mode" | ||
aria-label="light mode toggle" | ||
title="Light mode" | ||
style="filter: invert(1);" | ||
/> | ||
</button> | ||
</div> | ||
<script> | ||
const cls = document.body.classList; | ||
const getSessionTheme = sessionStorage.getItem("theme"); | ||
if (getSessionTheme === "dark") { | ||
cls.toggle("dark-mode", true); | ||
} else if (getSessionTheme === "light") { | ||
cls.toggle("dark-mode", false); | ||
} else if (window.matchMedia("(prefers-color-scheme: dark)").matches) { | ||
cls.toggle("dark-mode", true); | ||
} | ||
document | ||
.getElementById("dark-mode-on") | ||
.addEventListener("click", function (e) { | ||
cls.toggle("dark-mode", true); | ||
sessionStorage.setItem("theme", "dark"); | ||
}); | ||
document | ||
.getElementById("dark-mode-off") | ||
.addEventListener("click", function (e) { | ||
cls.toggle("dark-mode", false); | ||
sessionStorage.setItem("theme", "light"); | ||
}); | ||
</script> | ||
<noscript> | ||
<style> | ||
.dark-mode-buttons { | ||
display: none; | ||
} | ||
</style> | ||
</noscript> | ||
|
||
|
||
</body> | ||
</html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,148 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"> | ||
<head> | ||
<meta charset="utf-8"> | ||
<meta name="HandheldFriendly" content="True"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | ||
<meta name="referrer" content="no-referrer-when-downgrade"> | ||
|
||
<title>We have a blog</title> | ||
<meta name="description" content=""> | ||
|
||
<link rel="stylesheet" href="https://verus-lang.github.io/blog/main.css"> | ||
|
||
|
||
|
||
|
||
|
||
</head> | ||
<body> | ||
<div class="flex-container"> | ||
<!--<a class="skip-main" href="#main">Skip to content</a>--> | ||
<div class="left-float"> | ||
<div class="left-header"> | ||
<h1 class="site-header"> | ||
<a href="https://verus-lang.github.io/blog">Verus blog</a> | ||
</h1> | ||
<p style="text-align: justify;">Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code.</p> | ||
<p style="font-weight: bold; font-size: 100%">Verus is open-source at <a href="https://github.com/verus-lang/verus">github.com/verus-lang/verus</a></p> | ||
</div> | ||
<div class="left-announcements"> | ||
<h2>Verus Announcements</h2> | ||
<!-- TODO turn this into an UL list --> | ||
|
||
|
||
<div class="left-announcement-item"> | ||
<span class="left-announcement-date">2024-02-13</span> <a href="https://verus-lang.github.io/blog/announcements/blog/">We have a blog</a> | ||
</div> | ||
|
||
</div> | ||
</div> | ||
<div class="container"> | ||
<header> | ||
<!--<nav> | ||
<a href="https://github.com/verus-lang/verus">Verus</a> | ||
</nav>--> | ||
</header> | ||
<main id="main" tabindex="-1"> | ||
|
||
|
||
<article class="post"> | ||
<header> | ||
<h1>We have a blog</h1> | ||
</header> | ||
<div class="content"> | ||
<p>This is a placeholder announcement.</p> | ||
|
||
</div> | ||
|
||
|
||
<div class="article-info"> | ||
|
||
<div class="article-date">13 February 2024</div> | ||
|
||
<div class="article-taxonomies"> | ||
|
||
|
||
|
||
</div> | ||
</div> | ||
|
||
</article> | ||
|
||
|
||
</main> | ||
<footer> | ||
<p class="powered-by-footer"> | ||
Powered by <a target="_blank" href="https://getzola.org/">Zola</a>, Theme <a target="_blank" href="https://github.com/zbrox/anpu-zola-theme">Anpu</a> (customized). | ||
</p> | ||
<p> | ||
|
||
|
||
</p> | ||
</footer> | ||
</div> | ||
</div> | ||
|
||
<div class="dark-mode-buttons"> | ||
<button class="dark-mode-button" id="dark-mode-on"> | ||
<img | ||
src="https://verus-lang.github.io/blog/dark_mode.svg" | ||
width="24" | ||
height="24" | ||
alt="Dark mode" | ||
aria-label="dark mode toggle" | ||
title="Dark mode" | ||
/> | ||
</button> | ||
<button class="dark-mode-button" id="dark-mode-off"> | ||
<img | ||
src="https://verus-lang.github.io/blog/light_mode.svg " | ||
width="24" | ||
height="24" | ||
alt="Light mode" | ||
aria-label="light mode toggle" | ||
title="Light mode" | ||
style="filter: invert(1);" | ||
/> | ||
</button> | ||
</div> | ||
<script> | ||
const cls = document.body.classList; | ||
const getSessionTheme = sessionStorage.getItem("theme"); | ||
if (getSessionTheme === "dark") { | ||
cls.toggle("dark-mode", true); | ||
} else if (getSessionTheme === "light") { | ||
cls.toggle("dark-mode", false); | ||
} else if (window.matchMedia("(prefers-color-scheme: dark)").matches) { | ||
cls.toggle("dark-mode", true); | ||
} | ||
document | ||
.getElementById("dark-mode-on") | ||
.addEventListener("click", function (e) { | ||
cls.toggle("dark-mode", true); | ||
sessionStorage.setItem("theme", "dark"); | ||
}); | ||
document | ||
.getElementById("dark-mode-off") | ||
.addEventListener("click", function (e) { | ||
cls.toggle("dark-mode", false); | ||
sessionStorage.setItem("theme", "light"); | ||
}); | ||
</script> | ||
<noscript> | ||
<style> | ||
.dark-mode-buttons { | ||
display: none; | ||
} | ||
</style> | ||
</noscript> | ||
|
||
|
||
</body> | ||
</html> |
Oops, something went wrong.