Dana Jansens fb7eff130d Move IdentifiedFacetType to check (#8004) ...

`IdentifiedFacetType` is a concept that is only used by check. It does
not appear in the semir output, unlike `DeclaredFacetType`s.
`IdentifiedFacetType` is used in check to collapse named constraints
together, building a single structure of requirements from a
`DeclaredFacetType` and any referenced named constraints. This is used
for operations like impl lookup, and building `FacetValue`s.

The outputs of `IdentifiedFacetType` are now in an intermediate state,
where they contain `IdentifiedWitness`es, and need to be processed
before they are used. We'd like to build that into the API of
`IdentifiedFacetType` so that their use is more robust. But the
`IdentifiedWitnesses` need to be replaced by subst, which is a part of
check, so we need to move `IdentifiedFacetType` to check in order to
build the type on top of subst.

2026-10-21 13:20:54 +00:00

..

completions

Add a jj push wrapper that runs prek before pushing. (#7805)

2026-09-18 19:40:25 +00:00

bazel_mod_deps.py

Switch to prek rather than pre-commit (#7244)

2026-06-03 19:19:49 +00:00

bench_runner.py

Keep the sign of deltas between -1 and 0 in bench_runner.py (#7863)

2026-09-29 20:14:04 +00:00

BUILD

Update tree-sitter grammar (#7885)

2026-10-03 03:25:59 +00:00

calculate_release_shas.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

cargo_update.py

Add a cargo_update.py script (#7431)

2026-06-29 19:15:41 +00:00

check_build_graph.py

Switch to prek rather than pre-commit (#7244)

2026-06-03 19:19:49 +00:00

check_header_guards.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

check_sha_filenames.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

create_compdb.py

Update tree-sitter grammar (#7885)

2026-10-03 03:25:59 +00:00

deps_for_clangd_tidy.cpp

Update tree-sitter grammar (#7885)

2026-10-03 03:25:59 +00:00

fix_cc_deps.py

Fix the nvim-carbon integration (#7822)

2026-09-28 20:20:13 +00:00

forbid_llvm_googletest.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

gh_review_stats.py

Add script that pulls review stats from Github (#7444)

2026-06-30 23:11:46 +00:00

jj_prek.sh

Add a jj push wrapper that runs prek before pushing. (#7805)

2026-09-18 19:40:25 +00:00

jj_push.sh

Fix the jj_push.sh script to work on macOS (#7820)

2026-09-23 22:47:02 +00:00

lldbinit.py

Move IdentifiedFacetType to check (#8004)

2026-10-21 13:20:54 +00:00

no_op_test.py

Switch to uv for all of our Python scripts (#7242)

2026-05-28 18:03:52 +00:00

query_module_versions.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

run_bazel.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

run_bazelisk.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

run_buildifier.py

Switch to prek rather than pre-commit (#7244)

2026-06-03 19:19:49 +00:00

run_buildozer.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

scripts_utils.py

Switch to prek rather than pre-commit (#7244)

2026-06-03 19:19:49 +00:00

source_stats.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

sync_repos.sh

Use plain Apache 2.0 license for mirrors. (#7407)

2026-06-23 17:18:47 +00:00

target_determinator.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00

update_tm_language.py

Make our TextMate bundle actually work in TextMate. (#7386)

2026-06-18 21:06:24 +00:00

workspace_status.py

Switch a few stragglers to uv and update python to 3.12 (#7296)

2026-06-03 05:34:44 +00:00