summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2021-08-27 06:55:06 +0000
committerLars Wirzenius <liw@liw.fi>2021-08-27 06:55:06 +0000
commit9420b089cbad34ffdee30dda0459532c71a52526 (patch)
tree943f3b37c0d298491c287f44c6121b83edc7ada0
parent0a4db253323b6d9c2199f9af6712c31736dbb6e7 (diff)
parented4ffac1bfd7a542ed94db58eebc11363b4b8449 (diff)
downloadsshca-web-9420b089cbad34ffdee30dda0459532c71a52526.tar.gz
Merge branch 'steps' into 'main'
blog: decision on scenario step implementation language See merge request larswirzenius/sshca-web!3
-rw-r--r--blog/2021/08/27/step-language.mdwn23
-rw-r--r--local.css7
-rw-r--r--templates/page.tmpl1
3 files changed, 31 insertions, 0 deletions
diff --git a/blog/2021/08/27/step-language.mdwn b/blog/2021/08/27/step-language.mdwn
new file mode 100644
index 0000000..9117d95
--- /dev/null
+++ b/blog/2021/08/27/step-language.mdwn
@@ -0,0 +1,23 @@
+[[!meta date="Fri, 27 Aug 2021 09:34:14 +0300"]]
+[[!tag decision]]
+[[!meta title="Decision: Use Rust for Subplot scenario step implementation"]]
+
+I will be using [Subplot][] to document the requirements and
+acceptance criteria for `sshca`, and for automating the verification
+that they are met. The approach in Subplot is to write semi-formal
+_scenarios_ that get translated into code, using functions that
+implement each scenario step. I can choose between the Python and Rust
+languages for writing those scenarios. I choose Rust, because it
+allows more concurrency when the verification code is running, and
+also I find I can write correct code more easily in Rust than in
+Python.
+
+The only reason to choose Python would be to make the step functions
+be more easily audited by people other than me, but I think Rust has
+already become sufficiently popular that Rust will not be a problem.
+It's more important that the actual requirements, acceptance criteria,
+and the scenarios are understood by anyone interested.
+
+The actual code for `sshca` will be written in Rust in any case.
+
+[Subplot]: https://subplot.liw.fi/
diff --git a/local.css b/local.css
new file mode 100644
index 0000000..df17d15
--- /dev/null
+++ b/local.css
@@ -0,0 +1,7 @@
+div.newslist div.archivepage {
+ margin-bottom: 1em;
+}
+
+div.newslist span.archivepagedate {
+ font-size: 80%;
+}
diff --git a/templates/page.tmpl b/templates/page.tmpl
index d3ef033..e8459cf 100644
--- a/templates/page.tmpl
+++ b/templates/page.tmpl
@@ -5,6 +5,7 @@
<title><TMPL_VAR TITLE></title>
<meta name="viewport" content="width=device-width, initial-scale=1" />
<link rel="stylesheet" href="<TMPL_VAR BASEURL>style.css" type="text/css" />
+ <link rel="stylesheet" href="<TMPL_VAR BASEURL>local.css" type="text/css" />
</head>
<body lang=en>
<article class="page">