From 388d5fb8f922702ea9cad380522f0c120aa01375 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Fri, 6 Jun 2025 18:46:27 -0600 Subject: [PATCH] test updates --- taxonomies/_index.md | 5 +++++ tools/_index.md | 4 ++++ tools/z3.md | 1 + 3 files changed, 10 insertions(+) create mode 100644 tools/_index.md diff --git a/taxonomies/_index.md b/taxonomies/_index.md index 8ab6910..f638b0b 100644 --- a/taxonomies/_index.md +++ b/taxonomies/_index.md @@ -2,3 +2,8 @@ title = 'All Taxonomy Data' layout = 'taxonomies' +++ + +This page contains all of the taxonomy data on this site. There is a lot here, it might be helpful to do a CTRL+F. +Click on an item in the first column to focus the view onto one taxonomy (e.g., to view a list of tool developers). +Click on a colorful item in the second column to view all the tools for which that term applies (e.g., to view all +the tools developed at SRI International). \ No newline at end of file diff --git a/tools/_index.md b/tools/_index.md new file mode 100644 index 0000000..e860435 --- /dev/null +++ b/tools/_index.md @@ -0,0 +1,4 @@ ++++ +title = "All Tools" +layout = "section" ++++ diff --git a/tools/z3.md b/tools/z3.md index 3d9b2ee..f2b5fca 100644 --- a/tools/z3.md +++ b/tools/z3.md @@ -10,6 +10,7 @@ systems = ['Discrete Systems', 'Concurrent Systems'] interactions = ['CLI', 'Python API', 'Rust Bindings', 'playground'] formalisms = ['first-order logic', 'SMT-LIB', 'quantifier logic', 'bit-vectors', 'arrays', 'uninterpreted functions', 'arithmetic'] developers = ['Microsoft Research'] +licenses = ['MIT'] links = [ { title = "Homepage", url = "https://github.com/Z3Prover/z3" }, { title = "Source Code", url = "https://github.com/Z3Prover/z3" },