minor changes

2025-06-06 17:10:10 -06:00
2 changed files with 5 additions and 1 deletions
--- a/taxonomies/_index.md
+++ b/taxonomies/_index.md
@@ -0,0 +1,4 @@
+++
+title = 'All Taxonomy Data'
+layout = 'taxonomies'
+++
--- 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 = [