From 7ee9f4c961822e6b3d3a5622ad92b2828ab36d40 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Fri, 6 Jun 2025 17:10:10 -0600 Subject: [PATCH] minor changes --- taxonomies/_index.md | 4 ++++ tools/z3.md | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 taxonomies/_index.md diff --git a/taxonomies/_index.md b/taxonomies/_index.md new file mode 100644 index 0000000..8ab6910 --- /dev/null +++ b/taxonomies/_index.md @@ -0,0 +1,4 @@ ++++ +title = 'All Taxonomy Data' +layout = 'taxonomies' ++++ diff --git a/tools/z3.md b/tools/z3.md index e9d0ffd..5d12275 100644 --- a/tools/z3.md +++ b/tools/z3.md @@ -8,7 +8,7 @@ techniques = ['aaa'] domains = ['tttt'] languages = ['tttt'] systems = ['tttt'] -interactions = ['lorem ipsum', 'aranpoasi'] +interactions = ['lorem ipsum', 'aranpoxasi', 'aranpsoasi', 'aranpoasai', 'aransdpoasi', 'aranpoaswei', 'aranapoasi', 'aranpoasi', 'aranpoasi', 'aranpoasasdfasfasdfasdfi', 'araafafanpoasi', 'aranpoasi', 'aranpoasi', 'aranpoasadfsi'] formalisms = ['tttt'] developers = ['test dev'] links = [