From 638f84869baae43627845f45393a1b7af089e8ac Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Tue, 2 Apr 2024 22:08:04 +0000 Subject: [PATCH] deploy: b5aa4294bda8f82b4d8caf70c7c7bd6581364511 --- 404.html | 2 +- about_salsa.html | 2 +- common_patterns.html | 2 +- common_patterns/on_demand_inputs.html | 2 +- common_patterns/selection.html | 2 +- cycles.html | 2 +- cycles/fallback.html | 2 +- how_salsa_works.html | 2 +- index.html | 2 +- meta.html | 2 +- overview.html | 2 +- plumbing.html | 2 +- plumbing/cycles.html | 2 +- plumbing/database_and_runtime.html | 6 +- plumbing/derived_flowchart.html | 2 +- plumbing/fetch.html | 2 +- plumbing/jars_and_ingredients.html | 2 +- plumbing/maybe_changed_after.html | 2 +- plumbing/query_ops.html | 6 +- plumbing/terminology.html | 2 +- plumbing/terminology/LRU.html | 2 +- plumbing/terminology/backdate.html | 2 +- plumbing/terminology/changed_at.html | 2 +- plumbing/terminology/dependency.html | 2 +- plumbing/terminology/derived_query.html | 2 +- plumbing/terminology/durability.html | 2 +- plumbing/terminology/ingredient.html | 2 +- plumbing/terminology/input_query.html | 2 +- plumbing/terminology/memo.html | 2 +- plumbing/terminology/query.html | 2 +- plumbing/terminology/query_function.html | 2 +- plumbing/terminology/revision.html | 2 +- plumbing/terminology/salsa_item.html | 2 +- plumbing/terminology/salsa_struct.html | 2 +- plumbing/terminology/untracked.html | 2 +- plumbing/terminology/verified.html | 2 +- plumbing/tracked_structs.html | 300 +++++++++++++++++++++++ print.html | 104 +++++++- reference.html | 2 +- reference/algorithm.html | 2 +- searchindex.js | 2 +- searchindex.json | 2 +- tuning.html | 2 +- tutorial.html | 2 +- tutorial/accumulators.html | 2 +- tutorial/checker.html | 2 +- tutorial/db.html | 3 +- tutorial/debug.html | 2 +- tutorial/interpreter.html | 2 +- tutorial/ir.html | 2 +- tutorial/jar.html | 2 +- tutorial/parser.html | 2 +- tutorial/structure.html | 2 +- videos.html | 2 +- 54 files changed, 460 insertions(+), 57 deletions(-) create mode 100644 plumbing/tracked_structs.html diff --git a/404.html b/404.html index a004eca28..92ca39d84 100644 --- a/404.html +++ b/404.html @@ -84,7 +84,7 @@ diff --git a/about_salsa.html b/about_salsa.html index c09071570..da246de1f 100644 --- a/about_salsa.html +++ b/about_salsa.html @@ -83,7 +83,7 @@ diff --git a/common_patterns.html b/common_patterns.html index 809cf1616..a1ec5d98b 100644 --- a/common_patterns.html +++ b/common_patterns.html @@ -83,7 +83,7 @@ diff --git a/common_patterns/on_demand_inputs.html b/common_patterns/on_demand_inputs.html index 49a98b195..b9126fa3f 100644 --- a/common_patterns/on_demand_inputs.html +++ b/common_patterns/on_demand_inputs.html @@ -83,7 +83,7 @@ diff --git a/common_patterns/selection.html b/common_patterns/selection.html index fe89140c7..72ad88486 100644 --- a/common_patterns/selection.html +++ b/common_patterns/selection.html @@ -83,7 +83,7 @@ diff --git a/cycles.html b/cycles.html index 8c33e2846..43c80c122 100644 --- a/cycles.html +++ b/cycles.html @@ -83,7 +83,7 @@ diff --git a/cycles/fallback.html b/cycles/fallback.html index 09bdd04b0..f5acabcc7 100644 --- a/cycles/fallback.html +++ b/cycles/fallback.html @@ -83,7 +83,7 @@ diff --git a/how_salsa_works.html b/how_salsa_works.html index 3cfc5f95f..8f59250d2 100644 --- a/how_salsa_works.html +++ b/how_salsa_works.html @@ -83,7 +83,7 @@ diff --git a/index.html b/index.html index 10a59244b..27d515d2a 100644 --- a/index.html +++ b/index.html @@ -83,7 +83,7 @@ diff --git a/meta.html b/meta.html index 97c5170b4..4425a0b9d 100644 --- a/meta.html +++ b/meta.html @@ -83,7 +83,7 @@ diff --git a/overview.html b/overview.html index e5b1d4b06..0d63f460b 100644 --- a/overview.html +++ b/overview.html @@ -83,7 +83,7 @@ diff --git a/plumbing.html b/plumbing.html index 6345f6f78..20f884618 100644 --- a/plumbing.html +++ b/plumbing.html @@ -83,7 +83,7 @@ diff --git a/plumbing/cycles.html b/plumbing/cycles.html index 2bad7f849..2bd16df94 100644 --- a/plumbing/cycles.html +++ b/plumbing/cycles.html @@ -83,7 +83,7 @@ diff --git a/plumbing/database_and_runtime.html b/plumbing/database_and_runtime.html index 203481635..9b29c9b68 100644 --- a/plumbing/database_and_runtime.html +++ b/plumbing/database_and_runtime.html @@ -83,7 +83,7 @@ @@ -267,7 +267,7 @@

The Salsa - @@ -281,7 +281,7 @@

The Salsa - diff --git a/plumbing/derived_flowchart.html b/plumbing/derived_flowchart.html index c142c227d..6d3bc43a8 100644 --- a/plumbing/derived_flowchart.html +++ b/plumbing/derived_flowchart.html @@ -83,7 +83,7 @@ diff --git a/plumbing/fetch.html b/plumbing/fetch.html index 8795175d8..12d5e8149 100644 --- a/plumbing/fetch.html +++ b/plumbing/fetch.html @@ -83,7 +83,7 @@ diff --git a/plumbing/jars_and_ingredients.html b/plumbing/jars_and_ingredients.html index 976ec0812..c2ba57f17 100644 --- a/plumbing/jars_and_ingredients.html +++ b/plumbing/jars_and_ingredients.html @@ -83,7 +83,7 @@ diff --git a/plumbing/maybe_changed_after.html b/plumbing/maybe_changed_after.html index 2a8deb2ef..69eb8fa14 100644 --- a/plumbing/maybe_changed_after.html +++ b/plumbing/maybe_changed_after.html @@ -83,7 +83,7 @@ diff --git a/plumbing/query_ops.html b/plumbing/query_ops.html index 3e664b691..676b9da08 100644 --- a/plumbing/query_ops.html +++ b/plumbing/query_ops.html @@ -83,7 +83,7 @@ @@ -162,7 +162,7 @@

Query opera